小写 snarks 激光、水肺、雷达等词从大写开始。 激光 — 通过受激辐射进行光放大 SCUBA — 自给式水下呼吸器 雷达 — RAdio 探测和测距 当一项技术成熟并变得可靠、值得信赖、商品化时，它就会获得小写字母。精益以太坊是对 snarks 的赌注，而不是简洁的非交互式知识评估。 后量子安全。可证明的健全性。端到端形式化验证。深度密码分析。实时证明。zkVM 可编程性。简约与优雅。对于小写字母来说都是必不可少的。这一切都是不可避免的。 以太坊 L1 具有 10 年的正常运行时间和 1 美元的正常运行时间，并由我们的加密主力哈希和签名保护。我相信 100 年的正常运行时间和 1 美元的季度收入由我们的加密喷气发动机 snarks 保护。 * L1 规模 — 具有实时 zkEVM 的 10K TPS 千兆燃料规模 * L1 安全性 — 带有盗窃签名的后量子安全性 * L1 隐私 — 带有虫洞的 Zcash 级隐身（例如 EIP-7503） Shipping snarks 是一个加密曼哈顿项目，EF 正在投资数千万美元用于： * verified-zkevm[.]org — 形式验证 * 波塞冬倡议[.]info — 深度密码分析 * ethproofs[.]org — 实时证明 * 邻近奖[.]org — 可证明的健全性 * zkevm.ethereum[.]基金会 — 供奉 * pse[.]dev — 隐私 EF 正在一步一步地演变成一个以 snark 为先的组织： * 密码学团队 — 推动健全性和密码分析...