형식

Zcash 개발 팀은 곧 출시될 새로운 프라이버시 풀 Ironwood를 통해 형식적 검증을 도입하여 "검출할 수 없는 증발 취약점"의 위험을 수학적 증명 방식으로 제거할 계획을 발표했습니다.이전 소식에 따르면, Orchard 차단 풀의 존재하는 취약점은 이미 수정되었고 이용된 증거는 없지만, 이론적으로 체인 상의 역사로 은밀한 증발이 발생했는지 확인할 수 없기 때문에 커뮤니티는 완전히 새로운 Ironwood 차단 풀을 출시하고 그 프로토콜에 대한 포괄적인 형식적 검증을 실시하기로 결정했습니다.

ZEC 재무 회사 Cypherpunk은 X 플랫폼에서 ZEC 토큰 시장 변동에 대한 글을 발표하며, 모든 소프트웨어에는 취약점이 존재한다고 밝혔습니다. 역사적으로 비트코인은 오류로 인해 1,840억 BTC를 "다중 발행"한 적이 있습니다. 그러나 이것이 블록체인 기술을 포기해야 한다는 의미는 아니며, 형식적 검증과 증명 가능한 정확성을 통해 보안을 강화해야 한다고 강조했습니다.Cypherpunk은 AI 기술의 발전에 따라 취약점 탐지가 더 빠르고 광범위해질 것이라고 강조했지만, 핵심은 악의적인 행위자보다 문제를 발견할 수 있는 사람이 누구인지에 달려 있다고 말했습니다. Zcash는 곧 출시될 업데이트를 통해 이러한 능력을 보여줄 것입니다.이전 소식에 따르면, 프라이버시 코인 ZEC는 무한 증발을 초래할 수 있는 보안 취약점이 드러나면서 시장에서 매도세를 겪었고, 코인 가격은 하루 만에 50% 이상 하락했습니다.

비탈릭 부테린은 블록체인 보안 분야에서 형식적 검증(Formal Verification)의 응용 전망에 대해 논의하는 글을 발표했습니다.이 글에서는 이더리움 최전선 연구 개발에서 새로운 패러다임이 떠오르고 있으며, EVM 바이트코드, 어셈블리 또는 Lean을 사용하여 코드를 직접 작성하고 Lean에서 자동으로 검증 가능한 수학적 증명을 통해 그 정확성을 검증한다고 언급했습니다. 연구자 요이치 히라이는 이 패러다임을 "소프트웨어 개발의 궁극적인 형태"라고 부릅니다.비탈릭은 AI 보조 형식적 검증이 코드의 효율성과 안전성을 동시에 향상시킬 것으로 기대하며, 특히 STARK, ZK-EVM, 양자 저항 서명 및 합의 알고리즘과 같은 안전 핵심 모듈에 적합하다고 생각합니다.이 글은 또한 형식적 검증이 만능이 아니며, 증명 범위의 불완전성, 사양 오류, 하드웨어 측면 채널 등의 문제로 인해 실패할 수 있다고 강조합니다. 미래에는 소프트웨어가 "안전 핵심"과 "비안전 경계"로 분화될 수 있으며, 이더리움은 중요한 안전 핵심 중 하나가 될 것입니다.

Aptos는 X 플랫폼에서 발표하며, Aptos는 동적 스케줄링 형식 검증을 지원하는 최초의 L1으로, 설계대로 작동함을 수학적으로 증명할 수 있다고 밝혔습니다. Aptos는 AI가 규격을 작성하고, 그 정확성을 수학적으로 증명하며, Move Prover가 바로 시장과 기계의 신뢰 계층이라고 말했습니다.

据币安现货数据显示，市场出现大幅波动。FORM 24 小时涨幅达 11.73%，并出现"探底回升"状态。TFUEL 24 小时跌幅 11.83%，并触及本周新低。同时，CTK 触及今日新高，涨幅为 7.22%；ACT 也触及今日新高，涨幅为 5.82%。其余代币中，SXT 出现"冲高回落"状态，跌幅 7.25%，VANRY 触及今日新低，跌幅 5.89%；CHZ、SEI 和 RIF 均触及本周新低，跌幅分别为 5.56%、15.19% 和 10.93%。

Cardano 블록체인은 형식 오류가 있는 위임 거래로 인해 소프트웨어 취약점이 발생하여 두 개의 체인으로 분리되었습니다.이 거래는 새로운 버전의 노드에서 검증되었지만, 구버전 소프트웨어는 이를 거부하여 네트워크 분기를 초래했습니다. Cardano 생태계 거버넌스 조직 Intersect는 사건 보고서에서 이 "독성" 거래가 기본 소프트웨어 라이브러리의 취약점을 이용하여 네트워크를 해당 거래가 포함된 "중독" 체인과 포함되지 않은 "건강한" 체인으로 분할했다고 밝혔습니다. 공동 창립자 Charles Hoskinson은 처음에 이것이 "모의 공격"이라고 주장했지만, 이후 X 사용자 Homer J.가 공개적으로 책임을 인정하며 "나쁜 거래"를 재현하려다 실수로 AI 생성 지침에 의존했다고 밝혔습니다. 해당 사용자는 악의적인 의도가 없었으며, 이로 인해 경제적 이익을 얻지 않았다고 전했습니다. Intersect는 사용자 자금 손실이 없음을 확인했으며, 대부분의 소매 지갑은 영향을 받지 않았습니다. 이 사건으로 ADA 토큰 가격은 6% 이상 하락했습니다.

