feat: complete folding prover and verifier for ultra instances#3419

Merged

maramihali merged 67 commits into

Dec 8, 2023

Commits on Oct 23, 2023

wip wip wip
maramihali
committed

Commits on Oct 24, 2023

styuff
maramihali
committed
how do I do this?
maramihali
committed

Commits on Oct 26, 2023

pain
maramihali
committed

Commits on Oct 27, 2023

pain
maramihali
committed

Commits on Nov 6, 2023

wip that works
maramihali
committed
Merge branch 'master' into mm/pg-plumbing
maramihali
committed
cleanup
maramihali
committed
Merge branch 'master' into mm/combiner-quotient
maramihali
committed
comment test
maramihali
committed
comment test
maramihali
committed
Merge remote-tracking branch 'origin/master' into mm/combiner-quotient
codygunton
committed

Commits on Nov 8, 2023

Add weirder test
codygunton
committed
Use clearer type names
codygunton
committed
wip
maramihali
committed

Commits on Nov 9, 2023

pr review additions
maramihali
committed
Merge branch 'master' into mm/combiner-quotient
maramihali
committed
fix formatting
maramihali
committed
add missing issue
maramihali
committed

Commits on Nov 10, 2023

Merge branch 'mm/combiner-quotient' into mm/pg-fold-alpha
maramihali
committed
wip that doesn't work
maramihali
committed
wip
maramihali
committed

Commits on Nov 11, 2023

subrelation number
maramihali
committed

Commits on Nov 13, 2023

add stuff
maramihali
committed

Commits on Nov 16, 2023

confusion
maramihali
committed
pain
maramihali
committed
compiles
maramihali
committed

Commits on Nov 17, 2023

Merge branch 'master' into mm/pg-fold-alpha
maramihali
committed
works
maramihali
committed
Merge branch 'master' into mm/pg-fold-alpha
maramihali
committed
more naming
maramihali
committed

Commits on Nov 18, 2023

fix sumcheck test that was failing
maramihali
committed
Merge branch 'master' into mm/pg-fold-alpha
maramihali
committed

Commits on Nov 20, 2023

Merge remote-tracking branch 'origin/mm/pg-fold-alpha' into HEAD
maramihali
committed
stuff
maramihali
committed
confusion
maramihali
committed

Commits on Nov 21, 2023

stuff with pointer view
maramihali
committed
Merge branch 'master' into mm/pg-poc
maramihali
committed

Commits on Nov 22, 2023

hm
maramihali
committed

Commits on Nov 24, 2023

getting there
maramihali
committed

Commits on Nov 28, 2023

hmm
maramihali
committed
works
maramihali
committed
Merge branch 'master' into mm/pg-poc
maramihali
committed

Commits on Nov 29, 2023

confused
maramihali
committed
works
maramihali
committed
create witness commitments structure
maramihali
committed
add missing comments
maramihali
committed
more missing docs
maramihali
committed

Commits on Nov 30, 2023

Merge branch 'master' into mm/witness-entities-refactor
maramihali
committed
refactor based on discussion
maramihali
committed
Merge branch 'master' into mm/witness-entities-refactor
maramihali
committed
WORKS
maramihali
committed

Commits on Dec 1, 2023

cleaning up
maramihali
committed
more refactoring
maramihali
committed

Commits on Dec 4, 2023

cleanup
maramihali
committed
Merge branch 'master' into mm/pg-poc
maramihali
committed
fix merge bug and cleanup
maramihali
committed
Merge branch 'master' into mm/pg-poc
maramihali
committed
fix formatting
maramihali
committed
add todo
maramihali
committed
print statements
maramihali
committed
fix bug?
maramihali
committed
remove prints
maramihali
committed

Commits on Dec 5, 2023

Merge branch 'master' into mm/pg-poc
maramihali
committed

Commits on Dec 7, 2023

resolve PR review comments and add issues
maramihali
committed
Merge branch 'master' into mm/pg-poc
maramihali
committed

Commits on Dec 8, 2023

Merge branch 'master' into mm/pg-poc
maramihali
authored