ChainCatcher 메시지, 이더리움 공동 창립자 비탈릭 부테린이 "연구자들이 포세이돈 암호 분석 프로그램에 참여할 것을 강력히 권장합니다. 우리는 zk-prover의 친화성을 최적화하기 위해 이더리움을 포세이돈 해시로 이전하는 것을 진지하게 고려하고 있으므로, 그 안전 속성에 대한 더 많은 정보는 매우 가치가 있습니다."라고 발언했습니다.포세이돈 자금 지원 프로그램 신청 마감일이 2025년 3월 15일로 연장되었습니다.

ChainCatcher 메시지, Succinct이 X에서 Succinct Prover Network 테스트넷이 이제 온라인으로 출시되었다고 발표했습니다.RootData에 따르면, Succinct은 누구나 암호화된 사실(신뢰가 아닌)로 보호되는 블록체인 애플리케이션과 인프라를 구축할 수 있도록 분산된 증명자 네트워크를 구축하고 있습니다. Succinct은 증명 공급망을 통합하여 제로 지식 증명을 사용하는 롤업, 협처리기 및 기타 애플리케이션에 대해 높은 가용성의 증명 생성 인프라와 일류 가격 책정을 제공합니다.

ChainCatcher 메시지, ZK 스타트업 Lagrange가 출시한 ZK Prover Network가 EigenLayer에上线되어 업계 최초의 분산 증명 네트워크가 되었으며, Coinbase, OKX Staked, AltLayer, P2P.org, Ankr 등 20개 이상의 최고의 운영자가 지원하고 있습니다.

ChainCatcher 메시지, 체인 게임 회사 Immutable는 소셜 플랫폼에서 Immutable zkEVM이 단계적으로 출시되고 있다고 밝혔습니다. Immutable zkEVM 메인넷의 다음 출시 단계는 Prover 통합입니다.

ChainCatcher 메시지, Web3 보안 회사 Certora가 스마트 계약 언어 Vyper 팀과 협력하여 모든 사용자에게 Prover 도구를 개방하여 Vyper 코드의 보안을 강화하는 데 도움을 주겠다고 발표했습니다.Vyper 커뮤니티의 키 소유자로서, 사용자는 2023년 12월 31일까지 Certora Prover를 사용하여 Vyper 코드를 검증할 수 있습니다.

ChainCatcher 메시지, StarkWare는 StoneProver(원래 STARK Prover)가 오픈 소스화되었다고 발표했으며, 그 팀은 Starknet 정상 회담에서 Stone Prover에 대한 실시간 코드 검토를 진행했습니다.이전 소식에서 StarkWare는 StoneProver가 오픈 소스화된 후 개발자들이 허가 없이 독립적으로 Stone Prover를 검토하고 활용하며 그 기반 위에서 구축할 수 있을 것이라고 밝혔습니다. StarkWare는 또한 오픈 소스 Prover가 Starknet의 탈중앙화에 중요한 단계라고 언급했습니다.

ChainCatcher 메시지에 따르면, 공식 트위터에서 Ola는 최근에 그들의 증명 시스템에서 Poseidon2 해시를 지원한다고 발표했습니다. 원래 Poseidon 해시에 비해 40% 이상의 prover 성능 향상을 얻었습니다.전해진 바에 따르면, Poseidon2는 Poseidon 해시와 동일한 수준의 보안을 유지하면서도 더 나은 zk-friendly 특성을 갖춘 새로운 해시 알고리즘입니다. zk 친화적인 해시 알고리즘은 Ola의 증명 시스템에서 광범위하게 사용되며, 여기에는 private state tree, public state tree, 검증 과정, plonky2 재귀 과정 등이 포함됩니다. Horizen Labs의 논문에서 Poseidon2 해시의 알고리즘과 구현을 심층적으로 연구한 후, Ola는 이를 공식적으로 증명 시스템에 통합했습니다.공식 발표에 따르면, Ola ZKVM 내부 테스트 네트워크는 올해 Q4 초에 출시될 예정이며, 곧 더 많은 개발 세부 사항이 발표될 것입니다.

ChainCatcher 메시지, StarkWare는 8월 31일에 Apache 2.0 라이센스 하에 STARK Prover(이름이 Stone Prover로 변경됨)를 오픈 소스화한다고 발표했습니다. 개발자들은 허가 없이 독립적으로 Stone Prover를 검토하고 활용하며 이를 기반으로 구축할 수 있게 됩니다. StarkWare는 오픈 소스 Prover가 Starknet의 탈중앙화에 중요한 단계라고 밝혔습니다.현재 StarkWare는 Cairo, Papyrus Full Node 및 모든 Starknet 버전을 오픈 소스화했으며, 현재 구축 중인 새로운 Starknet 시퀀서도 오픈 소스화될 예정입니다.

ChainCatcher 메시지, 이더리움 모듈화 실행 레이어 Fuel 개발사 Fuel Labs가 곧 혼합 증명(Hybrid Proving) 솔루션 FuelProver를 출시한다고 발표했습니다. FuelProver는 Optimistic과 ZK의 융합으로, 모든 최신의 범용 Prover를 지원할 수 있으며, 출금 창을 줄이고 높은 처리량을 실현할 수 있습니다. FuelProver는 처음에 하나의 Prover를 사용할 예정이며, 목적은 다중 Prover 모델로 발전하여 정확성을 강화하는 것입니다. FuelProver는 Risc Zero, zkSync, Powdr 등 다양한 증명 메커니즘을 지원할 계획입니다.이전 보도, 2022년 9월, Fuel Labs는 8000만 달러의 자금 조달을 완료했다고 발표했으며, Blockchain Capital과 Stratos Technologies가 주도했습니다.

ChainCatcher 메시지, StarkWare는 Apache 2.0 라이센스 하에 암호 증명 생성 엔진 STARK Prover를 오픈 소스화한다고 발표했습니다. STARK Prover는 StarkNet과 StarkEx를 지원하여 이더리움의 보안을 유지하면서 대규모 확장을 구현합니다. 이는 StarkWare가 오픈 소스 Cairo 1.0, Papyrus Full Node 및 StarkNet 새로운 Sequencer에 이어 또 다른 오픈 소스 이니셔티브입니다.전해진 바에 따르면, StarkWare는 이 오픈 소스 계획이 시행된 후 전체 StarkNet 기술 스택이 오픈 소스가 될 것이라고 강조했습니다.（출처 링크）