私が本当に気に入っている 2 つの ZK STARK プロジェクト: 1. @0xMiden -- 最初の電話で、そしてそれ以来、@bobbinth完全に驚かされました。彼は、私の数学の論文を読むだけで、完全な ZK-STARK フレンドリーな仮想マシン (Miden) と ZK-STARK 証明システムを独自に構築した最初の人でした。 2. @RiscZero -- @BruestleJeremyとチームは、当時、小さなフィールド(ベビーベア)、最初に汎用言語サポート(RustとRiscV)を目指し、エンジニアリングと健全性に対する本当に堅実なアプローチなど、すべての正しい選択をしました。