Repository navigation

feat(interactive): public-coin interactive reductions and sequential composition - #701

Merged

SamuelSchlesinger merged 7 commits into

mainfrom

feat/interactive-core-643

Oct 24, 2026

Merged

feat(interactive): public-coin interactive reductions and sequential composition#701
SamuelSchlesinger merged 7 commits into
mainfrom
feat/interactive-core-643

Commits on Oct 24, 2026
- doc(bib): add Ben-Sasson–Chiesa–Spooner 2016 and Canetti et al. 2019
  
  SamuelSchlesinger
  and
  claude
  committed
  5575711
- feat(interactive): public-coin interactive reductions and sequential composition
  
  SamuelSchlesinger
  and
  claude
  committed
  d7d9d2a
- doc(roadmap): record the interactive-reduction core and its open items
  
  SamuelSchlesinger
  and
  claude
  committed
  52fa95d
- refactor(interactive): plain-world knowledge soundness and HVZK; per-stage iteration
  
  SamuelSchlesinger
  and
  claude
  committed
  f824859
- style(interactive): replace a non-terminal simp by simp only
  
  SamuelSchlesinger
  and
  claude
  committed
  a116754
- refactor(interactive): use the shared sum of oracle interfaces (#732)
  
  SamuelSchlesinger
  and
  claude
  committed
  6474265
- chore(interactive): import the split PMF modules (#693)
  
  SamuelSchlesinger
  and
  claude
  committed
  42f1425