Function proof_tag

crates/ixon/src/proof.rs:1647–1651

(proof: &Proof)

    let proof = Proof::new(
      Claim::Contains {
        tree: Address::hash(b"tree-root"),
        const_addr: Address::hash(b"member"),
      },
      vec![0xDE, 0xAD, 0xBE, 0xEF],
    );
    assert!(proof_roundtrip(&proof));
  }