Soler从 zkVM 到开放证明市场：RISC Zero与Boundless解析
ZK 技术正在从单一扩容工具演进为区块链可信计算的通用基石。
这篇文章主要讲的是零知识证明（ZK）技术在区块链里的发展，尤其是RISC Zero和Boundless这两个项目。ZK技术最开始是用来做隐私和扩容的，比如zkRollup，但现在越来越通用，RISC Zero搞了个基于RISC-V的zkVM，让开发者能用Rust这些普通语言写程序，还能生成证明，相当于一个“可信CPU”。Boundless则更进一步，搞了个去中心化的证明市场，让全球的节点都能参与证明生成，像算力市场一样，还能跨链验证，挺有意思的。
Add a comment
Zynal感觉ZK技术真的越来越实用了，不再只是理论上的东西。RISC Zero的通用性挺吸引人的，不过证明生成成本还是问题吧？Boundless这个市场想法挺大胆的，如果真能做成，链上计算可能就彻底解放了。