小寫的 snarks 像 laser、scuba、radar 這樣的詞最初是大寫的。 LASER — 光放大由受激輻射發射 SCUBA — 自給式水下呼吸器 RADAR — 無線電探測與測距 當一項技術成熟並變得可靠、值得信賴、商品化時，它就贏得了小寫。Lean Ethereum 是對 snarks 的賭注，而不是對簡潔非互動知識論證（Succinct Non-interactive ARguments of Knowledge）的賭注。 後量子安全性。可證明的健全性。端到端的形式驗證。深度密碼分析。實時證明。zkVM 可編程性。簡單性和優雅性。這些都是小寫所必需的。這一切都是不可避免的。 Ethereum L1 擁有 10 年的正常運行時間和 1 兆美元的安全保障，依賴於哈希和簽名，我們的密碼學工作馬。 我相信 100 年的正常運行時間和 1 兆美元的安全保障，依賴於 snarks，我們的密碼學噴氣引擎。 * L1 擴展性 — 10K TPS 的 gigagas 擴展性，配合實時 zkEVMs * L1 安全性 — 具後量子安全性的 snarked 簽名 * L1 隱私 — Zcash 級別的隱形技術，配合蟲洞（例如 EIP-7503） 發送 snarks 是一個密碼學的曼哈頓計劃，EF 正在為此投資數千萬： * verified-zkevm[.]org — 形式驗證 * poseidon-initiative[.]info — 深度密碼分析 * ethproofs[.]org — 實時證明 * proximityprize[.]org — 可證明的健全性 * zkevm.ethereum[.]foundation — 鑄造 * pse[.]dev — 隱私 一步一步，EF 正在演變成一個以 snark 為首的組織： * 密碼學團隊 — 驅動健全性和密碼分析 * snarkification 團隊 — 驅動形式驗證 * zkEVM 團隊 — 驅動協議整合 * Ethproofs 團隊 — 驅動實時證明 * PSE 團隊 — 驅動隱私 * PQ 共識團隊 — 即將來臨™ 相信一些神奇的事物。 相信小寫的 snarks。