[−][src]Module reverie::online
Re-exports
pub use prover::StreamingProver; |
pub use verifier::StreamingVerifier; |
Modules
| prover | |
| verifier |
Structs
| Chunk | |
| Output | This struct ensures that the user can only get access to the output (private field) by validating the online execution against a correctly validated and matching pre-processing execution. |
| Proof | Online execution "proof header" |
| Run |