@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,并作进一步分析优化。
Tianyi Liu Yupeng Zhang Tower of fields 塔域 Sumcheck
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协议和塔式零检查协议显著提高了证明者效率。