Crate risc0_circuit_rv32im 

Modules

trace

Structs

CircuitImpl

HighLowU16

Rv32imV2Claim

TerminateState

Constants

MAX_INSN_CYCLES

This number was picked by running bigint2-analyze on all the current bigint programs

MAX_INSN_CYCLES_LOWER_PO2

This is a smaller number used by lower po2’s < 15 which can’t fit a large bigint program.

RV32IM_SEAL_VERSION

Functions

decode_povw_nonce

Decodes a PoVW nonce from a segment seal.

verify