近来得闲，看看RISC0的源代码。zkVM一直是想深入的话题。zkVM将零知识证明技术抽象封装。复杂的业务，通过上层语言描述，经过zkVM的执行，轻松生成证明。可是迟迟看不清，zkVM的需求。只是觉得，复杂的程序也能快速地生成证明是一件很酷...
近日，我成功完成了一个让 Mina Protocol 与 Eliza 平台无缝衔接的功能开发，将 Mina AI Agent 的三项核心能力 —— 转账、余额查询和水龙头功能 —— 打通并集成到 Eliza 中。这项独立完成的开发现已上线，...
零知识证明的概念： 零知识证明技术 可以 [模拟]出一个第三方，保证某一个论断是可信的。 举一个例子，我已经年满18岁已经成年了，我只要给出我的身份证（假设身份证上没有我的出生年月）。验证方也可以凭借此来判断我确实已经成年。而无需真实的知...
ZK的崛起与演变 曾几何时，零知识证明（以下简称ZK）仍然被认为是密码学教科书中的理论概念，至少在传统安全研究中很少被主流社群深入探索。然而在Web3.0领域，区块链技术的迅速发展，用短短几年时间实现了ZK从理论到实践的跨越式进展，一...
基本都是直接copy的fatcat大神的博客 ，大神牛逼！！！ 再次声明，本来打算是写一篇看过那么多文章后，对于ZKP的理解的，但是看了fatcat大神的文章和描述后，发现自己再怎么写都是多余的，只能把大神文章中，对于我来说重要的话cop...
在关于零知识证明的先进形式化验证的系列文章中，我们已经讨论了如何验证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...
区块链技术网
