AlexandreBelling c511121317 Prover: couple of fixes betav1 (#377) ...

* fix(execution): a few fixes in the wizard verifier

* feat(dict): pass the dict path from config

* fix: makeBw6Proof returns circuitID instead of -1

* fix(circuitID): make bw6Proof returns the circuitID

* fix(config-testing)

* feat(config): sepolia-full uses full aggregation

* style(naming): renaming the rolling hash fields and documenting the checks in pi-interconnection

* feat: flag for target number of constraints

* fix refactoring oversight

---------

Co-authored-by: Arya Tabaie <arya.pourtabatabaie@gmail.com>

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

..

aggregation.go

Prover: couple of fixes betav1 (#377)

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

execution.go

Prover: couple of fixes betav1 (#377)

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

public_inputs_test.go

chore: Initial commit

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