Dwa projekty ZK STARK, które naprawdę uwielbiam: 1. @0xMiden -- @bobbinth całkowicie mnie zaskoczył podczas naszej pierwszej rozmowy, i od tamtej pory. Był pierwszym, który samodzielnie zbudował pełną maszynę wirtualną przyjazną ZK-STARK (Miden) oraz system dowodów ZK-STARK, po prostu czytając moje prace matematyczne. 2. @RiscZero -- @BruestleJeremy i zespół podjęli wszystkie właściwe decyzje w odpowiednim czasie -- małe pola (baby bear), pierwsi, którzy dążyli do wsparcia ogólnego języka (Rust i RiscV), naprawdę solidne podejście do inżynierii i poprawności.