zkvm | CN-SEC 中文网

云安全

零知识证明的先进形式化验证：如何证明零知识内存

在关于零知识证明的先进形式化验证的系列文章中，我们已经讨论了如何验证ZK指令以及对两个ZK漏洞的深度剖析。正如在公开报告（https://skynet.certik.com/projects/zkwa...

07月31日7 views评论

安全文章

在之前的文章中，我们讨论了零知识证明的先进形式化验证：如何验证一条ZK指令。通过形式化验证每条zkWasm指令，我们能够完全验证整个zkWasm电路的技术安全性和正确性。在本文中，我们将关注发现漏洞的...

05月29日15 views评论

云安全

为了深入理解形式化验证技术是如何应用于zkVM（零知识虚拟机）之上的，本文将聚焦于单条指令的验证。关于ZKP（零知识证明）先进形式化验证的总体情况，请查阅我们同期发布的“零知识证明区块链的先进形式化验...

05月07日27 views评论

云安全

形式化验证是一个数学证明过程，用以证明系统的正确性，确保其在所有可能的条件下都完全符合预期运行。鉴于区块链技术的复杂性和高风险性，其中的缺陷可能导致重大的财务损失或隐私泄露。形式化验证超越了传统的测试...

04月30日76 views评论