snark_verifier_sdk

Module halo2

Source

Modules§

Structs§

Functions§

  • gen_dummy_snark
  • gen_dummy_snark_from_protocol
    Creates a dummy snark in the correct shape corresponding to the given Plonk protocol. This dummy snark will not verify. This snark can be used as a placeholder input into an aggregation circuit expecting a snark with this protocol.
  • gen_dummy_snark_from_vk
    Creates a dummy snark in the correct shape corresponding to the given verifying key. This dummy snark will not verify. This snark can be used as a placeholder input into an aggregation circuit expecting a snark with this verifying key.
  • gen_proof
    Generates a native proof using either SHPLONK or GWC proving method. Uses Poseidon for Fiat-Shamir.
  • gen_proof_gwc
    Generates a native proof using original Plonk (GWC ’19) multi-open scheme. Uses Poseidon for Fiat-Shamir.
  • gen_proof_shplonk
    Generates a native proof using SHPLONK multi-open scheme. Uses Poseidon for Fiat-Shamir.
  • gen_snark
    Generates a SNARK using either SHPLONK or GWC multi-open scheme. Uses Poseidon for Fiat-Shamir.
  • gen_snark_gwc
    Generates a SNARK using GWC multi-open scheme. Uses Poseidon for Fiat-Shamir.
  • gen_snark_shplonk
    Generates a SNARK using SHPLONK multi-open scheme. Uses Poseidon for Fiat-Shamir.
  • read_snark
    Tries to deserialize a SNARK from the specified path using bincode.

Type Aliases§

Trait Aliases§