Skip to content

feat(circuit/frontier): the native packet evaluator in time exp(O(L log s)) and polynomial space (Theorem D.1, T2.9) - #1944

Merged
SamuelSchlesinger merged 55 commits into
mainfrom
claude/t2-packet-terms
Oct 31, 2026
Merged

feat(circuit/frontier): the native packet evaluator in time exp(O(L log s)) and polynomial space (Theorem D.1, T2.9)#1944
SamuelSchlesinger merged 55 commits into
mainfrom
claude/t2-packet-terms

Commits

  1. Commits on Oct 30, 2026

  2. Commits on Oct 31, 2026