Popular repositories Loading

1. proof-systems proof-systems Public

   Forked from o1-labs/proof-systems

   The proof systems used by Mina

   Rust 4

2. merengue merengue Public

   Cryptanalysis toolkit for ARX primitives Salsa20, ChaCha, Rumba

   C 1

3. mina-book mina-book Public

   Specifications and documentation for the Mina protocol

4. o1js o1js Public

   Forked from o1-labs/o1js

   TypeScript framework for zk-SNARKs and zkApps

   TypeScript

5. mina mina Public

   Forked from MinaProtocol/mina

   Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

   OCaml

6. openmina openmina Public

   Forked from o1-labs/mina-rust

   OpenMina is an implementation in Rust of the Mina Protocol

   Rust