Crate risc0_circuit_rv32imCopy item path

Modules§

execute

prove

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§

verify