沒有透明的鏈能提供真正的隱私。我們必須建立一個專門為此而設的端到端堆疊。 為什麼不分叉 Ethereum 或基於現有的東西來建設?因為 ZK 不適用於為公共執行而設計的架構。它需要一個完全不同的基礎,傳統區塊鏈無法支持。 這一切始於虛擬機。EVM 是為公共鏈上執行而設計的,而 snarkVM 將程序編譯成 zkSNARK 電路,這些電路在鏈下執行並在鏈上驗證證明。 它們是根本不同的計算模型。 Leo 的存在是因為我們需要一種在類型系統層面強制執行隱私的語言。當你聲明私有數據時,編譯器保證它在執行過程中保持私有。 Solidity 和 Rust 無法做到這一點,因為它們從未以隱私作為核心概念來構建。