Zwei ZK STARK-Projekte, die ich wirklich liebe: 1. @0xMiden -- @bobbinth hat mich bei unserem allerersten Anruf völlig überrascht, und das bis heute. Er war der Erste, der eigenständig eine vollständige ZK-STARK-freundliche virtuelle Maschine (Miden) und ein ZK-STARK-Beweissystem entwickelt hat, nur indem er meine mathematischen Arbeiten gelesen hat. 2. @RiscZero -- @BruestleJeremy und das Team haben damals alle richtigen Entscheidungen getroffen -- kleine Felder (Babybär), als Erste, die generische Sprachunterstützung (Rust und RiscV) anstreben, wirklich solider Ansatz in der Technik und Zuverlässigkeit.