zkVM

【zkMIPS系列】zkVM概述

    in  zkMIPS解读

zkVM（零知识虚拟机）是一种利用零知识证明（ZKP）来保证计算的正确性、完整性和隐私性的虚拟机。

• ZKM
• 发布于 2024-12-05
• 阅读 ( 66 )
• ( 3 )

技术：如何设计zkVM电路

在设计zkvm电路时，由于需要确定很多自定义门，所以引入了很多二进制选择器（binary selector）。

• ChinaDeFi 去中心化金融社区
• 发布于 2022-06-28
• 阅读 ( 1984 )

基于 RISC V 的ZK 虚拟机 zkVM 1.0 上线

zkVM 1.0 为构建链上协议和去中心化应用引入了新的范式。它解锁了可验证的链下计算，允许协议无缝扩展计算，并使开发者能够创建更复杂和高效的 dApp。

• RISC0 Fans
• 发布于 2024-06-20
• 阅读 ( 1212 )
• ( 7 )

【zkMIPS系列】Lookup Argument原理

    in  zkMIPS解读

LookupArgument是一种重要的密码学原语，用于证明一个集合（或结构化对象，如多项式）的元素属于另一个预先计算的集合或结构。它在零知识证明系统中具有重要作用，可以在不泄露敏感信息的前提下强制验证数据的一致性和约束。

• ZKM
• 发布于 2024-12-12
• 阅读 ( 205 )
• ( 8 )