Docs.rs
risc0-circuit-bigint-1.1.4
risc0-circuit-bigint 1.1.4
Permalink
Docs.rs crate page
Apache-2.0
Links
Homepage
Repository
crates.io
Source
Owners
flaub
github:risc0:maintainers
Dependencies
anyhow ^1.0
normal
bytemuck ^1.16.1
normal
hex ^0.4
normal
num-bigint ^0.4
normal
num-integer ^0.1
normal
num-traits ^0.2
normal
paste ^1.0
normal
risc0-binfmt ^1.1.4
normal
risc0-circuit-recursion ~1.1.4
normal
risc0-core ^1.1.4
normal
risc0-zkp ~1.1.4
normal
risc0-zkvm ^1.1.4
normal
risc0-zkvm-platform ^1.1.4
normal
tracing ^0.1.40
normal
zip ^2.0
normal
num-bigint ^0.4
dev
pretty_assertions ^1.4
dev
test-log ^0.2
dev
Versions
7.69%
of the crate is documented
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
Crate
risc0_circuit_bigint
risc0_
circuit_
bigint
1.1.4
All Items
Crate Items
Modules
Macros
Structs
Constants
Functions
Crates
risc0_circuit_bigint
Crate
risc0_circuit_bigint
Copy item path
Settings
Help
Summary
Source
Modules
§
byte_
poly
rsa
zkr
Macros
§
bigint_
const
bigint_
program_
info
bigint_
program_
list
bigint_
witness_
info
Structs
§
BigInt
Claim
BigInt
Context
BigInt
Program
Witness
Info
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.