Method commitment

crates/aiur/src/vk_codec.rs:174–181

(&mut self, c: &Commitment)

  push_u16(buf, circuit.max_constraint_degree);
  // The lookup group size is a free per-circuit choice (it changes the
  // constraint structure, not just counts), so it must be serialized.
  buf
    .push(u8::try_from(circuit.lookup_group_size).expect("group size fits u8"));
  push_u16(buf, compiled.nodes.len());
  for node in &compiled.nodes {
    push_node(buf, node);
  }
  push_u16(buf, compiled.zeros.len());
  for &z in &compiled.zeros {
    push_node_id(buf, z);
  }