Crate risc0_circuit_bigint

Source

Modules§

byte_poly
rsa
zkr

Macros§

bigint_const
bigint_program_info
bigint_program_list
bigint_witness_info

Structs§

BigIntClaim
BigIntContext
BigIntProgram
WitnessInfo
Information about a big integer included in a bigint witness.

Constants§

BIGINT_PO2
PROGRAMS

Functions§

prove
verify
Verifies the given BigIntClaim. Prefer using a recursion predicate such as “resolve” over verifying the receipt directly.