我非常喜欢的两个 ZK STARK 项目： 1. @0xMiden -- @bobbinth 在我们第一次通话时让我完全惊讶，从那以后也是如此。他是第一个通过阅读我的数学论文，独立构建出完整的 ZK-STARK 友好的虚拟机（Miden）和 ZK-STARK 证明系统的人。 2. @RiscZero -- @BruestleJeremy 和团队在当时做出了所有正确的选择 -- 小字段（小熊），首个旨在支持通用语言（Rust 和 RiscV），在工程和健全性方面采取了非常扎实的方法。