我非常喜歡的兩個 ZK STARK 項目： 1. @0xMiden -- @bobbinth 在我們第一次通話時讓我完全驚訝，從那以後也是如此。他是第一個通過閱讀我的數學論文，獨立構建出完整的 ZK-STARK 友好的虛擬機（Miden）和 ZK-STARK 證明系統的人。 2. @RiscZero -- @BruestleJeremy 和團隊在當時做出了所有正確的選擇 -- 小字段（小熊），首個旨在支持通用語言（Rust 和 RiscV），在工程和健全性方面採取了非常扎實的方法。