💡 C79 · Recursive Proof Composition (Shared Frontier)
concept · shared · knowledge
The shared technical frontier: recursive proof composition across providers under heterogeneous trust at runtime (Bakhta §6 = PVM's hardest open item). Active (45% · V6 Run 5 IVC adjacency).
Edges in
- Bakhta · Safety by Design (StarkWare 2026) references →