Skip to content

feat(circuit/frontier): native tapered recovery computes recoverFromValues mod 2^p (Lemma D.5) - #1925

Merged
SamuelSchlesinger merged 50 commits into
mainfrom
claude/t2-native-recovery
Oct 31, 2026
Merged

SamuelSchlesinger merged 50 commits into
mainfrom
claude/t2-native-recovery

Commits

  1. Commits on Oct 30, 2026

  2. Commits on Oct 31, 2026