ChainCatcher 메시지, 최근 바이낸스 창립자 자오창펑이 X 플랫폼에서 Pieverse Timepot이 시작한 "부탄 행복 탐색 특별 기획"에 대해 긍정적인 반응을 보이며 "재미있는 혁신 형태" (Interesting variation of the idea)라고 언급하고 "행운을 빕니다!" (Good luck!)라는 축복을 전했습니다.Pieverse Timepot은 BNB 생태계에서 "시간 경제" (Time Economy)를 중심으로 구축된 최초의 탈중앙화 플랫폼이자 바이낸스 MVB 9기 인큐베이션 프로젝트입니다. 이번에 출시된 "부탄 행복 탐색 특별 기획"은 Timepot의 독특한 시간 조형 메커니즘 (Time Bid, Time Draw 및 Time Fund)을 보여줄 뿐만 아니라 부탄 제9대 활불, 부탄 주권 기금, 행복 연구소 및 별자리 학원과 깊은 협력을 통해 "행복 경제", "시간 가치" 및 "블록체인 실천"을 주제로 한 융합을 진행합니다.

ChainCatcher 메시지에 따르면, 소식통인 Eleanor Terrett는 트럼프가 미국 동부 시간으로 목요일 오전 10시 40분에 디지털 자산 정상 회의에서 녹음된 형식으로 연설할 계획이라고 전했습니다.Eleanor Terrett는 이전에 트럼프가 미국 디지털 자산 정상 회의에서 후속 암호화 정책을 발표할 것으로 예상된다고 밝혔습니다.

ChainCatcher 메시지, 백악관 암호화 정상 회담 참석자들이 차례로 발언을 하였으며, 대부분은 트럼프 집권 이후 암호화 분야의 일련의 진전과 트럼프 본인에 대한 찬사를 표현했습니다.시세 데이터에 따르면, 비트코인은 지난 15분 동안 거의 3% 하락하여 한때 86,000 달러 아래로 떨어졌으며, 현재 가격은 86,320 달러입니다.

ChainCatcher 메시지, 미국 대통령 트럼프는 목요일 미국 동부 시간 오전 11시(베이징 시간 금요일 자정)에 영상 형식으로 다보스 연설을 할 예정이다.

ChainCatcher 메시지에 따르면, DogeDesigner가 보도한 바에 따르면, 머스크는 "X Mail" 제안에 대해 "할 일 목록에 있다"고 응답했습니다. 이는 향후 "username@X.com" 형식의 이메일 서비스가 출시될 가능성을 암시할 수 있습니다.

ChainCatcher 메시지, Solana 재단이 X 플랫폼에서 제안 요청(RFP) 공고를 발표하여 Solana 오픈 소스 데이터 도구 개발을 촉진합니다. 제안의 개발 방향에는 Solana 인덱서 도구(Indexer Tooling)와 Solana 감별기 디렉토리(Discriminator Directory)가 포함되며, 최대 16만 달러의 자금을 지원합니다.

ChainCatcher 메시지, 이더리움 핵심 개발자들이 다가오는 Pectra 업그레이드에 EVM 객체 포맷(EOF)을 추가하는 데 동의했습니다. EIP-7692에 명시된 바와 같이, EOF는 EVM 코드에 대한 선택적 컨테이너를 제공하는 약 11개의 EIP를 포함하여 코드 검증을 개선하고 새로운 기능을 도입합니다.EOF가 장애물이 될 경우, Pectra가 중대한 지연 없이 계속 진행될 수 있도록 별도의 분기로 분리될 것입니다. EOF는 devnet 1 초기 버전의 일부가 되지 않을 것입니다. Pectra 업그레이드에는 Vitalik Buterin이 제안한 계정 추상화 표준 EIP-7702도 포함될 것입니다. 전반적으로 Pectra는 19개의 EIP를 포함할 계획으로, 이더리움 역사상 가장 광범위한 업그레이드 중 하나로 간주됩니다.

