Zero knowledge Packages

A multi-layered encryption protocol for safely sending messages end-to-end.

Generate a zero knowledge proof that an encrypted number is in a set

TypeScript framework for zk-SNARKs and zkApps

zkSnarks plugin for embarkjs

Client SDK to write custom queries for Axiom, the ZK Coprocessor for Ethereum.

Encoding and decoding library for Axiom Queries.

SDK to build on top of Axiom, the ZK Coprocessor for Ethereum.

SDK to build on top of Axiom, the ZK Coprocessor for Ethereum.

Halo2 Javascript library

Halo2 Javascript library

Halo2 wasm bindings

Halo2 Javascript library

React components for Axiom SDK

Useful data, field, and byte manipulation tools for Axiom.

Client SDK to write custom queries for Axiom, the ZK Coprocessor for Ethereum.

TypeScript framework for zk-SNARKs and zkApps

This repository implements Elgmal, a partial homomorphic encryption scheme originally described by [Taher Elgamal in 1985](https://caislab.kaist.ac.kr/lecture/2010/spring/cs548/basic/B02.pdf). This implementation includes the original version of Elgamal,

Plumo verifier

Implementation of a Merkle Heap for SnarkyJS, a framework to develop ZK-snarks on Mina Protocol.