JAR: Join-Accumulate Refine

16.4. Block Encoding🔗

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

Encode an EpochMarker. GP#514: variable-length validators when variableValidators.

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

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

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

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

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

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

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

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