ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
ZKP フロンティアトラッカー 🎯
Sun 星期日 日曜日
01.19
2025
https://mp.weixin.qq.com/s/E6GbCexZ6QNFe6_K2i_J9w
Star Li shared the source code structure of RISC0 zkVM, including the Bonsai proving service, Groth16 proof implementation, and circuit interfaces, demonstrating how the zkVM implements complex business logic using Rust. Star Li 分享了RISC0 zkVM的源代码结构，包括Bonsai证明服务、Groth16证明实现、电路接口等，展示了zkVM如何通过Rust语言实现复杂的业务逻辑。 Star Li氏は、Bonsai証明サービス、Groth16証明の実装、回路インターフェースなどを含むRISC0 zkVMのソースコード構造を共有し、zkVMがRust言語を用いて複雑なビジネスロジックをどのように実現しているかを示しました。
https://eprint.iacr.org/2025/028
Zhu et al. introduced CompGroth16 in their paper on , a variant of Groth16 designed to support disjunctive statements that include both algebraic and arithmetic components, which improves expressiveness and proof efficiency but increases verification cost. Zhu等人在论文中提出了CompGroth16，一个Groth16的变体，旨在支持包含代数和算术组件的析取语句证明，提高了表达能力和证明效率，但验证成本变高了。 Zhuらはの論文で、代数的および算術的なコンポーネントを含む析取文（disjunctive statements）の証明をサポートするように設計されたGroth16のバリアントであるCompGroth16を提案しました。これにより表現力と証明効率は向上しましたが、検証コストが増加しました。