Twee ZK STARK-projecten waar ik echt van hou: 1. @0xMiden -- @bobbinth verraste me volledig tijdens ons allereerste gesprek, en sindsdien. Hij was de eerste die op eigen houtje een volledige ZK-STARK-vriendelijke virtuele machine (Miden) en ZK-STARK-bewijs systeem bouwde, gewoon door mijn wiskundige artikelen te lezen. 2. @RiscZero -- @BruestleJeremy en het team maakten destijds alle juiste keuzes -- kleine velden (baby bear), de eerste die streefde naar ondersteuning voor generieke talen (Rust en RiscV), echt een solide aanpak voor engineering en degelijkheid.