SiegfriedNexus：构建最快、最高效的可验证计算机
Nexus项目致力于构建一个全新的可验证计算机，旨在解决零知识证明（ZK）领域速度慢、通用性差、开发者体验不佳等问题。 零知识密码项目主要分为专用ZK（如zk-rollup）和通用ZK（zkVM）两类。Nexus属于通用ZK，它旨在通过构建一个zkVM，…
ZKSync 治理系统详解：弹性、分布式与使命一致的三体治理
ZKSync 的治理系统正式上线，其设计核心在于弹性、分布式和使命一致性，这三者共同巩固了 ZK Credo 的价值观——分叉或退出的权利，以及社区以无需信任的方式验证决策和行动的能力。 该系统采用“三体治理”模式，权力分散在三个独立机构： 代币大会: …
