Module kimchi::precomputed_srs

To prover and verify proofs you need a Structured Reference String (SRS). The generation of this SRS is quite expensive, so we provide a pre-generated SRS in this repo. Specifically, two of them, one for each pasta curve.

We generate the SRS within the test in this module. If you modify the SRS, you will need to regenerate the SRS by passing the SRS_OVERWRITE env var.

Constants

• SERIALIZED_SRS_SIZE
  The size of the SRS that we serialize.

Functions

• get_srs
  Obtains an SRS for a specific curve from disk. Panics if the SRS does not exists.