| 4 | use risc0_zkvm::guest::env::{self}; |
| 5 | |
| 6 | pub trait ZkvmGuest { |
| 7 | fn read_from_host<T: borsh::BorshDeserialize>(&self) -> T; |
| 8 | fn commit<T: borsh::BorshSerialize>(&self, item: &T); |
| 9 | fn verify<T: borsh::BorshSerialize>(&self, method_id: [u32; 8], journal: &T); |
| 10 | } |
| 11 | |
| 12 | #[derive(Debug, Clone)] |
| 13 | pub struct Proof { |
nothing calls this directly
no outgoing calls
no test coverage detected