JAR: JAM Axiomatic Reference

13.3. Segment Operations🔗

🔗def
Jar.Erasure.split (data : ByteArray) (k n : Nat) : Array ByteArray
Jar.Erasure.split (data : ByteArray)
  (k n : Nat) : Array ByteArray

Split a blob into k sub-sequences of n octets each.

🔗def
Jar.Erasure.join (chunks : Array ByteArray) : ByteArray
Jar.Erasure.join
  (chunks : Array ByteArray) : ByteArray

Join k sub-sequences into a single blob.

🔗def
Jar.Erasure.erasureCodeSegment [Jar.JamConfig] (segment : ByteArray) :
  Array ByteArray
Jar.Erasure.erasureCodeSegment
  [Jar.JamConfig] (segment : ByteArray) :
  Array ByteArray

Erasure-code a segment (4104 bytes = W_G) with k=6 parallelism. GP §14: segments are W_G = 4104 bytes, encoded with k=6.

🔗def
Jar.Erasure.recoverSegment [Jar.JamConfig]
  (chunks : Array (ByteArray × Nat)) : Option ByteArray
Jar.Erasure.recoverSegment [Jar.JamConfig]
  (chunks : Array (ByteArray × Nat)) :
  Option ByteArray

Recover a segment from validator chunks.