Documentation

FMMidgard.ProofProtocol.Catalogue.Ledger.NativeScriptsAreAvailable

Rule : Native Scripts are Available #

See Midgard Spec Section 5.1.8

Property

The spec claims that it is enough to check that:

Logic Consistency #

Placeholder section.

TODO: Check rule consistency.

source
inductive NativeScriptsAreAvailable.FraudProof.NativeScriptsAreAvailableScript :
Type
    Instances For
      source
      inductive NativeScriptsAreAvailable.FraudProof.NativeScriptsAreAvailable (b : FPData) :
      NativeScriptsAreAvailableScript → Prop
        Instances For