ICICLE-Snark 是一种快速的 Groth16 证明实现,适用于零知识证明的应用。文章详细论述了 Groth16 的原理、工作流程,以及 ICICLE 如何通过优化算法和缓存技术提升性能,达成记录-breaking 的速度提升,从而为区块链应用提供更高效的解决方案。
Zircuit是一个EVM兼容的ZK rollup,旨在提升Web3应用的可扩展性和安全性。通过与Ingonyama的ICICLE软件库集成,Zircuit优化了其加密计算,显著改善了性能,降低了成本。本文详细介绍了Zircuit的功能、ICICLE的应用及将来的发展计划。