2
0
mirror of https://github.com/status-im/nim-dagger.git synced 2025-01-31 17:06:19 +00:00
Giuliano Mega fbce240e3d
Fixes prover behavior with singleton proof trees ()
* 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
..