ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
Mon星期一月曜日
04.07
2025
https://medium.com/veridise/veridise-secures-ethereum-foundation-grant-to-develop-llzk-a-new-intermediate-representation-ir-224c0e71f4d5
@VeridiseInc received an Ethereum Foundation grant to develop LLZK, an intermediate representation (IR) for ZK languages, aiming to unify and simplify circuit compilation, improve the maintainability and security of the ZK domain. The framework converts Circom, Zirgen, and Gnark to LLZK and further analyzes and optimizes it.@VeridiseInc 获得以太坊基金会资助，开发LLZK，一种针对ZK语言的中介表示（IR），旨在统一和简化电路编译，提高ZK领域的可维护性和安全性。该框架可以将Circom、Zirgen和Gnark转换为LLZK，并作进一步分析优化。@VeridiseInc は、ZK言語のための中間表現（IR）であるLLZKを開発するためのEthereum Foundationからの助成金を受け取りました。これは、サーキットコンパイルの統一と簡素化、およびZKドメインの保守性・セキュリティ向上を目指すものです。このフレームワークは、Circom、Zirgen、GnarkをLLZKに変換し、さらに分析と最適化を行います。
https://eprint.iacr.org/2025/594
Liu et al. proposed an efficient SNARK for Boolean circuits in the paper, using novel tower sumcheck and tower zero-check protocols, significantly improving prover efficiency.Liu等人在论文中提出了一种针对布尔电路的高效SNARKs，通过新颖的塔式sumcheck协议和塔式零检查协议显著提高了证明者效率。Liuらは論文で、新しいtower sumcheckおよびtower zero-checkプロトコルを用いてブーリアン回路のための効率的なSNARKを提案し、proverの効率を大幅に向上させた。