Git Product home page Git Product logo

halo2-kzg-srs's Introduction

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}.

halo2-kzg-srs's People

Contributors

han0110 avatar voidxnull avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.