Dois projetos ZK STARK que eu realmente adoro: 1. @0xMiden -- @bobbinth me surpreendeu completamente na nossa primeira chamada, e desde então. Ele foi o primeiro a construir por conta própria uma máquina virtual totalmente compatível com ZK-STARK (Miden) e um sistema de provas ZK-STARK, apenas lendo meus artigos de matemática. 2. @RiscZero -- @BruestleJeremy e a equipe tomaram todas as decisões certas na época -- campos pequenos (urso bebê), primeiros a buscar suporte para linguagem genérica (Rust e RiscV), uma abordagem realmente sólida em engenharia e robustez.