每个人都知道 ZK 证明是强大的,它们压缩数据、保护隐私并解锁扩展性。 但没有人足够谈论在以太坊上验证这些证明的成本。 在链上验证单个 ZK 证明的燃气费用很高。那么大多数项目怎么做呢? 他们在链下批量处理证明,只将聚合证明结算到以太坊上。 这有效,但有一个权衡:你节省了燃气费用,但付出了延迟。 @cysic_xyz 正在构建一种架构,解决成本和延迟问题,而不妥协去中心化。 以下是方法: ➤ 正常证明由去中心化验证者网络在链下验证。这些是轻量级检查,但通过冗余和随机选择仍然保持完整性。 ➤ 一旦多个验证者同意证明的有效性,它将在链上标记为成功,并存储而无需完全的链上高燃气验证。 ➤ 然后生成聚合证明,以代表这些经过验证的证明的批次。这些聚合证明就是在以太坊上结算的内容。 结果是什么? • 以太坊的燃气使用量显著下降 • zkApps 可以以一个的成本证明许多操作 • 用户不必等待数小时才能知道他们的交易是否有效 • 开发者不必担心用重证明的 dApp 使以太坊膨胀 而且因为一切都是通过智能合约和可验证的选择逻辑结构化的,整个过程保持透明、可编程和无权限。 这就是 Cysic 的定位,不是作为一个 rollup,也不是作为一个证明公司,而是作为支持应用程序而不耗尽以太坊的 ZK 骨干。 在一个证明生成正在扩展,但结算仍然痛苦的世界里,@cysic_xyz 为堆栈带来了平衡。
8.16K