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