feat(KZG): de-vacuate evaluation binding and prove the t-SDH GGM soundness bound#655

Open

emberian wants to merge 17 commits into

Verified-zkEVM:mainfrom

emberian:kzg-vacuity-pr

Commits on Jul 17, 2026

feat(KZG): mechanize the evaluation-binding vacuity
Ember Arlynx
committed
fix(KZG): de-vacuate binding via an unconditional reduction
Ember Arlynx
committed
feat(KZG): prove the repair survives the extraction attack
Ember Arlynx
committed
feat(KZG): add the zero-query Schwartz-Zippel core for GGM t-SDH
Ember Arlynx
committed
feat(KZG): add the GGM handle-table degree invariants
Ember Arlynx
committed
feat(KZG): prove the adaptive q-query GGM t-SDH bound
Ember Arlynx
committed
feat(KZG): count the all-pairs random-encoding collisions
Ember Arlynx
committed
feat(KZG): transport the field bound to ArkLib's tSdhCondition
Ember Arlynx
committed
feat(KZG): collapse the t-SDH game monad to a Finset count
Ember Arlynx
committed
feat(KZG): discharge the SRS degree invariant on the oracle
Ember Arlynx
committed
feat(KZG): construct the generic-restricted Maurer adversary
Ember Arlynx
committed
feat(KZG): prove the Maurer GGM soundness capstone for tSdhExperiment
Ember Arlynx
committed
feat(KZG): prove the Shoup free-comparison GGM soundness capstone
Ember Arlynx
committed
feat(KZG): wire the Shoup GGM bound to tSdhExperiment
Ember Arlynx
committed
docs(KZG): cite the GGM and Schwartz-Zippel references
Ember Arlynx
committed
docs(KZG): document the vacuity finding, fix, and both GGM bounds
Ember Arlynx
committed
chore(KZG): register Scratch/KzgVacuity modules in the library import root
emberian
committed