💡 C80 · Bilateral Co-Signed Assumption Sets
concept · shared · knowledge
Bilateral co-signed assumption sets (attested by both, verifiable by anyone, forgeable by neither) yield strict assurance gain in the multi-provider case by making provider–verifier distance non-unilaterally-rewritable. Active (35%).
Edges in
- Bakhta · Safety by Design (StarkWare 2026) references →