Два проекти ZK STARK, які я дуже люблю: 1. @0xMiden - @bobbinth абсолютно здивував мене під час нашого першого ж дзвінка, і з тих пір. Він був першим, хто самостійно створив повноцінну віртуальну машину, дружню до ZK-STARK (Miden) і систему доказів ZK-STARK, просто читаючи мої роботи з математики. 2. @RiscZero - @BruestleJeremy і команда зробили всі правильні вибори в той час - маленькі поля (baby bear), перші, хто прагнули до загальної підтримки мови (Rust і RiscV), дійсно солідний підхід до інженерії та звуковості.