Swift package for Noir prover with Barretenberg backend

Semaphore v4 SDK for React Native

Semaphore v4 SDK for Kotlin

Semaphore v4 SDK for Swift

Rust wrapper for Noir circuits integration.

a zk luma app

An AI-powered Discord bot that simplifies on-chain transactions and off-chain requests for users.

Rust adapter for 0xPolygonID/witnesscalc for any circuit

Generate circom witnesses natively in Rust

Groth16 using Icicle on Android. Proof of Concept.

The PSE website

Spartan: High-speed zkSNARKs without trusted setup

Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

Verifiable FHE with GKR

React Native template for Mopro

A discord bot makes onchain payment easy.

Prove your self

Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.

Minimal Anti-Collusion Infrastructure (MACI)

Demo for ZKStats Platform

🦀 Rust support library for semaphore