Dos proyectos de ZK STARK que realmente me encantan: 1. @0xMiden -- @bobbinth me sorprendió completamente en nuestra primera llamada, y desde entonces. Fue el primero en construir por su cuenta una máquina virtual completamente compatible con ZK-STARK (Miden) y un sistema de pruebas ZK-STARK, solo leyendo mis artículos de matemáticas. 2. @RiscZero -- @BruestleJeremy y el equipo tomaron todas las decisiones correctas en su momento -- campos pequeños (oso bebé), los primeros en apuntar al soporte de lenguajes genéricos (Rust y RiscV), un enfoque realmente sólido en ingeniería y solidez.