Veridise / zk-language-comparisonLinks
Examples of Mastermind implemented in different ZK languages and frameworks.
☆15Updated 8 months ago
Alternatives and similar repositories for zk-language-comparison
Users that are interested in zk-language-comparison are comparing it to the libraries listed below
Sorting:
- ☆26Updated 10 months ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆38Updated 3 years ago
- powdr application running Ethereum tests via revm☆17Updated last year
- ☆20Updated last week
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Mozak RISC-V Virtual Machine☆25Updated 8 months ago
- Automated verification of uniqueness property for ZKP circuits☆43Updated last year
- ☆30Updated 2 years ago
- Cryptography libraries for ZKsync☆35Updated last week
- Implementations of proof-carrying data☆36Updated 3 years ago
- ☆32Updated last year
- A verifiable supercomputer☆76Updated 5 months ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- ☆24Updated 2 years ago
- ☆49Updated 2 years ago
- A Rust library for proof-carrying disclosures☆23Updated last year
- STARK book☆20Updated last year
- KZG commitments over BLS12-381☆37Updated 3 years ago
- zkVM benchmarking for Ethereum☆39Updated this week
- Cryptographic protocols☆38Updated 2 years ago
- a simple implementation of the KZG polynomial commitment scheme☆25Updated 4 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Updated 2 years ago
- Validation code for the EOF specification☆57Updated 7 months ago
- A parallel proving service for ZKM.☆22Updated last week
- Benchmarking Polynomial Commitments☆51Updated 2 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60Updated 2 years ago
- Compiler framework for ZK VMs☆35Updated 2 years ago
- ☆31Updated 8 months ago
- An observatory fork of SP1☆75Updated 10 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated 2 years ago