Beast code in Giters

Fabrizio Muraca's repositories

Rust PLONK implementation

Language:Rust37 10

a wasm parser

Language:RustMIT2 1 1

A hyperplonk implementation

Language:Rust100

An IPA based polynomial commmitment

Language:Rust1 10

A generic Verkle tree

Language:Rust1 10

Rust parser combinator framework

Language:RustMIT000

This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.

Language:Rust000

The proof systems used by Mina

Language:RustApache-2.0000

typed stack machine

Language:Rust010