Function agg_stdin

zisk/host/src/main.rs:501–524

Build the aggregation-guest stdin: the allowed program-vk set (count + 32-byte vks) the agg guest pins each child against, then the proof blobs (count + `Vec `s). Build the agg guest's stdin. `witness = None` selects mode 0 (legacy join fold). `witness = Some(per-child (subject set, assumption set))` selects mode 1 (set discharge): the guest verifies each list's canonical root against the child

(
  allowed_vks: &[Vec<u8>],
  proofs: &[Vec<u8>],
  witness: Option<&[(Vec<u8>, Vec<u8>)]>,
)

  check_list: &[u8],
) -> ZiskStdin {
  let stdin = ZiskStdin::new();
  let mut range_buf = [0u8; 8];
  range_buf[0..4].copy_from_slice(&start.to_le_bytes());
  range_buf[4..8].copy_from_slice(&end.to_le_bytes());
  stdin.write_slice(&range_buf);
  stdin.write_slice(env_bytes);
  stdin.write_slice(check_list);
  stdin
}

/// Build the aggregation-guest stdin: the allowed program-vk set (count +
/// 32-byte vks) the agg guest pins each child against, then the proof blobs
/// (count + `Vec<u8>`s).
/// Build the agg guest's stdin. `witness = None` selects mode 0 (legacy join
/// fold). `witness = Some(per-child (subject set, assumption set))` selects
/// mode 1 (set discharge): the guest verifies each list's canonical root
/// against the child's committed publics, then discharges assumptions proven
/// by sibling subjects. Witness order must match `proofs` order.
fn agg_stdin(
  allowed_vks: &[Vec<u8>],
  proofs: &[Vec<u8>],
  witness: Option<&[(Vec<u8>, Vec<u8>)]>,
) -> ZiskStdin {
  let stdin = ZiskStdin::new();
  stdin.write(&u32::from(witness.is_some())); // mode
  stdin.write(&(allowed_vks.len() as u32));
  for vk in allowed_vks {