proof-market-toolchain
proof-market-toolchain copied to clipboard
terminate called after throwing an instance of 'boost::wrapexcept<std::invalid_argument>' what(): array required
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",
...,
]
}
]
}