List of all items
Structs
- Symbol
- circuit::gadgets::pointer::AllocatedContPtr
- circuit::gadgets::pointer::AllocatedPtr
- config::ParallelConfig
- config::PerfConfig
- config::Settings
- config::WitnessGeneration
- coprocessor::circom::non_wasm::CircomCoprocessor
- coprocessor::sha256::Sha256Coprocessor
- coprocessor::trie::InsertCoprocessor
- coprocessor::trie::InsertProof
- coprocessor::trie::LookupCoprocessor
- coprocessor::trie::LookupProof
- coprocessor::trie::NewCoprocessor
- coprocessor::trie::Trie
- coroutine::memoset::CircuitScope
- coroutine::memoset::CircuitTranscript
- coroutine::memoset::CoroutineCircuit
- coroutine::memoset::LogMemo
- coroutine::memoset::LogMemoCircuit
- coroutine::memoset::Scope
- coroutine::memoset::Transcript
- eval::Frame
- eval::lang::Binding
- eval::lang::DummyCoprocessor
- eval::lang::Lang
- field::FWrap
- lem::Block
- lem::Func
- lem::Var
- lem::circuit::GlobalAllocator
- lem::circuit::SlotWitness
- lem::circuit::SlotsAllocations
- lem::eval::EvalConfig
- lem::multiframe::MultiFrame
- lem::pointers::Ptr
- lem::store::Store
- parser::error::ParseError
- proof::nova::NovaProver
- proof::nova::PublicParams
- proof::supernova::PublicParams
- proof::supernova::SuperNovaProver
- public_parameters::instance::Instance
- public_parameters::instance::Metadata
- state::State
- z_data::z_ptr::ZPtr
- z_data::z_store::ZStore
Enums
- Num
- UInt
- config::Flow
- coprocessor::sha256::Sha256Coproc
- coprocessor::trie::Error
- coprocessor::trie::TrieCoproc
- error::ProofError
- error::ReductionError
- eval::lang::Coproc
- field::LanguageField
- lem::Ctrl
- lem::Lit
- lem::Op
- lem::circuit::AllocatedVal
- lem::pointers::RawPtr
- lem::tag::Tag
- parser::Error
- parser::base::LitBase
- parser::error::ParseErrorKind
- parser::position::Pos
- parser::string::StringFragment
- proof::FoldingMode
- proof::nova::Proof
- proof::supernova::FoldingConfig
- proof::supernova::Proof
- public_parameters::instance::Kind
- z_data::ZData
- z_data::z_cont::ZCont
- z_data::z_expr::ZExpr
Traits
- circuit::gadgets::circom::CircomGadget
- coprocessor::CoCircuit
- coprocessor::Coprocessor
- coroutine::memoset::CircuitMemoSet
- coroutine::memoset::CircuitQuery
- coroutine::memoset::MemoSet
- coroutine::memoset::Query
- field::LurkField
- proof::CEKState
- proof::EvaluationStore
- proof::FrameLike
- proof::Provable
- proof::Prover
- proof::RecursiveSNARKTrait
- proof::nova::CurveCycleEquipped
Macros
Functions
- circuit::gadgets::constraints::alloc_equal
- cli::parse_and_run
- cli::paths::lurk_default_dir
- config::home_dir
- config::lurk_config
- config::lurk_config_file
- config::public_params_default_dir
- coprocessor::gadgets::a_ptr_as_z_ptr
- coprocessor::gadgets::chain_car_cdr
- coprocessor::trie::install
- lem::circuit::build_slots_allocations
- lem::eval::eval_step
- lem::eval::evaluate
- lem::eval::evaluate_simple
- lem::eval::evaluate_simple_with_env
- lem::eval::evaluate_with_env
- lem::eval::evaluate_with_env_and_cont
- lem::eval::make_cprocs_funcs_from_lang
- lem::eval::make_eval_step_from_config
- parser::base::parse_bin_digits
- parser::base::parse_dec_digits
- parser::base::parse_hex_digits
- parser::base::parse_litbase_be_bytes
- parser::base::parse_litbase_code
- parser::base::parse_litbase_digits
- parser::base::parse_litbase_le_bytes
- parser::base::parse_oct_digits
- parser::error::map_parse_err
- parser::string::parse_escaped_char
- parser::string::parse_escaped_whitespace
- parser::string::parse_fragment
- parser::string::parse_literal
- parser::string::parse_string
- parser::string::parse_string_inner
- parser::string::parse_string_inner1
- parser::string::parse_unicode
- parser::syntax::parse_absolute_symbol
- parser::syntax::parse_char
- parser::syntax::parse_hash_char
- parser::syntax::parse_line_comment
- parser::syntax::parse_list
- parser::syntax::parse_maybe_meta
- parser::syntax::parse_num
- parser::syntax::parse_num_inner
- parser::syntax::parse_quote
- parser::syntax::parse_raw_keyword
- parser::syntax::parse_raw_symbol
- parser::syntax::parse_relative_symbol
- parser::syntax::parse_space
- parser::syntax::parse_space1
- parser::syntax::parse_string
- parser::syntax::parse_symbol
- parser::syntax::parse_symbol_limb
- parser::syntax::parse_symbol_limb_raw
- parser::syntax::parse_symbol_limbs
- parser::syntax::parse_syntax
- parser::syntax::parse_uint
- proof::nova::circuit_cache_key
- proof::nova::circuits
- proof::nova::public_params
- proof::supernova::circuit_cache_key
- proof::supernova::circuit_cache_keys
- proof::supernova::public_params
- public_parameters::public_params
- public_parameters::supernova_aux_params
- public_parameters::supernova_circuit_params
- public_parameters::supernova_public_params
- state::initial_lurk_state
- state::lurk_sym
- state::meta_package_symbol
- state::user_sym
- z_data::from_z_data
- z_data::to_z_data
Type Aliases
- coprocessor::trie::ChildMap
- coprocessor::trie::HashPreimagePath
- coprocessor::trie::PreimagePath
- coprocessor::trie::StandardTrie
- lem::AString
- lem::pointers::ZPtr
- parser::ParseResult
- parser::Span
- proof::nova::C1LEM
- proof::nova::C2
- proof::nova::Dual
- proof::nova::E1
- proof::nova::EE1
- proof::nova::EE2
- proof::nova::NovaCircuitShape
- proof::nova::NovaPublicParams
- proof::nova::SS1
- proof::nova::SS2
- proof::supernova::C2
- proof::supernova::EE1
- proof::supernova::EE2
- proof::supernova::SS1
- proof::supernova::SS2
- proof::supernova::SuperNovaAuxParams
- proof::supernova::SuperNovaPublicParams
- z_data::z_ptr::ZContPtr
- z_data::z_ptr::ZExprPtr