querolita

Pinned Repositories

mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Language:OCaml2k 97 6.3k528
o1js
TypeScript framework for zk-SNARKs and zkApps
Language:TypeScript509 29 911116
o1js-bindings
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
Language:JavaScript10 18 2510
proof-systems
The proof systems used by Mina
Language:Rust412 28 66693
snarky
OCaml DSL for verifiable computation
Language:OCaml495 44 17374
zkevm-circuits
Language:Rust818 40 740856
merengue
Cryptanalysis toolkit for ARX primitives Salsa20, ChaCha, Rumba
Language:C0 1 01
mina-book
Specifications and documentation for the Mina protocol
0 0 00
proof-systems
The proof systems used by Mina
Language:Rust4 1 00

querolita's Repositories

querolita/proof-systems
The proof systems used by Mina
Language:Rust4 1 00
querolita/merengue
Cryptanalysis toolkit for ARX primitives Salsa20, ChaCha, Rumba
Language:C0 1 01
querolita/mina-book
Specifications and documentation for the Mina protocol
0 0 00