在关于零知识证明的先进形式化验证的系列文章中，我们已经讨论了如何验证ZK指令以及对两个ZK漏洞的深度剖析。 正如在公开报告（https\://skynet.certik.com/projects/zkwasm）和代码库（https\:...
主要内容来自于Qi Zhou大神视频 生成commitment Trusted Setup其实就是生成一个非对称加密的私钥，即s；然后生成一系列的公钥，即g^(s^i), i = 0....n；其中g是椭圆曲线中的生成元； i是从0...
我们曾经讨论了零知识证明的先进形式化验证：如何验证一条ZK指令。通过形式化验证每条zkWasm指令，我们能够完全验证整个zkWasm电路的技术安全性和正确性。在本文中，我们将关注发现漏洞的视角，分析在审计和验证过程中发现的具体漏洞，以及...
形式化验证是一个数学证明过程，用以证明系统的正确性，确保其在所有可能的条件下都完全符合预期运行。鉴于区块链技术的复杂性和高风险性，其中的缺陷可能导致重大的财务损失或隐私泄露。形式化验证超越了传统的测试或审计，通过数学证明来验证程序的某些...
原文链接：https://blog.hack.vc/the-future-of-privacy-tech-in-blockchain/ 译者：AI翻译官，校对：翻译小组 本文永久链接：learnblockchain...
原文链接：https://www.rareskills.io/post/set-theory 为什么要写这篇集合论教程？ 这篇文章的读者群体是那些除非有实际应用场景，否则对抽象数学没兴趣的人。他们只想掌握必要的知识，然后快速进入正题。这...
为了深入理解形式化验证技术是如何应用于zkVM（零知识虚拟机）之上的，本文将聚焦于单条指令的验证。关于ZKP（零知识证明）先进形式化验证的总体情况，请查阅我们同期发布的“零知识证明区块链的先进形式化验证”文章。 什么是ZK指令的验证？...
原文链接： https://www.rareskills.io/post/p-vs-np P = NP 问题问的是：“如果我们可以快速验证一个问题的解是否正确，我们是否也能快速计算出这个解？” 大多数研究人员相信答案是否定的，即 P...
作者：mutourend & lynndell 1. 引言 区别于基于椭圆曲线的SNARKs，可将STARKs看成是hash-based SNARKs。当前STARKs效率低下的一个主要原因是：实际程序中的大多数数值都较小，...
原文链接：https://vac.dev/rlog/zkVM-explorations 译者：AI翻译官，校对：翻译小组 本文永久链接：learnblockchain.cn/article… 介绍 区...
区块链技术网
