💡 C81 · Existence-Leak
concept · shared · knowledge
A ZK proof of feasibility leaks an upper bound on reconstruction difficulty; I(feasibility; method) > 0, measured in the wild. Active (70% · PROMOTED Run 3: Schrottenloher 2026-06-02 instance + Garg-Jain-Sahai impossibility as bookends).
Edges out
- relates_to → C84 · Existence-Leak Discount
Edges in
- C92 · Tarski ↔ Φ_inference relates_to →
- C93 · Content-Addressed Liveness Leak relates_to →
- Overlap Note · Key-Forging × V6 references →