es un diez, pero sus circuitos zk están escritos en un DSL no agnóstico 🚩
333