Module utils

Structs

• CacheHalo2ParamsReader
• DK
  TODO: this is also stored in the pinning jsons. We should read it from the pinning if possible. This commits to the trusted setup used to generate all proving keys. This MUST be updated whenever the trusted setup is changed.

Constants

• DEFAULT_PARAMS_DIR

Statics

• KZG_PARAMS_FOR_SVK

Traits

• Halo2ParamsReader

Functions

• sort_chips
  Sort AIRs by their trace height in descending order. This should not be used outside static-verifier because a dynamic verifier should support any AIR order. This is related to an implementation detail of FieldMerkleTreeMMCS which is used in most configs. Reference: https://github.com/Plonky3/Plonky3/blob/27b3127dab047e07145c38143379edec2960b3e1/merkle-tree/src/merkle_tree.rs#L53