Method put

crates/ixon/src/proof.rs:335–363

Serialize: mask (Tag0) + field values in mask order.

(&self, buf: &mut Vec<u8>)

  buf.push(u8::from(b));
}

fn get_bool_field(buf: &mut &[u8]) -> Result<bool, String> {
  match get_u8(buf)? {
    0 => Ok(false),
    1 => Ok(true),
    x => Err(format!("get_bool_field: invalid {x}")),
  }
}

// ============================================================================
// RevealConstructorInfo serialization
// ============================================================================

impl RevealConstructorInfo {
  /// Serialize: mask (Tag0) + field values in mask order.
  pub fn put(&self, buf: &mut Vec<u8>) {
    let mask = compute_mask(&[
      self.is_unsafe.is_some(),
      self.lvls.is_some(),
      self.cidx.is_some(),
      self.params.is_some(),
      self.fields.is_some(),
      self.typ.is_some(),
    ]);
    Tag0::new(mask).put(buf);
    if let Some(u) = self.is_unsafe {
      put_bool_field(u, buf);
    }
    if let Some(l) = self.lvls {
      Tag0::new(l).put(buf);
    }
    if let Some(c) = self.cidx {