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
bulletproofs kimchi plonk recursive-zkps zero-knowledge-proofs zksnarks
Last synced: 11 Jun 2024
![](https://github.com/o1-labs.png)