Zero-knowledge Packages

A decentralized privacy-preserving key-value database

HollowDB Client

Zero-knowledge proof generator utiity for HollowDB

Smart contracts powering the World ID protocol.

Tokamak zk-EVM Synthesizer - Processes Ethereum transactions into wire maps for Tokamak zk-SNARK proof generation

Topos zkEVM demo

Proof of concept KZG commitments using BLS12-381 curves using [noble-curves](https://github.com/paulmillr/noble-curves) and [galois](https://github.com/GuildOfWeavers/galois)

p align="center" > <img src="https://xord.notion.site/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F283b98b7-fdae-4e5a-acaf-248242084e4a%2FICON.png?table=block&id=5306223c-a4f7-45d1-9f54-b9a5f4004cd6&spaceId=49976899-64a1-40f

Aleo

WebAssembly based toolkit for developing zero knowledge applications with Aleo

WebAssembly based toolkit for developing zero knowledge applications with Aleo

Aleo

Zk-groups smart contracts to manage off-chain groups and verify their zero-knowledge proofs.

Aleo Oracle SDK

Proof of Membership for EVM - Part of zkSDK ecosystem for simplified ZK development

Zero Knowledge Authentication SDK for secure user authentication

MPC Phase 2 CLI

A scripting language for defining zk-STARKs

zk-STARK generation library

WebAssembly bundle for Network algorithms