Evm
乙太坊可以驗證 zk-SNARK 證明嗎？
我想知道乙太坊虛擬機是否可以驗證從某個語句生成的證明？是否有任何用於驗證證明的預編譯合約？
是的！有一個名為 Zokrates 的項目，它允許您創建證明所需的代數電路並創建驗證它的智能合約。您可以在 github 中找到可以獲取 Zokrates的工具箱。
此外，這裡有一個很好的教程
希望這可以幫助。
ZoKrates 是乙太坊上 zkSNARKs 的一個非常好的工具箱。它可以幫助您在 DApp 中使用可驗證的計算，從高級語言的程序規範到生成計算證明，再到在 Solidity 中驗證這些證明。除了 Zokrates，現在我們還有一套有趣且有用的工具，用於生成 ZK-SNARK 程序、算術電路和驗證合約。