Coda Helper Tool Generate zkInterface files from Coda's r1cs files. cd rust cargo run coda ./codegen_test/