AlexandreBelling 1edc38b4e8 Prover: beta-v1.2 adds missing commits (#693) ...

* clean(naturalize): harmonize the implementation of the verifier

* update constraints version to rc3.1

* clean(corset): use the lisp to name the constraints

* fix(permutation): compile zcatalog in deterministic order

---------

Co-authored-by: gusiri <dreamerty@postech.ac.kr>

2025-02-17 13:13:43 +01:00

..

builder.go

Prover: fix full prover over Sepolia issues (#448)

2024-12-18 23:26:30 +01:00

circuit.go

Prover: beta-v1.2 adds missing commits (#693)

2025-02-17 13:13:43 +01:00

pi_test.go

Prover: couple of fixes betav1 (#377)

2024-12-10 15:55:20 +01:00

pi_wizard_extraction.go

Prover: connect the codehash and the statesummary module (#463)

2025-01-16 22:31:15 +01:00

pi.go

Prover: couple of fixes betav1 (#377)

2024-12-10 15:55:20 +01:00