Perf/verifier recursion opts#636

Draft

diegokingston wants to merge 8 commits into

mainfrom

perf/verifier-recursion-opts

Commits on May 29, 2026

perf(verifier): batch all DEEP denominators into one inversion
diegokingston
committed
perf(verifier): drop per-query lde_base concatenation; hoist z_pow
diegokingston
committed
perf(verifier): compute LogUp alpha powers once, slice per table
diegokingston
committed
refactor(verifier): consolidate common pre-fork section in multi_verify; borrow lookup challenges
diegokingston
committed
perf(verifier): hash Merkle leaves from borrowed slices (no per-opening Vec alloc)
diegokingston
committed
perf(verifier): fold in #626 micro-opts (Vec step-memo, slice multi_verify, opening short-circuit)
diegokingston
committed
feat(recursion): keccak crate shim routing f1600/p1600 to the VM precompile
diegokingston
committed
tooling: A/B script to measure verifier with/without Keccak precompile
diegokingston
committed