joaosreis

Zeko: zk-Rollup for Mina, a succinct blockchain

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

Canonical Ledger Format for Cardano

An intermediate representation of Michelson smart contracts designed to ease static analysis of smart contracts

(WIP) An implementation of the Coinbase Mesh specification for the Mina blockchain.

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

Docs website for the Mina Protocol.

CLI for the Rosetta API

Docs website for the Mina Protocol.

Tezos running on Multicore OCaml

Minimina is a powerful tool designed for local development and integration testing of Mina networks

CDDL DSL and Testing Tools

Tezos running on Multicore OCaml

Clone of tezos from https://gitlab.com/tezos/tezos.git with FreeBSD updates.

TypeScript framework for zk-SNARKs and zkApps