Feat/update aggregator snark verifier#1318

Draft

z2trillion wants to merge 19 commits intodevelopfrom feat/update_aggregator_snark_verifier

+1,730-922

Commits on May 31, 2024

separate aggregator snark-verifier dependencies
Mason Liang
committed

Commits on Jun 3, 2024

use halo2 libs from snark-verifier
Mason Liang
committed
Merge branch 'develop' into feat/update_aggregator_snark_verifier
z2trillion
authored
fix Shplonk import
Mason Liang
committed
fix blob Context
Mason Liang
committed
fix ContextParams imports
Mason Liang
committed

Commits on Jun 7, 2024

fix SnarkWitness import error
Mason Liang
committed

Commits on Jun 17, 2024

wip
Mason Liang
committed

Commits on Jun 21, 2024

wip
Mason Liang
committed

Commits on Jun 24, 2024

Use git branches instead of local files. Does not compile
Mason Liang
committed

Commits on Jun 27, 2024

wip
Mason Liang
committed
fix barycentric circuit compilation errors
Mason Liang
committed

Commits on Jul 1, 2024

wip
Mason Liang
committed
make compression workspace member
Mason Liang
committed
move compression circuit into own workspace member
Mason Liang
committed

Commits on Jul 2, 2024

compiles by commenting out
Mason Liang
committed
fix flatten_snarks function
Mason Liang
committed
cleanup
Mason Liang
committed

Commits on Jul 8, 2024

cleanup
Mason Liang
committed