Due progetti ZK STARK che amo davvero: 1. @0xMiden -- @bobbinth mi ha completamente sorpreso nella nostra prima chiamata, e da allora. È stato il primo a costruire da solo una macchina virtuale completamente compatibile con ZK-STARK (Miden) e un sistema di prove ZK-STARK, semplicemente leggendo i miei articoli matematici. 2. @RiscZero -- @BruestleJeremy e il team hanno fatto tutte le scelte giuste all'epoca -- campi piccoli (baby bear), primi a puntare al supporto di linguaggi generici (Rust e RiscV), approccio davvero solido all'ingegneria e alla correttezza.