本文深入探讨了原生rollups的概念,旨在简化以太坊的L1和L2之间的互动,提出了一种新的EXECUTE预编译指令,允许以太坊直接验证L2事务,从而消除对EVM的重新实现,减少安全风险和治理成本,并提升最终性。通过对当前L2解决方案面临的挑战的分析,文章展示了这种新方法可能带来的优势与技术挑战。
EXECUTE
状态证明是解决各个区块链数据割裂的问题的良药。
本文介绍了算术电路的概念及其作为通用计算模型的作用,探讨了如何利用算术电路验证问题的解决方案,并提到其在零知识证明中的应用。文章还提到算术电路可以分解为其构建模块(门),便于验证计算过程。
本文探讨了在Sei Protocol的区块链中优化ECDSA签名验证的挑战,尤其是在使用零知识证明(ZK)时的潜在解决方案。文章详细介绍了ECDSA的签名内容、签名过程、恢复和验证的机制,以及使用ZK证明签名的可行性和挑战。尽管实现原型显示出优化的潜力,工程团队发现通过基础代码改进提供了更为直接的解决方案,并设想未来在后量子密码签名方案的应用中进一步使用ZK技术。
本文介绍了如何使用zkSNARK(如Plonk)构建算术电路来进行零知识证明,特别是范围证明和集合成员证明。通过具体的例子,展示了如何将数学表达式转化为电路,并讨论了其中的技术和挑战。
本文深入探讨了在比特币上实现欺诈证明的方式,特别是BitVM和BitVM2的设计及其应用。文中详细介绍了BitVM如何利用欺诈证明实现比特币的可编程性,并探讨了BitVM2作为锁定-铸造跨链桥的创新设计,同时分析了其优缺点及对比特币的影响。文章结构清晰,内容丰富。
《The RareSkills Book of Zero Knowledge》是一本面向程序员的零知识证明教程,内容涵盖从基础数学到实际编码实现,旨在帮助程序员深入理解零知识证明,尤其是Groth16算法。
本文详细介绍了如何使用Noir和Next.js构建一个基础的零知识(zk)DApp,展示了如何验证两个数字的和,而不透露实际数字。文章提供了清晰的步骤指导,包括代码片段、依赖安装、合约部署和前端验证,适合希望学习zk-DApp开发的读者。
本文深入探讨了Circle STARKs的工作原理及其在零知识证明中的应用,特别是在小字段上的优化和效率提升。
文章详细介绍了如何通过将Rank 1 Constraint System (R1CS)中的见证向量转换为有限域椭圆曲线点,并使用双线性配对来实现零知识证明。文中还讨论了验证步骤的实现细节,并指出了该算法在实际应用中的低效性。
文章详细介绍了Schwartz-Zippel Lemma在零知识证明(ZK-Proof)中的应用,通过多项式例子和Python代码展示了如何利用该引理进行多项式相等性测试和向量相等性测试。
本文深入探讨了零知识证明的理论基础、数学原理和加密技术,旨在帮助读者理解这一复杂的概念及其在Solana等网络上的应用。文章结构清晰,模块化设计,适合各个知识层次的读者,尤其是对加密技术有一定了解的人士。
本文详细介绍了Bulletproofs零知识证明算法,包括其在椭圆曲线上的内积证明实现。文章通过问题陈述、算法步骤以及非交互式证明等技术,系统地展示了如何在不泄露向量和内积的情况下进行高效证明。
本文详细介绍了如何在零知识证明中构造内积证明,通过向量多项式和内积计算,展示了如何在不泄露原始数据的情况下证明内积计算的正确性。文章还提供了相关算法的具体实现步骤,并指出如何进一步优化证明大小。
本文介绍的这些知识点是理解plookup的基础