Två ZK STARK-projekt som jag verkligen älskar: 1. @0xMiden -- @bobbinth överraskade mig fullständigt vid vårt allra första samtal, och sedan dess. Han var den förste som på egen hand byggde en komplett ZK-STARK-vänlig virtuell maskin (Miden) och ett ZK-STARK-bevissystem, genom att bara läsa mina matteuppsatser. 2. @RiscZero - @BruestleJeremy och teamet gjorde alla de rätta valen vid den tiden - små fält (babybjörn), först med att sikta på generiskt språkstöd (Rust och RiscV), riktigt solid inställning till teknik och sundhet.