> 原文標題:The path to secure and efficient zkVMs: How to track progress
> 原文作者: a16z crypto
> 原文編譯:Golem,Odaily 星球日報
zkVM(零知識虛擬機)承諾「使 SNARK 大眾化」,允許任何人(即使是沒有專業 SNARK 專業知識的人)證明他們已經正確運行了給定輸入(或見證)上的任何程序。它們的核心優勢在於開發人員體驗,但目前它們在安全性和性能方面都面臨巨大挑戰。為了讓 zkVM 的願景兌現承諾,設計人員必須克服這些挑戰。在這篇文章中,我列出了 zkVM 開發的可能階段,完成這些階段將