Repository navigation

feat(Crypto, Interactive): efficient extractors and simulators - #1893

Merged

SamuelSchlesinger merged 2 commits into

mainfrom

claude/zk-efficiency-643

Oct 31, 2026

Merged

feat(Crypto, Interactive): efficient extractors and simulators#1893
SamuelSchlesinger merged 2 commits into
mainfrom
claude/zk-efficiency-643

Commits on Oct 31, 2026
- feat(Crypto/SigmaProtocol): efficient special soundness and special HVZK (#643)
  
  SamuelSchlesinger
  and
  claude
  committed
  8fcbefb
- feat(Interactive): efficient knowledge soundness and HVZK (#643)
  
  SamuelSchlesinger
  and
  claude
  committed
  2944a32