refactor: add precommitted polynomial reductions#17

Closed

RadNi wants to merge 24 commits into

amir/bytecode-stack/01-stage6-splitfrom

amir/bytecode-stack/02-precommitted

Commits on May 26, 2026

feat(blindfold): add jolt-blindfold crate (#1548)

github-actions[bot]
and
0xAndoroid
authored

Commits on May 27, 2026

docs(spec): add committed bytecode program image spec (#1565)

RadNi
and
cursoragent
authored
refactor: split stage 6 sumchecks (#1571)

authored
feat(zkvm): integrate precommitted Dory geometry across prover and verifier

RadNi
and
cursoragent
committed
fix(claim-reduction): preserve advice handoff scale

omibo
authored and
RadNi
committed
fix(advice): align verifier scale with precommit order

quangvdao
authored and
RadNi
committed
fix(zkvm): align precommitted advice with stage6 split

RadNi
and
cursoragent
committed
fix(zkvm): update transpilable verifier for precommitted advice

RadNi
and
cursoragent
committed
fix(zkvm): transition precommitted advice in transpilable verifier

RadNi
and
cursoragent
committed
style: format precommitted advice branch

RadNi
and
cursoragent
committed
fix(zkvm): satisfy strict clippy for precommitted advice

RadNi
and
cursoragent
committed
fix(zkvm): remove unused advice output constraint helper

RadNi
and
cursoragent
committed
refactor(zkvm): align precommitted advice reduction shape

RadNi
and
cursoragent
committed
refactor(dory): move address-major layout cleanup into precommitted stack

RadNi
and
cursoragent
committed
refactor(dory): align commitment scheme before committed programs

RadNi
and
cursoragent
committed
chore(dory): remove unused opening hint accessors

RadNi
and
cursoragent
committed
fix(dory): derive stage8 opening point by layout

RadNi
and
cursoragent
committed
fix(dory): match final stage8 verifier error

RadNi
and
cursoragent
committed
chore(dory): remove dense tier setup alias

RadNi
and
cursoragent
committed
refactor(dory): share stage8 opening point selection

RadNi
and
cursoragent
committed
fix(zkvm): preserve precommitted cycle openings

RadNi
and
cursoragent
committed
fix(zkvm): gate final opening helper behind prover

RadNi
and
cursoragent
committed
fix(zkvm): share final opening helper

RadNi
and
cursoragent
committed
fix(zkvm): drop stale opening point imports

RadNi
and
cursoragent
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

refactor: add precommitted polynomial reductions#17

refactor: add precommitted polynomial reductions#17
RadNi wants to merge 24 commits into
amir/bytecode-stack/01-stage6-splitfrom
amir/bytecode-stack/02-precommitted

Commits on May 26, 2026

feat(blindfold): add jolt-blindfold crate (#1548)

Commits on May 27, 2026

docs(spec): add committed bytecode program image spec (#1565)

refactor: split stage 6 sumchecks (#1571)

feat(zkvm): integrate precommitted Dory geometry across prover and verifier

fix(claim-reduction): preserve advice handoff scale

fix(advice): align verifier scale with precommit order

fix(zkvm): align precommitted advice with stage6 split

fix(zkvm): update transpilable verifier for precommitted advice

fix(zkvm): transition precommitted advice in transpilable verifier

style: format precommitted advice branch

fix(zkvm): satisfy strict clippy for precommitted advice

fix(zkvm): remove unused advice output constraint helper

refactor(zkvm): align precommitted advice reduction shape

refactor(dory): move address-major layout cleanup into precommitted stack

refactor(dory): align commitment scheme before committed programs

chore(dory): remove unused opening hint accessors

fix(dory): derive stage8 opening point by layout

fix(dory): match final stage8 verifier error

chore(dory): remove dense tier setup alias

refactor(dory): share stage8 opening point selection

fix(zkvm): preserve precommitted cycle openings

fix(zkvm): gate final opening helper behind prover

fix(zkvm): share final opening helper

fix(zkvm): drop stale opening point imports