Skip to content

feat(circuit/frontier): native child networks and the correctness of one native call (Theorem D.1, T2.9) - #1967

Closed
SamuelSchlesinger wants to merge 12 commits into
claude/t2-assemblyfrom
claude/t2-native-child
Closed

feat(circuit/frontier): native child networks and the correctness of one native call (Theorem D.1, T2.9)#1967
SamuelSchlesinger wants to merge 12 commits into
claude/t2-assemblyfrom
claude/t2-native-child

Commits

  1. Commits on Oct 31, 2026