Prover: development branch of the limitless prover#813

Merged

AlexandreBelling merged 73 commits into

mainfrom

prover/limitless-top-level-rebased

Jul 30, 2025

Commits on Mar 25, 2025

commit all ideas
AlexandreBelling
committed
added aggregator

Soleimani193
authored and
AlexandreBelling
committed
adding details to top-level

Soleimani193
authored and
AlexandreBelling
committed
minor on lookup

Soleimani193
authored and
AlexandreBelling
committed
removing preperation phase

Soleimani193
authored and
AlexandreBelling
committed
removed LogDerivativeSum

Soleimani193
authored and
AlexandreBelling
committed
minor

Soleimani193
authored and
AlexandreBelling
committed
minor typos

Soleimani193
authored and
AlexandreBelling
committed
distributed lookup compilation

Soleimani193
authored and
AlexandreBelling
committed
Revert "distributed lookup compilation"

Soleimani193
authored and
AlexandreBelling
committed
removing segParam

Soleimani193
authored and
AlexandreBelling
committed
implementation of extractDistModule()

Soleimani193
authored and
AlexandreBelling
committed
minor cleaning

Soleimani193
authored and
AlexandreBelling
committed
moving two functions from wizardutils to the column package

Soleimani193
authored and
AlexandreBelling
committed
Prover/Adding Initial Compiler for Permutation Query (#386)

committed
initial framework for lookup (#428)

committed
fixed complains on the module discoverer

Soleimani193
authored and
AlexandreBelling
committed
added the compiler for logderivativesum (#496)

Soleimani193
authored and
AlexandreBelling
committed
Prover/Polish distributed permutation (#527)

arijitdutta67
and
AlexandreBelling
committed
Prover/distributed inclusion pover steps (#521)

Soleimani193
and
AlexandreBelling
committed
feat(prover): adds runtime.ParentRuntime (#534)
AlexandreBelling
committed
Prover/Compile grand product (#533)

arijitdutta67
and
AlexandreBelling
committed
Prover/vertical splitting for limitless prover (#547)

Soleimani193
authored and
AlexandreBelling
committed
Prover: assignment serialization for the limitless prover (#557)

gusiri
and
AlexandreBelling
committed
shared randomness for limitless prover (#587)

Soleimani193
authored and
AlexandreBelling
committed
Prover/Convert projection protocol to a query (#585)

arijitdutta67
authored and
AlexandreBelling
committed
Prover/cross-checking among segments of limitless prover (#627)

Soleimani193
authored and
AlexandreBelling
committed
prover(conglomeration): implements the proof aggregation mechanism (#564)
AlexandreBelling
committed
fixup(conglo): fix remaining bug in the conglomeration
AlexandreBelling
committed
added more functionalities to the discoverer (#681)

Soleimani193
authored and
AlexandreBelling
committed
Prover/distribute projection query (#608)

arijitdutta67
authored and
AlexandreBelling
committed
Prover/distribution of global queries (#647)

Soleimani193
authored and
AlexandreBelling
committed
Prover/Complete Projection Query (#667)

arijitdutta67
authored and
AlexandreBelling
committed
Prover: turns the plonk-in-wizard into a query (#688)

AlexandreBelling
and
arijitdutta67
committed
Prover/support special columns (#700)

Soleimani193
and
AlexandreBelling
committed
Prover: limitless integration (#722)

committed
fixup(lint): fix the linter errors arising from the merge with main
AlexandreBelling
committed

Commits on Mar 26, 2025

Commits on Apr 9, 2025

Prover/limitless standardization (#857)
AlexandreBelling
authored

Commits on Apr 10, 2025

Remove prover and verifier closures (#852)
srinathln7
authored

Commits on Apr 25, 2025

Prover/limitless ser deser (#907)
srinathln7
authored

Commits on May 2, 2025

Prover/Adding the Optional SIS Hashing Feature in the Vortex Protocol (#885)
arijitdutta67
authored

Commits on May 5, 2025

Prover/limitless conglomeration 2 (#937)
AlexandreBelling
authored

Commits on May 10, 2025

Commits on May 16, 2025

Prover: Multi-ary projection queries (#998)

AlexandreBelling
and
Copilot
authored

Commits on Jun 10, 2025

Prover/srinath serde (#1102)

srinathln7
and
AlexandreBelling
authored

Commits on Jun 17, 2025

feat(limitless): adds the limitless execution circuit (#1170)
AlexandreBelling
authored

Commits on Jun 19, 2025

Prover: adds more tests to debug the vortex compiler (#1162)

AlexandreBelling
and
arijitdutta67
authored

Commits on Jun 26, 2025

Prover/Vortex Optional SIS Hashing in Self Recursion (Step 1/2) (#946)
arijitdutta67
authored

Commits on Jun 27, 2025

Commits on Jul 2, 2025

fix(vortex): fix vortex merge (#1234)
AlexandreBelling
authored

Commits on Jul 10, 2025

Prover/limitless clean all tests (#1237)

AlexandreBelling
and
arijitdutta67
authored

Commits on Jul 15, 2025

Prover/Optimise Recursion (#1245)
arijitdutta67
authored

Commits on Jul 17, 2025

Prover/Cleanup Recursion (#1251)
arijitdutta67
authored

Commits on Jul 29, 2025

Commits on Jul 30, 2025

fix(circuit): fix the test for the circuit
AlexandreBelling
committed