Documentation

FMMidgard.ProofProtocol.Catalogue.Ledger.EverySignatureIsProvided

Rule : Every Signature is Provided #

See Midgard Spec Section 5.1.7

Property

The spec claims that it is enough to check that:

Logic Consistency #

Placeholder section.

TODO: Check rule consistency.

source
inductive EverySignatureIsProvided.FraudProof.EverySignatureIsProvidedScript :
Type
    Instances For
      source
      inductive EverySignatureIsProvided.FraudProof.EverySignatureIsProvided (b : FPData) :
      EverySignatureIsProvidedScript → Prop
        Instances For