扫描下载APP
其它方式登录
Brevis 构建了一个基于零知识证明的可验证计算层，通过链下计算与链上验证的方式解决以太坊扩容中的全网复算瓶颈。其核心技术包括ZK Data Coprocessor、Pico zkVM和ProverNet，已在PancakeSwap、Usual等协议中落地，支持高效、去中心化的复杂计算与激励分发，推动智能合约能力边界扩展。
zkVM是一种基于零知识证明技术的通用计算平台，能够验证计算的正确性并支持链外处理大量任务，极大提升了区块链的扩展性。市场上有多个项目正在开发zkVM解决方案，如a16z、Taiko、ZKM等。与传统虚拟机相比，zkVM使用零知识证明技术来验证程序执行过程的正确性，适用于多种应用场景，并支持多种编程语言。未来，随着区块链技术的成熟和需求的增加，zkVM将扮演更重要的角色，带来更多的开发者进入Web3时代。
Steel连接RISC Zero和以太坊，使开发人员能够以可扩展、安全且经济高效的方式执行视图调用并读取以太坊状态。通过三个步骤在RISC Zero zkVM中证明Solidity代码，简化了执行过程。Steel为开发人员创建下一代数据丰富且功能更强大的链上应用程序做出贡献。
