比特币即将迎来 Zero-knowledge rollups
本文将探讨 Mina 的设计选择，以及关键参与者如何使其在原生代币 MINA 的支持下作为一个简洁的区块链工作。
本文深入探讨了零知识证明（zk-SNARKs）技术背后的数学原理，特别是将计算问题转换为二次算术程序（QAP）的过程。文章通过一个简单的例子详细解释了如何将代码扁平化、转换为R1CS系统，并最终通过拉格朗日插值法生成QAP多项式。
CKBFans
MinaFans
Vitalik Buterin