Giuliano Mega fbce240e3d Fixes prover behavior with singleton proof trees (#859) ... * add logs and test * add Merkle proof checks * factor out Circom input normalization, fix proof input serialization * add test and update existing ones * update circuit assets * add back trace message * switch contracts to fix branch * update codex-contracts-eth to latest * do not expose prove with prenormalized inputs		2024-07-18 13:25:06 +00:00
..
input.json	Rework builder & sampler (#697)	2024-02-08 02:27:11 +00:00
proof_main.r1cs	Fixes prover behavior with singleton proof trees (#859)	2024-07-18 13:25:06 +00:00
proof_main.wasm	Fixes prover behavior with singleton proof trees (#859)	2024-07-18 13:25:06 +00:00
proof_main.zkey	Fixes prover behavior with singleton proof trees (#859)	2024-07-18 13:25:06 +00:00