Dois projetos ZK STARK que eu realmente amo: 1. @0xMiden - @bobbinth me surpreendeu completamente em nossa primeira ligação, e desde então. Ele foi o primeiro a construir por conta própria uma máquina virtual compatível com ZK-STARK (Miden) e um sistema de prova ZK-STARK, apenas lendo meus trabalhos de matemática. 2. @RiscZero - @BruestleJeremy e a equipe fizeram todas as escolhas certas na época - pequenos campos (baby bear), primeiro a buscar suporte a linguagem genérica (Rust e RiscV), abordagem realmente sólida para engenharia e solidez.