O1js Packages

The proof submitter process built for Nacho using o1js.

The rollup smart contract built for Nacho using o1js.

The setup script for the smart contracts of Nacho.

The token smart contract built for Nacho using o1js.

Implemented using [o1js](https://github.com/o1-labs/o1js), this project is a reimplementation of [zk-email](https://github.com/zkemail/zk-email-verify), leveraging the Mina proving system [Kimchi](https://o1-labs.github.io/proof-systems/specs/kimchi.html#

o1js JAL implementation

A lightweight version of the o1js package with only the verify function.

Sparse Merkle Tree for o1js

CLI to create zkApps (zero-knowledge apps) for Mina Protocol

Client to handle o1js Compatible Asset Feeds For The Mina Protocol.

As a base for anonymity we implemented an [o1js](https://docs.minaprotocol.com/zkapps/o1js) a version of the [Semaphore protocol](./docs/semaphore.md). It includes the following components:

It includes ONLY the files that need to be published to NPM (semaphore).

An 'o1js' implementation of the Semaphore protocol