AlexandreBelling 3bf08c9f18 Prover: richer exit code to better detect completeness issues (#978) ...

* feat(exit): make sure that keccak uses 77 when overflowing and not a panic message

* feat(exit): makes PadAssign return a 77 when vector builder overflows

* feat(exit): adds a toggle mechanism for the exiting strategy

* feat(unsatisfied): adds exiting when encountering an unsatisfied constraint

* adds the toggle for the exit when finding unsatisfied constraints

* feat(77): uses the 77 exit code to tell when we have too many merkle proofs

* fix log for modexp

2025-05-13 20:46:05 +00:00

..

aggregation

Feat/multi dict prover (#553)

2025-01-21 09:38:45 -06:00

blobdecompression

feat: Decompression Prover: improved error reporting (#786)

2025-03-17 16:31:36 -05:00

blobsubmission

Decompressor Library (#229)

2024-10-22 14:32:14 -05:00

ethereum

Prover: fix empty to address decoding (#403)

2024-12-16 13:31:53 +01:00

execution

Prover: richer exit code to better detect completeness issues (#978)

2025-05-13 20:46:05 +00:00

files

chore: Initial commit

2024-07-31 18:17:20 +02:00

testing/k

chore: Initial commit

2024-07-31 18:17:20 +02:00