JAR: Join-Accumulate Refine

16. Serialization Codec🔗

Binary encoding of protocol types for hashing and network transmission (GP Appendix C). All encodings are little-endian.

jar1 uses a distinct codec (Codec.Jar1) that replaces JAM's variable-length natural encoding with fixed u32 little-endian count prefixes throughout. This simplifies parsing and produces deterministic-length encodings for all collection types.

  1. 16.1. Primitive Encoders
  2. 16.2. Work Types
  3. 16.3. Extrinsic Encoders
  4. 16.4. Block Encoding
  5. 16.5. Decoder Monad
  6. 16.6. Primitive Decoders
  7. 16.7. Type-Specific Decoders
  8. 16.8. Block Decoding
  9. 16.9. jar1 Codec