Proof obligation · P-C1
Systems game, no cryptographic theorem
classical_h0_bearer · none
- Status
- UNSUPPORTEDNo theorem or evidence supports this obligation yet.
- Game
- C1
- Anchor
- —
- Source file
- proofs/OBLIGATIONS.yaml
Source and theorem
Systems game, no cryptographic theorem: concrete double-spend trace without synchronisation; coordinator prevents it at modelled communication cost.
Record
Every field of the source record, in file order.
- Protocolprotocol
classical_h0_bearer
- Gamegame
C1
- Sourcesource
none
- Assumptionsassumptions
- Lane H/G models
- Finite n or asymptoticfinite_n_or_asymptotic
n/a
- Quantifier over adversariesquantifier_over_adversaries
n/a (constructive attack trace)
- Mathematical boundmathematical_bound
none
- Numerical methodnumerical_method
discrete-event simulation
- Verification scriptverification_script
pending lane H
- Independent crosscheckindependent_crosscheck
pending
- Caveatscaveats
- Never report an epsilon for C1 from this registry.
- Statusstatus
UNSUPPORTED