Open Puckapao opened 2 months ago
I've tried to generate proof with this command
./bin/proof-generator/proof-generator \ --proof_out mina_acc_proof.json \ --circuit_input ../mina_acc_statement.json \ --public_input ../mina_acc_request.json
but it returns error
terminate called after throwing an instance of 'boost::wrapexcept<std::invalid_argument>' what(): array required Aborted (core dumped)
Here's my circuit and public input files mina_acc_statement.json (trimmed)
{ "_key": "79169223", "avg_cost": 6.587676965541832, "avg_generation_time": 9.732029482385057, "completed": 22462, "createdOn": 1682287053104, "definition": { "verification_key": "verification_key", "proving_key": "; ModuleID = '/mnt/d/gits/........... }, "description": "Account state proof for Mina", "input_description": "see https://github.com/NilFoundation/mina-state-proof/examples", "isPrivate": false, "last_producer": "skm", "name": "account_mina", "sender": "skm", "tag": "zkbridge", "type": "placeholder-zkllvm", "updatedOn": 1682287053104, "url": "https://github.com/NilFoundation/mina-state-proof", "childs": [] }
and mina_acc_request.json (trimmed)
{ "input": [ { "array": [ "7701", "3772488328920461804495083215750588085680711773863523888728995887840387134615", "0", "0", "0", "0", "0", "0", "0", "49000000000", "0", "21740290327073699211305610121367928638421433854526794812949624326611764525769", "17528725530260277538704620228602966980413444082789100851305761195811226356238", "13954136364878897629556469493800249795894115542243792187886934708055104771570", "16542182282005933734226446523284422471990022178631961453249160110010909471422", ..., ] } ] }
I've tried to generate proof with this command
but it returns error
Here's my circuit and public input files mina_acc_statement.json (trimmed)
and mina_acc_request.json (trimmed)