#zkvm 仍然还有创新的产品出来 相比 @boundless_xyz 这类通用的risc-b zkvm，所有证明都是基于通用指令集每个电路的证明。Brevis zkvm 采用了 - 胶水缝合方案，这个方案最早来源v神的一篇博文 - 确定构成大部分计算的那些开销高昂的特定操作（通常是哈希值和签名），然后创建专门的模块来高效地证明这些操作。将低效但通用的 vm 指令集 的证明系统与高效但专业的证明系统结合起来，就能兼得两者之长。其实也有点像evm的预编译技术，这类属于电路级的预编译技术 - 链方面创新 1）纯zk证明，成本问题始终还是存在的。 2）op-zk证明，也就是说只有被调整了，才生成zk证明，然后让链去验证证明。如果不被调整就乐观的确认。这个应该属于opzk新品类。 核心解决两个问题，zk证明成本的问题。挺务实的方案 详细介绍：