harchaouiN

Pinned Repositories

KDAlgorithms
Algortihm wrappers
Language:C++00
mina
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Language:OCaml0 0 00
snarky
OCaml DSL for verifiable computation
Language:OCaml00
zero-over-k
Batching zero over k checks
Language:Rust00

harchaouiN's Repositories

harchaouiN/KDAlgorithms
Algortihm wrappers
Language:C++00
harchaouiN/mina
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Language:OCaml0 0 00
harchaouiN/snarky
OCaml DSL for verifiable computation
Language:OCaml00
harchaouiN/zero-over-k
Batching zero over k checks
Language:Rust00