1. zkVMs 进展 自从零知识(ZK)证明被引入以来,该领域已经从理论加速发展到生产系统。通用 zkVM 已经成为可验证计算的关键抽象:程序在对证明友好的虚拟机上运行并发出简洁的证明,从而减少了开发人员的摩擦并扩大了部署范围。通过公开...
在 [LinkedIn](https://www.linkedin.com/in/martin-pal-8b4212235/) 上关注我,获取更多区块链开发内容。** 2024年7月6日,以太坊联合创始人 Vitalik Buteri...