Method verify

header-chain/src/zkvm.rs:51–53

(&self, method_id: [u32; 8], output: &T)

    }

    fn verify<T: borsh::BorshSerialize>(&self, method_id: [u32; 8], output: &T) {
        env::verify(method_id, &borsh::to_vec(output).unwrap()).unwrap();
    }
}