Skip to content

Commit

Permalink
Merge branch 'main' into Poseidon_hash
Browse files Browse the repository at this point in the history
  • Loading branch information
@diegokingston
diegokingston authored Jan 12, 2024
2 parents e0164a2 + eb12381 commit 38e5553
Showing 1 changed file with 36 additions and 36 deletions.
72 changes: 36 additions & 36 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -69,42 +69,42 @@ List of symbols:
- 🏗️ means that the feature is partially implemented or is under active construction.
- :x: means that the feature is not currently supported.

| Finite Fields | lambdaworks | Arkworks | Halo2 | gnark | Constantine |
| -------------- | ------------------ | ------------------ | --- | ----- | ----------- |
| StarkField 252 | :heavy_check_mark: | :heavy_check_mark: | | | |
| Mersenne 31 | :heavy_check_mark: | | | | |
| Baby Bear | :heavy_check_mark: | | | | |
| MiniGoldilocks | :heavy_check_mark: | | | | |
| **ZK friendly Hash function** | **lambdaworks** | **Arkworks** | **Halo2** | **gnark** | **Constantine** |
| Poseidon | 🏗️ | :heavy_check_mark: | | | |
| Pedersen | 🏗️ | :heavy_check_mark: | | | |
| Rescue Prime XLIX | :x: | | | | |
| **Elliptic Curves** | **lambdaworks** | **Arkworks** | **Halo2** | **gnark** | **Constantine** |
| BLS12-381 | :heavy_check_mark: | :heavy_check_mark: | | | |
| BLS12-377 | 🏗️ | :heavy_check_mark: | | :heavy_check_mark: | |
| BN-254 | 🏗️ | :heavy_check_mark: | | | |
| Pallas | :heavy_check_mark: | :heavy_check_mark: | | | |
| Vesta | :heavy_check_mark: | :heavy_check_mark: | | | |
| Bandersnatch | 🏗️ | :heavy_check_mark: | | | |
| **STARKs** | **lambdaworks** | **Arkworks** | **Halo2** | **gnark** | **Constantine** |
| STARK Prover | :heavy_check_mark: | :x: | | :x: | |
| CAIRO Prover | 🏗️ | :x: | | :x: | |
| **SNARKs** |**lambdaworks** | **Arkworks** | **Halo2** | **gnark** | **Constantine** |
| Groth16 | :heavy_check_mark: | :heavy_check_mark: | | :heavy_check_mark: | |
| Plonk | 🏗️ | :x: | ✔️ | :heavy_check_mark: | |
| Spartan | :x: | :heavy_check_mark: | | | |
| Marlin | :x: | :heavy_check_mark: | | | |
| GKR | :x: | :heavy_check_mark: | | :heavy_check_mark: | |
| **Polynomial Commitment Schemes** | **lambdaworks** | **Arkworks** | **Halo2** | **gnark** | **Constantine** |
| FRI | 🏗️ | :x: | :x: | :heavy_check_mark: | |
| IPA | 🏗️ | ✔️ | :heavy_check_mark: | | |
| Hyrax | :x: | | :x: | | |
| KZG10 | :heavy_check_mark: | ✔️ | :heavy_check_mark: | :heavy_check_mark: | |
| **Folding Schemes** | **lambdaworks** | **Arkworks** | **Halo2** | **gnark** | **Constantine** |
| Nova | :x: | | | | |
| Supernova | :x: | | | | |
| Protostar | :x: | | | | |
| Protogalaxy | :x: | | | | |
| Finite Fields | Lambdaworks | Arkworks | Halo2 | gnark | Constantine |
| -------------- | ------------------ | ------------------ | -------- | ------------------ | ----------- |
| StarkField 252 | :heavy_check_mark: | :heavy_check_mark: | :x: | :heavy_check_mark: | :x: |
| Mersenne 31 | :heavy_check_mark: | :x: | :x: | :x: | :x: |
| Baby Bear | :heavy_check_mark: | :x: | :x: | :x: | :x: |
| MiniGoldilocks | :heavy_check_mark: | :x: | :x: | :heavy_check_mark: | :x: |
| **ZK friendly Hash function** | **Lambdaworks** | **Arkworks** | **Halo2** | **gnark** | **Constantine** |
| Poseidon | 🏗️ | :heavy_check_mark: | :heavy_check_mark: | :x: | :x: |
| Pedersen | 🏗️ | :heavy_check_mark: | :heavy_check_mark: | :x: | :x: |
| Rescue Prime XLIX | :x: | :x: | :x: | :x: | :x: |
| **Elliptic Curves** | **Lambdaworks** | **Arkworks** | **Halo2** | **gnark** | **Constantine** |
| BLS12-381 | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
| BLS12-377 | 🏗️ | :heavy_check_mark: | :x: | :heavy_check_mark: | :heavy_check_mark: |
| BN-254 | 🏗️ | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
| Pallas | :heavy_check_mark: | :heavy_check_mark: | :x: | :x: | :heavy_check_mark: |
| Vesta | :heavy_check_mark: | :heavy_check_mark: | :x: | :x: | :heavy_check_mark: |
| Bandersnatch | 🏗️ | :heavy_check_mark: | :x: | :heavy_check_mark: | :heavy_check_mark: |
| **STARKs** | **Lambdaworks** | **Arkworks** | **Halo2** | **gnark** | **Constantine** |
| STARK Prover | :heavy_check_mark: | :x: | :x: | :x: | :x: |
| CAIRO Prover | 🏗️ | :x: | :x: | :x: | :x: |
| **SNARKs** | **Lambdaworks** | **Arkworks** | **Halo2** | **gnark** | **Constantine** |
| Groth16 | :heavy_check_mark: | :heavy_check_mark: | :x: | :heavy_check_mark: | :x: |
| Plonk | 🏗️ | :heavy_check_mark: | ✔️ | :heavy_check_mark: | :x: |
| Spartan | :x: | :heavy_check_mark: | :x: | :x: | :x: |
| Marlin | :x: | :heavy_check_mark: | :x: | :x: | :x: |
| GKR | :x: | :heavy_check_mark: | :x: | :heavy_check_mark: | :x: |
| **Polynomial Commitment Schemes** | **Lambdaworks** | **Arkworks** | **Halo2** | **gnark** | **Constantine** |
| FRI | 🏗️ | :x: | :x: | :heavy_check_mark: | :x: |
| IPA | 🏗️ | ✔️ | :heavy_check_mark: | :x: | :x: |
| Hyrax | :x: | :heavy_check_mark: | :x: | :x: | :x: |
| KZG10 | :heavy_check_mark: | ✔️ | :heavy_check_mark: | :heavy_check_mark: | :x: |
| **Folding Schemes** | **Lambdaworks** | **Arkworks** | **Halo2** | **gnark** | **Constantine** |
| Nova | :x: | :heavy_check_mark: | :x: | :x: | :x: |
| Supernova | :x: | :x: | :x: | :x: | :x: |
| Protostar | :x: | :x: | :x: | :x: | :x: |
| Protogalaxy | :x: | :heavy_check_mark: | :x: | :x: | :x: |

Additionally, provers are compatible with the following frontends and VMs:

Expand Down

0 comments on commit 38e5553

Please sign in to comment.