Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/o1-labs/proof-systems
The proof systems used by Mina
https://github.com/o1-labs/proof-systems
bulletproofs kimchi plonk recursive-zkps zero-knowledge-proofs zksnarks
Last synced: about 2 months ago
JSON representation
The proof systems used by Mina
- Host: GitHub
- URL: https://github.com/o1-labs/proof-systems
- Owner: o1-labs
- License: apache-2.0
- Created: 2019-12-09T23:27:48.000Z (almost 5 years ago)
- Default Branch: master
- Last Pushed: 2024-04-12T14:57:51.000Z (6 months ago)
- Last Synced: 2024-04-13T03:46:32.061Z (5 months ago)
- Topics: bulletproofs, kimchi, plonk, recursive-zkps, zero-knowledge-proofs, zksnarks
- Language: Rust
- Homepage: https://o1-labs.github.io/proof-systems/
- Size: 140 MB
- Stars: 365
- Watchers: 29
- Forks: 82
- Open Issues: 108
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
Awesome Lists containing this project
- awesome-rust-list - Kimchi - labs/proof-systems?style=social"/> : The proof systems used by Mina. This repository contains kimchi, a general-purpose zero-knowledge proof system for proving the correct execution of programs. [o1-labs.github.io/proof-systems/](https://o1-labs.github.io/proof-systems/) (Web3 and ZKP Framework)
- awesome-rust-list - Kimchi - labs/proof-systems?style=social"/> : The proof systems used by Mina. This repository contains kimchi, a general-purpose zero-knowledge proof system for proving the correct execution of programs. [o1-labs.github.io/proof-systems/](https://o1-labs.github.io/proof-systems/) (Web3 and ZKP Framework)