5 Commits

Author	SHA1	Message	Date
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
Arya Tabaie	02d13d1947	Fix PI Initial Rolling Hash Update (#360) ... * fix rolling hash updates in collectFields * fix initial rolling hash in piq * fix assignment rolling hash logic * docs give names to all checks * docs point out checks in circuit * refac check for chain id etc first --------- Co-authored-by: Arya Tabaie <15056835+Tabaie@users.noreply.github.com> Co-authored-by: AlexandreBelling <alexandrebelling8@gmail.com>	2024-11-30 10:26:19 -06:00
Arya Tabaie	c847eb2441	Match PI assignment and circuit with aggregation backend (#274) ... * fix: initialBlockNum -> lastFinalizedBlockNum * fix more execution pi logic * feat readHashSnark * fix block num comparisons * feat pretty print hashes * feat some more range checks * fix exec.lastFinalizedTS -> initialTS * feat skip wizard subproof * feat always zero pad unused PI proofs	2024-11-05 10:32:32 -06:00
AlexandreBelling	e63c730d6d	Prover: switch the go import path to linea-monorepo (#20) ... * switch the go import path to linea-monorepo * address every occurence to zkevm-monorepo	2024-09-13 15:10:04 +02:00
Arya Tabaie	c0568080a1	Prover: implements the aggregation circuit for beta v1 (#3780) ... --------- Signed-off-by: Arya Tabaie <arya.pourtabatabaie@gmail.com> Co-authored-by: Arya Tabaie <15056835+Tabaie@users.noreply.github.com> Co-authored-by: AlexandreBelling <alexandrebelling8@gmail.com>	2024-08-14 14:24:08 +02:00