ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Fri 星期五
01.17
2025
https://www.irreducible.com/posts/ethereum-state-proving-service
The @IrreducibleHW team announced the Binius library and its first application—an Ethereum state proof service. This service utilizes Reth Ethereum nodes to generate compressed proofs of the Ethereum MPT state tree, supporting stateless client solutions. @IrreducibleHW 团队宣布了Binius库及其首个应用——以太坊状态证明服务。该服务利用Reth以太坊节点，生成以太坊MPT状态树的压缩证明，支持无状态客户端解决方案。
https://blog.icme.io/pick-prove-profit-the-nivc-singularity-2/
The NovaNet team shared Non-Uniform Incremental Verifiable Computation (NIVC) technology, discussed its application in zkVM design, and how the Nebula solution can enhance performance. They also explored the potential of using NIVC to replace GROTH16 for on-chain verification. NovaNet团队分享了NIVC（非均匀增量可验证计算）技术，探讨了其在zkVM设计中的应用及如何通过Nebula方案提升性能，同时展望了使用NIVC替代现在GROTH16做链上验证的潜力。