Open sragss opened 2 months ago
Advanced
let input = [5u8; 32]; let iters = 100; let (program, preprocessing) = guest::preprocess_sha2_chain(); let (output, proof) = guest::prove_sha2_chain(program, preprocessing, input, iters); let verify_result = RV32IJoltVM::verify(preprocessing, proof.proof, proof.commitments);
Advanced