nim-codex/codex/slots/proofs/backends
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
..
circomcompat.nim Fixes prover behavior with singleton proof trees (#859) 2024-07-18 13:25:06 +00:00
converters.nim Update contract (#734) 2024-03-12 08:18:25 +00:00