ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
ZKP フロンティアトラッカー 🎯
Sun 星期日 日曜日
06.15
2025
https://blog.lambdaclass.com/the-fields-powering-binius/
@class_lambda discussed the mathematical foundations of the Binius proof system in blog, focusing on Boolean hypercubes and binary towers, and how to utilize these concepts at the circuit level for field element addition and multiplication. @class_lambda 在博客中探讨了Binius证明系统的数学基础，重点介绍了布尔超立方体和二进制塔的概念，以及如何在电路级别操作中利用这些概念进行字段元素的加法和乘法。 @class_lambda は、blog において、Boolean hypercube と binary tower に焦点を当て、Binius 証明システムの数学的基礎について論じ、それらの概念をどのように回路レベルでフィールド要素の加算および乗算に応用するかを解説しました。
https://vlayer.xyz/blog/whitepaper-alert-exploring-keccak-hashes-in-zero-knowledge-with-gkr
@vlayer_xyz team explored using GKR protocol in zero-knowledge proofs to verify Keccak hashes in paper, providing an efficient and scalable solution for processing Ethereum native operations. @vlayer_xyz 团队在论文中探讨了使用GKR协议在零知识证明中验证Keccak哈希的方法，为处理以太坊原生操作提供了高效、可扩展的解决方案。 @vlayer_xyz チームは、論文において、Keccakハッシュを検証するためにGKRプロトコルをゼロ知識証明（zero-knowledge proofs）で利用することを検討し、Ethereumネイティブ操作の処理に対する効率的かつスケーラブルなソリューションを提供しました。