Module halo2_backend::plonk::keygen

source ·
Expand description

This module

  • creates the proving and verifying keys for a circuit
  • crates a domain, constraint system, and configuration for a circuit

Functions§

  • keygen_pk
    Generate a ProvingKey from a VerifyingKey and an instance of CompiledCircuit.
  • keygen_vk
    Generate a VerifyingKey from an instance of CompiledCircuit.