Function put_opt_addr

crates/ixon/src/proof.rs:951–959

Helper: write an `Option ` as `[0x00]` (None) or `[0x01][addr:32]` (Some). Single byte for absence avoids a 33-byte gap when assumptions are absent.

(opt: &Option<Address>, buf: &mut Vec<u8>)

fn validator_for_variant(variant: u64) -> u8 {
  match variant {
    VARIANT_REVEAL_CLAIM | VARIANT_CONTAINS_CLAIM => 0,
    VARIANT_RESOURCE_CLAIM => 2,
    _ => 1,
  }
}
fn put_scope(validator: u8, buf: &mut Vec<u8>) {
  buf.extend_from_slice(&[3, validator]);
}
fn get_scope(validator: u8, buf: &mut &[u8]) -> Result<(), String> {
  if get_u8(buf)? != 3 {
    return Err("claim: unsupported object format".into());