Module halo2

Help

Modules§

OptimizedPoseidonSpec: OptimizedPoseidonSpec holds construction parameters as well as constants that are used in permutation step.
POSEIDON_SPEC

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.