/halo2-kzg-srs

Primary LanguageRust

Halo2 KZG SRS

A tool to convert KZG SRS in other formats to pse/halo2 format.

Currently supported and WIP formats are:

Download the converted SRS

Since the conversion of large SRS takes much time to run, here are the converted SRS downloadable directly. There are also simple tests ran in CI to validate these converted SRS are well formed (same ration testing with the source).

Note that pse/halo2 has been updated to read/write in raw format by default since PR#111.

Curve Source K File in canonical format File in raw format
bn254 perpetual-powers-of-tau 1 perpetual-powers-of-tau-1 perpetual-powers-of-tau-raw-1
bn254 perpetual-powers-of-tau 2 perpetual-powers-of-tau-2 perpetual-powers-of-tau-raw-2
bn254 perpetual-powers-of-tau 3 perpetual-powers-of-tau-3 perpetual-powers-of-tau-raw-3
bn254 perpetual-powers-of-tau 4 perpetual-powers-of-tau-4 perpetual-powers-of-tau-raw-4
bn254 perpetual-powers-of-tau 5 perpetual-powers-of-tau-5 perpetual-powers-of-tau-raw-5
bn254 perpetual-powers-of-tau 6 perpetual-powers-of-tau-6 perpetual-powers-of-tau-raw-6
bn254 perpetual-powers-of-tau 7 perpetual-powers-of-tau-7 perpetual-powers-of-tau-raw-7
bn254 perpetual-powers-of-tau 8 perpetual-powers-of-tau-8 perpetual-powers-of-tau-raw-8
bn254 perpetual-powers-of-tau 9 perpetual-powers-of-tau-9 perpetual-powers-of-tau-raw-9
bn254 perpetual-powers-of-tau 10 perpetual-powers-of-tau-10 perpetual-powers-of-tau-raw-10
bn254 perpetual-powers-of-tau 11 perpetual-powers-of-tau-11 perpetual-powers-of-tau-raw-11
bn254 perpetual-powers-of-tau 12 perpetual-powers-of-tau-12 perpetual-powers-of-tau-raw-12
bn254 perpetual-powers-of-tau 13 perpetual-powers-of-tau-13 perpetual-powers-of-tau-raw-13
bn254 perpetual-powers-of-tau 14 perpetual-powers-of-tau-14 perpetual-powers-of-tau-raw-14
bn254 perpetual-powers-of-tau 15 perpetual-powers-of-tau-15 perpetual-powers-of-tau-raw-15
bn254 perpetual-powers-of-tau 16 perpetual-powers-of-tau-16 perpetual-powers-of-tau-raw-16
bn254 perpetual-powers-of-tau 17 perpetual-powers-of-tau-17 perpetual-powers-of-tau-raw-17
bn254 perpetual-powers-of-tau 18 perpetual-powers-of-tau-18 perpetual-powers-of-tau-raw-18
bn254 perpetual-powers-of-tau 19 perpetual-powers-of-tau-19 perpetual-powers-of-tau-raw-19
bn254 perpetual-powers-of-tau 20 perpetual-powers-of-tau-20 perpetual-powers-of-tau-raw-20
bn254 perpetual-powers-of-tau 21 perpetual-powers-of-tau-21 perpetual-powers-of-tau-raw-21
bn254 perpetual-powers-of-tau 22 perpetual-powers-of-tau-22 perpetual-powers-of-tau-raw-22
bn254 perpetual-powers-of-tau 23 perpetual-powers-of-tau-23 perpetual-powers-of-tau-raw-23
bn254 perpetual-powers-of-tau 24 perpetual-powers-of-tau-24 perpetual-powers-of-tau-raw-24
bn254 perpetual-powers-of-tau 25 perpetual-powers-of-tau-25 perpetual-powers-of-tau-raw-25
bn254 perpetual-powers-of-tau 26 perpetual-powers-of-tau-26 perpetual-powers-of-tau-raw-26
bn254 hermez 1 hermez-1 hermez-raw-1
bn254 hermez 2 hermez-2 hermez-raw-2
bn254 hermez 3 hermez-3 hermez-raw-3
bn254 hermez 4 hermez-4 hermez-raw-4
bn254 hermez 5 hermez-5 hermez-raw-5
bn254 hermez 6 hermez-6 hermez-raw-6
bn254 hermez 7 hermez-7 hermez-raw-7
bn254 hermez 8 hermez-8 hermez-raw-8
bn254 hermez 9 hermez-9 hermez-raw-9
bn254 hermez 10 hermez-10 hermez-raw-10
bn254 hermez 11 hermez-11 hermez-raw-11
bn254 hermez 12 hermez-12 hermez-raw-12
bn254 hermez 13 hermez-13 hermez-raw-13
bn254 hermez 14 hermez-14 hermez-raw-14
bn254 hermez 15 hermez-15 hermez-raw-15
bn254 hermez 16 hermez-16 hermez-raw-16
bn254 hermez 17 hermez-17 hermez-raw-17
bn254 hermez 18 hermez-18 hermez-raw-18
bn254 hermez 19 hermez-19 hermez-raw-19
bn254 hermez 20 hermez-20 hermez-raw-20
bn254 hermez 21 hermez-21 hermez-raw-21
bn254 hermez 22 hermez-22 hermez-raw-22
bn254 hermez 23 hermez-23 hermez-raw-23
bn254 hermez 24 hermez-24 hermez-raw-24
bn254 hermez 25 hermez-25 hermez-raw-25
bn254 hermez 26 hermez-26 hermez-raw-26

Manually convert from the source

Perpetual Powers of Tau

To get SRS with k = 10 from latest response of Perpetual Powers of Tau, we can run:

wget https://ppot.blob.core.windows.net/public/response_0071_edward
mkdir ./srs
cargo run --release --bin convert-from-perpetual-powers-of-tau response_0071_edward ./srs/perpetual-powers-of-tau-raw- 10

Then it will output the SRS with 1 <= k <= 10 with path ./srs/perpetual-powers-of-tau-raw-{k}.

SnarkJS

To get SRS with k = 10 from Hermez's setup, we can run:

wget https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_10.ptau
mkdir ./srs
cargo run --release --bin convert-from-snarkjs powersOfTau28_hez_final_10.ptau ./srs/hermez-raw- 10

Then it will output the SRS with 1 <= k <= 10 with path ./srs/hermez-raw-{k}.