@NethermindEth's Garreta et al. proposed Zinc, a hash-based succinct argument scheme that reduces arithmetization overheads using IOPs of proximity to integers, supporting ring operations with arbitrary moduli. 来自 @NethermindEth 的 Garreta等人在论文中提出了一种基于哈希的简洁论证方案Zinc,通过整数上的IOPs减少算术化开销,支持任意模数的环运算。
Notes
Zinc aims to reduce arithmetization overheads in ZK proofs, lowering costs by orders of magnitude.
Supports ring operations with arbitrary moduli, including non-prime and multi-modulus scenarios.
Based on hash and code, no hidden order is required, enhancing security.
Core components include the Zinc-PIOP framework and Zip polynomial commitments.
Utilizes rational number-based lookup arguments to ensure proof integrity.
Suitable for integer arithmetic applications, improving the practical efficiency of ZK proofs.