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