List of all items

Structs

• ApiClient
• ApiServer
• Assumption
• Assumptions
• BonsaiProver
• Bytes
• CompositeReceipt
• CompositeReceiptVerifierParameters
• ExecutorEnv
• ExecutorEnvBuilder
• ExecutorImpl
• ExternalProver
• FakeReceipt
• FileSegmentRef
• Groth16ProofJson
• Groth16Receipt
• Groth16ReceiptVerifierParameters
• Groth16Seal
• HalPair
• Input
• InvalidExitCodeError
• Journal
• Loader
• LocalProver
• NullSegmentRef
• Output
• ProveInfo
• ProveKeccakRequest
• ProveKeccakResponse
• ProveZkrRequest
• ProverOpts
• PrunedValueError
• Receipt
• ReceiptClaim
• ReceiptMetadata
• RedisParams
• Segment
• SegmentInfo
• SegmentReceipt
• SegmentReceiptVerifierParameters
• Session
• SessionInfo
• SessionStats
• SimpleSegmentRef
• SuccinctReceipt
• SuccinctReceiptVerifierParameters
• SystemState
• VerifierContext
• guest::env::FdReader
• guest::env::FdWriter
• guest::sha::Block
• guest::sha::Impl
• guest::sha::Sha256HashSuite
• guest::sha::cpu::Impl
• guest::sha::guest::Impl
• guest::sha::rust_crypto::Sha256VarCore
• recursion::MerkleGroup
• recursion::MerkleProof
• recursion::Program
• recursion::Prover
• serde::Deserializer
• serde::Serializer
• sha::Block
• sha::Digest
• sha::Impl

Enums

• Asset
• AssetRequest
• AssumptionReceipt
• ExitCode
• InnerAssumptionReceipt
• InnerReceipt
• MaybePruned
• ReceiptKind
• TraceEvent
• Unknown
• guest::env::VerifyIntegrityError
• serde::Error

Traits

• Connector
• CoprocessorCallback
• Executor
• KeccakCoprocessorCallback
• Prover
• ProverServer
• SegmentRef
• SessionEvents
• TraceCallback
• guest::env::Read
• guest::env::Write
• guest::sha::Sha256
• guest::sha::rust_crypto::Digest
• serde::WordRead
• serde::WordWrite
• sha::Digestible
• sha::Sha256
• sha::rust_crypto::Digest

Macros

• declare_syscall
• entry
• guest::entry

Functions

• align_up
• compute_image_id
• default_executor
• default_prover
• get_prover_server
• get_version
• guest::abort
• guest::env::commit
• guest::env::commit_slice
• guest::env::cycle_count
• guest::env::exit
• guest::env::input_digest
• guest::env::journal
• guest::env::keccak_digest
• guest::env::log
• guest::env::pause
• guest::env::read
• guest::env::read_buffered
• guest::env::read_frame
• guest::env::read_framed
• guest::env::read_slice
• guest::env::run_unconstrained
• guest::env::send_recv_slice
• guest::env::stderr
• guest::env::stdin
• guest::env::stdout
• guest::env::syscall
• guest::env::verify
• guest::env::verify_assumption
• guest::env::verify_integrity
• guest::env::write
• guest::env::write_slice
• guest::memory_barrier
• guest::sha::testutil::test_sha_impl
• is_dev_mode
• prove_zkr
• recursion::identity_p254
• recursion::join
• recursion::lift
• recursion::poseidon254_hal_pair
• recursion::poseidon2_hal_pair
• recursion::resolve
• recursion::sha256_hal_pair
• register_zkr
• seal_to_json
• serde::from_slice
• serde::to_vec
• serde::to_vec_with_capacity
• stark_to_snark

Type Aliases

• Result
• guest::sha::rust_crypto::Output
• guest::sha::rust_crypto::Sha256
• serde::Result
• sha::rust_crypto::Output
• sha::rust_crypto::Sha256

Statics

• guest::env::KECCAK_BATCHER
• guest::sha::SHA256_INIT
• sha::SHA256_INIT

Constants

• ALLOWED_CONTROL_IDS
• ALLOWED_CONTROL_ROOT
• DEFAULT_MAX_PO2
• GUEST_MAX_MEM
• PAGE_SIZE
• POSEIDON2_CONTROL_IDS
• RECURSION_PO2
• VERSION
• guest::sha::BLOCK_BYTES
• guest::sha::BLOCK_WORDS
• guest::sha::WORD_SIZE
• recursion::ALLOWED_CONTROL_IDS
• recursion::ALLOWED_CONTROL_ROOT
• recursion::RECURSION_PO2
• sha::BLOCK_BYTES
• sha::BLOCK_WORDS
• sha::DIGEST_BYTES
• sha::DIGEST_SHORTS
• sha::DIGEST_WORDS
• sha::WORD_SIZE