Crate
openvm_continuations
openvm_
continuations
1.0.0-rc.2
All Items
Crate Items
Modules
Type Aliases
Crates
app_prover
cargo_openvm
openvm
openvm_algebra_circuit
openvm_algebra_complex_macros
openvm_algebra_guest
openvm_algebra_moduli_macros
openvm_algebra_transpiler
openvm_bigint_circuit
openvm_bigint_guest
openvm_bigint_transpiler
openvm_build
openvm_circuit
openvm_circuit_derive
openvm_circuit_primitives
openvm_circuit_primitives_derive
openvm_continuations
openvm_custom_insn
openvm_ecc_circuit
openvm_ecc_guest
openvm_ecc_sw_macros
openvm_ecc_transpiler
openvm_instructions
openvm_instructions_derive
openvm_keccak256_circuit
openvm_keccak256_guest
openvm_keccak256_transpiler
openvm_macros_common
openvm_mod_circuit_builder
openvm_native_circuit
openvm_native_compiler
openvm_native_compiler_derive
openvm_native_recursion
openvm_native_transpiler
openvm_pairing_circuit
openvm_pairing_guest
openvm_pairing_transpiler
openvm_platform
openvm_poseidon2_air
openvm_prof
openvm_rv32_adapters
openvm_rv32im_circuit
openvm_rv32im_guest
openvm_rv32im_transpiler
openvm_sdk
openvm_sha256_air
openvm_sha256_circuit
openvm_sha256_guest
openvm_sha256_transpiler
openvm_transpiler
program_executor
Crate
openvm_continuations
Copy item path
Settings
Help
Summary
Source
Modules
§
static_
verifier
verifier
The eDSL programs used for OpenVM continuations, using STARK aggregation.
Type Aliases
§
C
F
RootSC
SC