hyle_risc0_recursion/
lib.rs

1#![no_std]
2
3#[cfg(feature = "client")]
4pub mod metadata {
5    pub const RISC0_RECURSION_ELF: &[u8] = include_bytes!("../risc0-recursion.img");
6    pub const PROGRAM_ID: [u8; 32] = sdk::str_to_u8(include_str!("../risc0-recursion.txt"));
7}
8
9extern crate alloc;
10
11#[cfg(feature = "client")]
12pub mod client;
13
14use alloc::vec::Vec;
15
16#[derive(Clone, serde::Serialize, serde::Deserialize)]
17pub struct ProofInput {
18    pub image_id: [u8; 32],
19    pub journal: Vec<u8>, // Should be a serde::to_vec<sdk::HyleOutput>,
20}
21
22pub type Risc0ProgramId = [u8; 32];
23pub type Risc0Journal = Vec<u8>;