Pinned Repositories
hyperplonk
A hyperplonk implementation
ipapc
An IPA based polynomial commmitment
nom
Rust parser combinator framework
ocaml-gen
This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.
proof-systems
The proof systems used by Mina
stack
typed stack machine
TyPLONK
Rust PLONK implementation
verkle
A generic Verkle tree
wasm-nom
a wasm parser
nom
Rust parser combinator framework
fabrizio-m's Repositories
fabrizio-m/TyPLONK
Rust PLONK implementation
fabrizio-m/wasm-nom
a wasm parser
fabrizio-m/hyperplonk
A hyperplonk implementation
fabrizio-m/ipapc
An IPA based polynomial commmitment
fabrizio-m/verkle
A generic Verkle tree
fabrizio-m/nom
Rust parser combinator framework
fabrizio-m/ocaml-gen
This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.
fabrizio-m/proof-systems
The proof systems used by Mina
fabrizio-m/stack
typed stack machine