ChainCatcher 메시지에 따르면, 블룸버그 통신은 소식통을 인용해 FTX 파산 관리인(FTX estate)이 이번 주에 수량 미정의 SOL을 다시 경매에 부칠 계획이며 "블라인드 경매" 형식을 취할 것이라고 보도했습니다. 경매 마감일은 수요일이며, 결과는 목요일에 발표될 예정입니다.최근 월간 운영 보고서에서 FTX는 3월에 약 3억 760만 달러의 SOL 및 ZBC 토큰을 판매했다고 밝혔습니다. 4월의 판매 결과는 아직 발표되지 않았습니다. FTX estate의 대변인은 논평을 거부했습니다.전해진 바에 따르면, 잠재적인 입찰자는 Figure Markets, Pantera Capital 및 Abra가 포함됩니다.

ChainCatcher 메시지, Optimism이 소셜 미디어 X 플랫폼에 게시했습니다. Optimism Superchain 슈퍼체인이 칸쿤 업그레이드의 Blob 데이터 형식을 도입하였으며, 아티스트 @nonomnouns와 협력하여 기념판 NFT "4844: the blobs are super"를 발행하였고, 사용자가 슈퍼체인 Zora 네트워크에서 민팅 경험을 지원합니다.

ChainCatcher 메시지, Galaxy 연구 부사장 Christine Kim이 172번째 이더리움 핵심 개발자 실행(ACDE) 전화 회의를 요약했습니다. 10월 12일, 개발자들은 Cancun과 Deneb(Dencun) 테스트 진행 상황 및 이더리움 가상 머신(EVM) 객체 형식 개발에 대해 논의했습니다. 구체적으로는:9월 29일 출시된 Devnet #9 업데이트: Devnet #9 현재 참여율은 93%로, 이는 93%의 검증자가 네트워크 합의에 적극 참여하고 있음을 의미합니다. 현재 7%의 비활성 검증자는 주로 Geth(EL)/Teku(CL) 검증자 노드로 구성되어 있습니다. Erigon(EL)/Prysm(CL) 클라이언트 조합 및 EthereumJS(EL) 클라이언트에도 문제가 있습니다. Flashbots 팀은 Devnet #9에서 MEV-Boost 중계 및 빌더를 테스트하고 있습니다. Blob 트랜잭션은 아직 MEV-Boost 빌더를 통해 테스트되지 않았습니다.Devnet #10은 이번 주에 준비되지 않지만, 다음 주에는 준비될 가능성이 있습니다. 개발자들은 EIP 4844 KZG 의식의 신뢰할 수 있는 설정 파일을 테스트하기를 희망하고 있습니다. Devnet #10은 33만 개의 활성 검증자를 포함한 대규모 검증자 집합을 가질 것입니다. 개발 네트워크 출시 초기에 검증자 예치금과 탈퇴가 대량으로 유입되어, 네트워크 시작 후 약 1~2일 내에 검증자가 churn limit에서 5회 변경에서 4회로 전환되는 트리거가 발생할 것입니다.EVM 객체 형식(EOF) 개발 최신 진행 상황: EOF는 EVM 변경에 중점을 둔 EIP 집합으로, EVM은 이더리움 위에서 스마트 계약 코드를 실행하기 위해 구축된 가상 머신입니다. 현재 네 개의 주요 팀이 EOF를 개발하고 있습니다: 이더리움 재단이 지원하는 개발 팀 Team Ipsilon, EL 클라이언트 팀(예: Geth, Besu 및 Nethermind), 고급 언어 컴파일러 팀(예: Solidity 및 Vyper), 스마트 계약 개발자. EOF는 EVM 코드에 대한 새로운 컨테이너 형식을 생성해야 하며, 현재 형식을 유지해야 합니다.Tim Beiko를 포함한 몇몇 개발자들은 Dencun 업그레이드 후 EOF 구현의 3~6개월 일정에 대해 주저하고 있습니다. 개발자들은 Prague/Electra의 또 다른 주요 코드 변경 사항인 Verkle을 포함하는 것을 고려하고 있습니다.

ChainCatcher 메시지에 따르면, CertiK 공식 소식에 따라 CertiK는 앤트 그룹의 혁신적인 오픈 플랫폼 신뢰 실행 환경(TEE) HyperEnclave에 대한 고급 형식 검증을 완료했습니다.알려진 바에 따르면, 앤트 그룹의 신뢰할 수 있는 네이티브 기술 팀은 오픈 크로스 플랫폼 소프트웨어 신뢰 실행 환경 HyperEnclave를 개발하여 앤트 그룹의 개인 정보 보호 계산 작업 부하의 효율성과 호환성을 향상시키는 것을 목표로 하고 있습니다.

ChainCatcher 메시지, 유럽 중앙은행(ECB)은 디지털 유로의 프로토타입을 확정하고, 올해 늦게 새로운 형식으로 디지털 유로를 개발할지 여부에 대한 결정을 내릴 준비가 되었다고 발표했다.유럽 중앙은행은 잠재적인 중앙은행 디지털 통화(CBDC)의 설계가 혁신을 촉진할 수 있지만, Web3 방식의 분산 원장 기술과 스마트 계약 사용에 대해서는 더 많은 의구심을 가지고 있는 것으로 보인다고 밝혔다.（출처 링크）