JAR: JAM Axiomatic Reference

11.4. Block Encoding🔗

🔗def
Jar.Codec.encodeEpochMarker (em : Jar.EpochMarker) : ByteArray
Jar.Codec.encodeEpochMarker
  (em : Jar.EpochMarker) : ByteArray

Encode an EpochMarker.

🔗def
Jar.Codec.encodeUnsignedHeader [Jar.JamConfig] (h : Jar.Header) :
  ByteArray
Jar.Codec.encodeUnsignedHeader
  [Jar.JamConfig] (h : Jar.Header) :
  ByteArray

𝓔_U(H) : Unsigned header encoding. GP eq (C.26).

🔗def
Jar.Codec.encodeHeader [Jar.JamConfig] (h : Jar.Header) : ByteArray
Jar.Codec.encodeHeader [Jar.JamConfig]
  (h : Jar.Header) : ByteArray

𝓔(H) : Full header encoding (unsigned + seal). GP eq (C.25).

🔗def
Jar.Codec.encodeExtrinsic [Jar.JamConfig] (e : Jar.Extrinsic) :
  ByteArray
Jar.Codec.encodeExtrinsic [Jar.JamConfig]
  (e : Jar.Extrinsic) : ByteArray

𝓔(E) : Extrinsic encoding. GP §C.4.

🔗def
Jar.Codec.encodeBlock [Jar.JamConfig] (b : Jar.Block) : ByteArray
Jar.Codec.encodeBlock [Jar.JamConfig]
  (b : Jar.Block) : ByteArray

𝓔(B) : Block encoding. GP eq (C.16).