证明系统_证明系统相关新闻_证明系统动态

zkVM 的未来，为何基于 RISC-V 架构？

RISC Zero推出zkVM 1.0，获得4000万美元融资。zkVM是通用的虚拟机，使用RISC-V指令集，具有开放、可扩展、模块化、标准化、安全性和跨平台兼容性。可用多种语言编写程序，如Rust、C/C++和Go，并可与不同系统无缝集成。在虚拟机竞赛中，zkVM可能带来新的火花，RISC Zero已成为第一位选手。

hyperstructured.greg06月18日 16:34

深入剖析两个ZK漏洞

本文介绍了两种ZK漏洞，分别是“Load8数据注入漏洞”和“伪造返回漏洞”。建议在ZK系统投入运行之前进行审计和形式化验证，以确保系统的安全性。同时，也需要对电路和智能合约进行安全性检查，最佳实践是同时进行审计和形式化验证，并在此基础上对电路和智能合约进行检查。形式化验证能发现审计中遗漏的漏洞，对ZK系统及其组件有重要影响。

CertiK05月29日 19:45

零知识证明是一种强大的密码学工具，可以向验证者证明某一声明的真实性，而不泄露额外信息。zk-SNARKs在隐私计算、程序正确性和区块链扩容方面应用广泛。它们的发展得益于先驱们的杰出工作和思想，主要构建块包括sumcheck协议、GKR协议和KZG多项式承诺方案。近年来，出现了更高效的SNARKs技术，如Bulletproofs、Sonic、Marlin、Plonk等，它们解决了传统证明系统的问题。未来可能会出现更多新型的证明系统，但要让现有系统跟上发展步伐，可能需要时间去适应。

MarsBit02月21日 09:11