Efficient bytecode commitment with dory precommitted geometry#1344

Open

RadNi wants to merge 36 commits into

LayerZero-Research:amir/bytecode-commitment-merged

Commits on May 27, 2026

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
feat(zkvm): add committed program preprocessing foundation

committed
feat(zkvm): add committed program claim reductions

RadNi
and
cursoragent
committed
refactor(zkvm): clarify bytecode sizing names

RadNi
and
cursoragent
committed
fix(zkvm): align committed reduction challenges

RadNi
and
cursoragent
committed
feat(zkvm): add bytecode program reductions

committed
fix(zkvm): reconcile committed reduction integration with source branch

committed
fix(zkvm): clean up reduction rebase artifacts

RadNi
and
cursoragent
committed
chore(dory): remove setup cache debug bypass

RadNi
and
cursoragent
committed
fix(zkvm): transition committed reductions from accumulator state

RadNi
and
cursoragent
committed
fix(zkvm): align committed bytecode metadata flow

RadNi
and
cursoragent
committed
fix(zkvm): gate prover-only reduction code

RadNi
and
cursoragent
committed
fix(zkvm): align shared opening helper inputs

RadNi
and
cursoragent
committed
chore(poly): remove debug opening accessors

RadNi
and
cursoragent
committed
docs: add committed bytecode surface documentation

committed
fix(zkvm): clean up committed bytecode mode plumbing

RadNi
and
cursoragent
committed