INNER CODE UNIT · Rust
verify
GuildOfWeavers/distaff · src/lib.rs:72
pub fn verify(program_hash: &[u8; 32], public_inputs: &[u128], outputs: &[u128], proof: &StarkProof) -> Result<bool, String>
{
return stark::verify(program_hash, public_inputs, outputs, proof);
}
// GLOBAL CONSTANTS
// ================================================================================================
pub const MAX_CONTEXT_DEPTH : usize = 16;
pub const MAX_LOOP_DEPTH : usize = 8;
const MIN_TRACE_LENGTH : usize = 16;
const MAX_REGISTER_COUNT : usize = 128;
const MIN_EXTENSION_FACTOR : usize = 16;
const BASE_CYCLE_LENGTH : usize = 16;
const MIN_STACK_DEPTH : usize = 8;
const MIN_CONTEXT_DEPTH : usize = 1;
const MIN_LOOP_DEPTH : usize = 1;