Dos proyectos de ZK STARK que realmente me encantan: 1. @0xMiden - @bobbinth me sorprendió por completo en nuestra primera llamada, y desde entonces. Fue el primero en construir por su cuenta una máquina virtual completa compatible con ZK-STARK (Miden) y un sistema de prueba ZK-STARK, con solo leer mis trabajos de matemáticas. 2. @RiscZero - @BruestleJeremy y el equipo tomaron todas las decisiones correctas en ese momento: campos pequeños (baby bear), primeros en apuntar al soporte de lenguaje genérico (Rust y RiscV), enfoque realmente sólido de la ingeniería y la solidez.