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