ele é um dez, mas seus circuitos zk são escritos em DSL 🚩 não agnóstico