jp4g

zk-email-verify

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

ideas-for-projects-people-would-use

Every time I have an idea, I write it down. These are a collection of my top software ideas -- problems I think enough people have that don't have solutions. I expect you can reach a decent userbase if marketed correctly, as I am surely not the only one with these problems.

zkSNARK-under-the-hood

Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.

zupass

Zuzalu Passport

zkconnect4

Prove your connect-4 games against an RL agent using Nova.

poseidon-lite

ecrecover-noir

A Noir circuit that mimics Solidity's ecrecover

veramo-credential-ld-semaphore

tw-did

noir-rsa

Noir implementation of RSA-verify

cli

Prove knowledge of smart contract bugs using zkEVM

zkdoctor

noir-GMiMC

circom-stark

Private-token

Tokens with private balances using zkSNARKs and Homomorphic Encryption

babySNARK

Baby SNARK (do do dodo dodo)

Python

All Algorithms implemented in Python

paradigm-ctf-2022

Puzzles used in the 2022 Paradigm CTF

darkforest-noir

zkvendorbankverify

Vendor Bank Account Verification under Zero Knowledge

shockwave-plus

nova-circom-verifier

Nova Verifier in Circom so it can be verified onChain

reclaim-sdk

Reclaim SDK

dappicom

Provable play of Nintendo Entertainment System in Noir

barustenberg

barretenburg in rust (here we go)

ObliviousMessageRetrieval

dark-safe

under construction 🚧

Sunscreen

A compiler for fully homomorphic encryption and zero knowledge proofs

zk-SQL

ZK-based engine for self-sovereign SQL queries

noir-trie-proofs