Zero-knowledge Packages

Aleo Oracle SDK

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

Circom Library for Savvies

Mutation testing tool for circom

A static analyzer and linter for the Circom zero-knowledge DSL

A circom started project for simpler use and zero-knowledge project development with simple commands

Account Update analyser for MINA

Secure Remote Password Protocol (SRP-6a) Implementation

Common interfaces and utilities for discreetly

This package provides cryptographic primitives for SHA256 verification in [o1js](https://docs.minaprotocol.com/zkapps/o1js/) supporting dynamic length input as well as partial hash computation. It also provides utility functions for input generation for b

Topos zkEVM demo

WebAssembly based toolkit for developing zero knowledge applications with Aleo

WebAssembly based toolkit for developing zero knowledge applications with Aleo

WebAssembly based toolkit for developing zero knowledge applications with Aleo

Zero-knowledge proofs for code changes

A set of actions and helpers for CLI commands

MPC Phase 2 backend for Firebase services management

All-in-one interactive command-line for interfacing with zkSNARK Phase 2 Trusted Setup ceremonies

Hydra S2 Proving scheme