ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Thu 星期四
09.25
2025
Zinc: Succinct Arguments with Small Arithmetization Overheads from IOPs of Proximity to the Integers https://eprint.iacr.org/2025/316
@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.