# o1-labs/proof-systems

<https://repo.masters-masters.com/en/repos/o1-labs/proof-systems>

[Home](https://repo.masters-masters.com/en) › [o1-labs](https://repo.masters-masters.com/en/owners/o1-labs) › [proof-systems](https://repo.masters-masters.com/en/repos/o1-labs/proof-systems)

o1-labs/proof-systems has 460 stars on GitHub. Its RepoMasters card: Alpha tier. The proof systems used by Mina Language: Rust.

| Field | Value |
| --- | --- |
| Owner | [o1-labs](https://repo.masters-masters.com/en/owners/o1-labs) |
| Stars | 460 |
| Forks | 146 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | Apache-2.0 |
| Created | 2019 |
| Topics | plonk, zero-knowledge-proofs, kimchi, zksnarks, bulletproofs, recursive-zkps |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [o1-labs/proof-systems](https://github.com/o1-labs/proof-systems) |

## Repository

The proof systems used by Mina

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by o1-labs

- [o1-labs/o1js · ★ 605 · TypeScript · Alpha](https://repo.masters-masters.com/en/repos/o1-labs/o1js)
- [o1-labs/snarky · ★ 507 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/o1-labs/snarky)
- [o1-labs/mina-rust · ★ 125 · Rust · Prototype](https://repo.masters-masters.com/en/repos/o1-labs/mina-rust)
- [o1-labs/zkapp-cli · ★ 123 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/o1-labs/zkapp-cli)

## Nearby in Rust

- [fjall-rs/lsm-tree · ★ 460 · Rust · Alpha](https://repo.masters-masters.com/en/repos/fjall-rs/lsm-tree)
- [falcondev-oss/github-actions-cache-server · ★ 460 · Rust · Alpha](https://repo.masters-masters.com/en/repos/falcondev-oss/github-actions-cache-server)
- [EBonura/PSoXide · ★ 460 · Rust · Alpha](https://repo.masters-masters.com/en/repos/EBonura/PSoXide)
- [mozilla-spidermonkey/jsparagus · ★ 460 · Rust · Alpha](https://repo.masters-masters.com/en/repos/mozilla-spidermonkey/jsparagus)
- [Shopify/shadowenv · ★ 460 · Rust · Alpha](https://repo.masters-masters.com/en/repos/Shopify/shadowenv)
- [ftilde/ugdb · ★ 460 · Rust · Alpha](https://repo.masters-masters.com/en/repos/ftilde/ugdb)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.