Docs.rs
  • snark-verifier-sdk-0.2.3
    • snark-verifier-sdk 0.2.3
    • Permalink
    • Docs.rs crate page
    • MIT
    • Links
    • Repository
    • crates.io
    • Source
    • Owners
    • jonathanpwang
    • Dependencies
      • ark-std ^0.3.0 normal optional
      • bincode ^1.3.3 normal
      • ethereum-types =0.14.1 normal optional
      • getset ^0.1.2 normal
      • halo2-base =0.5.0 normal
      • hex ^0.4 normal
      • itertools ^0.11 normal
      • lazy_static ^1.4.0 normal
      • num-bigint ^0.4.3 normal
      • num-integer ^0.1.45 normal
      • num-traits ^0.2.15 normal
      • rand ^0.8 normal
      • rand_chacha ^0.3.1 normal
      • serde ^1.0 normal
      • serde_json ^1.0 normal
      • serde_with ^2.2 normal optional
      • snark-verifier =0.2.3 normal
      • ark-std ^0.3.0 dev
      • criterion ^0.5.1 dev
      • criterion-macro ^0.4 dev
      • crossterm ^0.25 dev
      • paste ^1.0.7 dev
      • pprof ^0.13 dev
      • ratatui ^0.24 dev
    • Versions
    • 41.23% of the crate is documented
  • Platform
    • i686-unknown-linux-gnu
    • 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

snark_verifier_sdk0.2.3

Crate Items

  • Structs
  • Enums
  • Constants
  • Traits
  • Functions
  • Type Aliases

List of all items

Structs

  • NativeLoader
  • Snark
  • halo2::OptimizedPoseidonSpec
  • halo2::POSEIDON_SPEC
  • halo2::aggregation::AggregationCircuit
  • halo2::aggregation::AggregationConfigParams
  • halo2::aggregation::PreprocessedAndDomainAsWitness
  • halo2::aggregation::SnarkAggregationOutput
  • halo2::aggregation::SnarkAggregationWitness
  • halo2::utils::AggregationDependencyIntent
  • halo2::utils::AggregationDependencyIntentOwned

Enums

  • halo2::aggregation::AssignedTranscriptObject
  • halo2::aggregation::VerifierUniversality

Traits

  • CircuitExt
  • evm::EvmKzgAccumulationScheme
  • halo2::NativeKzgAccumulationScheme
  • halo2::aggregation::AccumulationSchemeSDK
  • halo2::utils::KeygenAggregationCircuitIntent

Functions

  • evm::encode_calldata
  • evm::gen_evm_proof
  • evm::gen_evm_proof_gwc
  • evm::gen_evm_proof_shplonk
  • evm::gen_evm_verifier
  • evm::gen_evm_verifier_gwc
  • evm::gen_evm_verifier_shplonk
  • evm::gen_evm_verifier_sol_code
  • evm::write_calldata
  • gen_pk
  • halo2::aggregation::aggregate
  • halo2::aggregation::aggregate_snarks
  • halo2::aggregation::load_verify_circuit_degree
  • halo2::gen_dummy_snark
  • halo2::gen_dummy_snark_from_protocol
  • halo2::gen_dummy_snark_from_vk
  • halo2::gen_proof
  • halo2::gen_proof_gwc
  • halo2::gen_proof_shplonk
  • halo2::gen_snark
  • halo2::gen_snark_gwc
  • halo2::gen_snark_shplonk
  • halo2::read_snark
  • read_instances
  • read_pk
  • read_pk_with_capacity
  • write_instances

Type Aliases

  • GWC
  • PlonkSuccinctVerifier
  • PlonkVerifier
  • SHPLONK
  • halo2::PoseidonTranscript
  • halo2::aggregation::BaseFieldEccChip
  • halo2::aggregation::Halo2Loader
  • halo2::aggregation::Svk

Constants

  • BITS
  • LIMBS