| 16 | } |
| 17 | |
| 18 | pub trait ZkvmHost { |
| 19 | // Adding data to the host |
| 20 | fn write<T: borsh::BorshSerialize>(&self, value: &T); |
| 21 | |
| 22 | fn add_assumption(&self, proof: Proof); |
| 23 | |
| 24 | // Proves with the given data |
| 25 | fn prove(&self, elf: &[u32]) -> Proof; |
| 26 | } |
| 27 | |
| 28 | #[derive(Debug, Clone)] |
| 29 | pub struct Risc0Guest; |
nothing calls this directly
no outgoing calls
no test coverage detected