prover(conglomeration): implements the proof aggregation mechanism#564

Draft

AlexandreBelling wants to merge 57 commits intoprover/limitless-top-levelfrom prover/limitless-conglomeration

+2,168-261

Commits on Jan 17, 2025

Commits on Jan 18, 2025

fix(fsHook): adds fsHook in the equalizer
AlexandreBelling
committed
feat(wizard): adds ExtractProof and RunProverUntilRound
AlexandreBelling
committed
fix(typo): dh to rooth in the error message
AlexandreBelling
committed
rename(fs): rename long method to AllKeysInProverTranscript
AlexandreBelling
committed
feat(fs): adds a possibility to explicitly ignore FS columns
AlexandreBelling
committed
fix(typo): improves the doc for IsCommitToPrecomputed
AlexandreBelling
committed
fix(translator): fix TranslateUniEval
AlexandreBelling
committed
fixup
AlexandreBelling
committed
feat(conglomeration): implements the main top-level function
AlexandreBelling
committed
various fixup while testing
AlexandreBelling
committed
implements a tests for pure vortex protocol
AlexandreBelling
committed
feat(recursion): prefixs all the items of the self-recursion
AlexandreBelling
committed
fixup(test): fix appending to presized slice instead of len 0
AlexandreBelling
committed
fixup(extract): check for nilness before casting to type
AlexandreBelling
committed
clean(vortex): make the vortex compiler rely on items.Name instead of regenerating the names
AlexandreBelling
committed
fix(vortex): make the prefix be used when len>0 and not len==0
AlexandreBelling
committed
doc(conglo): adds doc for ColumnIgnored
AlexandreBelling
committed
fixup(conglo): adds the recursive compilation at the end
AlexandreBelling
committed
fixup(conglo): assigns the ignored columns
AlexandreBelling
committed
fixup(prover): safeguard check for the witness assignment
AlexandreBelling
committed
fixup(conglo): adds a prover step to assign the vortex query
AlexandreBelling
committed
fixup(extractProof); fix the extract proof function for conglomeration
AlexandreBelling
committed
fixup(vortex): use the Merkle proof column name directly instead of regenerating it
AlexandreBelling
committed
rename(srec): left, right into more explicit names
AlexandreBelling
committed
fixup(conglo): remove unused method isPrefixed
AlexandreBelling
committed
feat(conglo): adds an option in vortex to pre-announce that the context is self-recursed
AlexandreBelling
committed

Commits on Jan 20, 2025

Commits on Jan 21, 2025

fixup(init-fs): ensure the sub-fs-initialize is run before the pre-vortex-verifier-steps
AlexandreBelling
committed

Commits on Jan 22, 2025