fbce240e3d
* 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 |
||
|---|---|---|
| .. | ||
| backends | ||
| sampler | ||
| helpers.nim | ||
| testbackends.nim | ||
| testconverters.nim | ||
| testprover.nim | ||
| testsampler.nim | ||
| testslotbuilder.nim | ||