ICICLE 是一个使用 CUDA-enabled GPUs 进行 ZK 加速的库。最新版本引入了 ECNTT、列式 NTT 处理、MSM 预计算等新特性，并优化了编译时间。即将发布的 v2 版本将提供丰富的多项式 API，并支持在 GPU 内部运行端到端的证明器。
本文详细介绍了STARK的实现，特别是通过Python代码展示了如何利用MIMC函数生成STARK证明。文章深入讨论了STARK的计算复杂性、验证过程及其在零知识证明中的应用。
本文详细探讨了椭圆曲线配对的原理和应用，包括其在零知识证明中的关键作用。文章介绍了椭圆曲线加密的基础知识，配对的数学性质，并通过具体的数学示例解释了配对如何支持复杂的加密操作。整体内容架构清晰，涵盖广泛，适合对密码学有深入了解的读者。
比特币即将迎来 Zero-knowledge rollups
本文将探讨 Mina 的设计选择，以及关键参与者如何使其在原生代币 MINA 的支持下作为一个简洁的区块链工作。
本文深入探讨了零知识证明（zk-SNARKs）技术背后的数学原理，特别是将计算问题转换为二次算术程序（QAP）的过程。文章通过一个简单的例子详细解释了如何将代码扁平化、转换为R1CS系统，并最终通过拉格朗日插值法生成QAP多项式。
ingonyama
Vitalik Buterin
CKBFans
MinaFans