ele é um dez, mas os seus circuitos zk estão escritos em uma DSL não agnóstica 🚩