加密與 zk 智能合約 零知識證明和完全同態加密從不同的角度解決區塊鏈上的隱私問題。 理解這兩者之間的區別非常重要，以免混淆。 Zk-智能合約（在不暴露的情況下進行驗證） 零知識證明讓證明者能夠說服驗證者某個計算或陳述是正確的，而不需要揭示底層的輸入。 在許多 zk 工作流程中，重的計算或敏感數據保持在鏈外，zk 證明則提交到鏈上以證明正確性。 當目標是發佈一個關於更大私有計算的小型可驗證陳述時，這種模型是強大的。 加密智能合約（在數據保持加密的情況下進行計算） 完全同態加密（FHE）使得可以直接在密文上進行任意計算，這樣一來，經授權方解密後的密文結果，與在明文上進行相同計算的結果相匹配。 簡單來說，FHE 讓系統在不揭示輸入的情況下進行計算。 原始的 FHE 構造和引導思想源於 Craig Gentry（2009），為隨後的實際工作奠定了理論基礎。 @zama_fhe 的方法使用 FHE 將這一能力帶入智能合約，開發者通過使用 FHE 庫（fhEVM）在 Solidity 中編寫合約， 主鏈發出指針和事件，而鏈外的協處理器執行 FHE 工作並存儲密文。 該協議明確設計為加密計算是可驗證和協調的，而不是隱藏的。