Module zkevm_circuits::root_circuit

The Root circuit implementation.

Re-exports

• pub use self::RootCircuit as TestRootCircuit;

Structs

• AggregationConfig
  Aggregation configuration.
• Config
  Configuration for converting a [VerifyingKey] of [halo2_proofs] into [PlonkProtocol].
• EvmTranscript
  Transcript for verifier on EVM using keccak256 as hasher.
• NativeLoader
  Loader implementation in native rust.
• RootCircuit
  RootCircuit for aggregating SuperCircuit into a much smaller proof.
• Snark
  Snark contains the minimal information for verification
• SnarkWitness
  SnarkWitness
• TestAggregationCircuit
  Aggregation circuit for testing purpose.
• UserChallenge
  UserChallenge

Constants

• BITS
  Number of bits of each decomposed limb.
• LIMBS
  Number of limbs to decompose a elliptic curve base field element into.

Functions

• aggregate
  Aggregate snarks into a single accumulator and decompose it into 4 * LIMBS limbs. Returns None if any given snarks is invalid.
• compile
  Convert a [VerifyingKey] of [halo2_proofs] into [PlonkProtocol].

Type Aliases

• EccChip
  BaseFieldEccChip with hardcoded LIMBS and BITS serving as EccChip for Halo2Loader.
• Gwc
  KZG accumulation scheme with GWC19 multiopen.
• Halo2Loader
  Halo2Loader with hardcoded EccChip.
• KzgDk
  KZG deciding key
• KzgSvk
  KZG succinct verifying key
• PlonkSuccinctVerifier
  Plonk succinct verifier with KzgAs
• PlonkVerifier
  Plonk verifier with KzgAs and LimbsEncoding<LIMBS, BITS>.
• PoseidonTranscript
  PoseidonTranscript with hardcoded parameter with 128-bits security.
• Shplonk
  KZG accumulation scheme with BDFG21 multiopen.