pub type Proof = [u8; 32];