Security and verification
ZK proofs.
AIRs, wire format, and the generic
verify_proof_envelope dispatcher.- STATUS
- Testnet
- CRATE
- tenzro-zk
- STABILITY
- Stable
- REFERENCE
- Plonky3
01
Wire format
Proof {
proof_bytes: bincode(p3_uni_stark::Proof),
public_inputs: Vec<Vec<u8>>, // 4-byte LE field chunks
proof_type: Plonky3,
circuit_id: "inference" | "settlement" | "identity",
}02
Commitment hash
compute_zk_commitment(proof) =
SHA-256(
circuit_id ‖
proof_bytes ‖
Σ(len_le(pi) ‖ pi)
)03
Generate and verify
tenzro zk prove --circuit-id inference --inputs input.json
tenzro zk verify --proof-type plonky3 --proof proof.jsonRelated