Discover privacy-scaling-explorations/zkvm-ideas Open Source project

Minimal Anti-Collusion Infrastructure (MACI)

819

maci

zkevm-specs

zk-kit

A monorepo of reusable libraries for zero-knowledge technologies.

Build your zkp app with typescript, hardhat, circom, and snarkjs!

290

zkp-app-boilerplate

221

chiquito

DSL for Halo2 circuits

Experimental folding schemes library

186

sonobe

Multi-party computation libraries written in Rust 🦀

185

mpz

halo2curves

snark-verifier

core-program

halo2wrong

zk-eigentrust

EigenTrust - A distributed reputation system

The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies

109

p0tion

zkevm-chain

zkevm-chain: Deprecated

A PoC repo for a HyperNova impl

multifolding-poc

Accelerate Early Stage Programmable Cryptography Talents

acceleration-program

halo2-solidity-verifier

A set of tooling related to halo2 circuits verification inside Solidity contracts

Multi proof Aggregation for Zk SNARK on Ethereum

maze

Anon Aadhaar is a zero-knowledge protocol that allows Aadhaar ID owners to prove their identity in a privacy preserving way.

anon-aadhaar

A system for managing privacy-preserving groups.

bandada

An incremental Merkle tree written in Typescript and circom

incrementalquintree

A collection of comparison-benchmarks for Nova & related Proving systems

nova-bench

greco

poseidon

A simple, IPFS-based multi-party trusted setup utility for snarkjs

multisetups

e2e-zk-ecdsa

nova-ml

zkevm-docs

AppliedZKP's zkEVM Documentation

The repository for high quality Trusted setups for groth16 based SNARKS

DefinitelySetup

A collection of the Notes on the Nova folding scheme explained from scratch

nova-by-hand

zkey-manager

rln

PSE website v2 with more user research and new branding!

pse.dev

A private and non-repudiable reputation system

UniRep

Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit

semaphore-phase2-setup

Python

taz-apps

Simple DApp to allow Devcon attendees to review events anonymously.

A monorepo of reusable Circom circuits.

zk-kit.circom

Circom

circom-ecdsa-p256

Big integer arithmetic // secp256k1 & additional P256 ECC operations in circom

Circom

PSE-Lectures-Notes

A collection of the Notes by Matan from each of the PSE Lectures sessions that have happened so far.

pairing

Privacy and Scaling Explorations

website

A collection of resources relevant to the PSE Security Team.

researches

webauth-circom

Circom

security

qdh

The Quadratic Dollar Homepage is a spin on the Million Dollar Homepage. While it also features a space for images on a webpage, it allows users to vote on how much space each image takes up. Moreover, it employs a quadratic and collusion-resistant voting mechanism on Ethereum called Minimal Anti-Collusion Infrastructure (MACI) to prevent bribery and scale images quadratically.

MACI Platform - Voting and Funding using MACI

maci-platform

A monorepo of reusable contracts for zero-knowledge technologies.

zk-kit.solidity

Solidity

crypt-keeper-extension

Crypt-Keeper Extension, zero knowledge identity management and proof generation tool.

A monorepo of reusable crates for zero-knowledge technologies.

zk-kit.rust

zk-keeper

hacking-pse

poseidon_in_circomlib_check

zkevm-testing-vectors

sonobe-docs

Docs for https://github.com/privacy-scaling-explorations/sonobe

ideas

keccak_circuit

A streamlined mechanism for distributing SNARK artifacts.

snark-artifacts

mixer

A monorepo of reusable Noir circuits.

zk-kit.noir

Roff

sugesto

Sugesto is an internal application to allow PSE members to send anonymous feedback on team events and activities.

perpetualpowersoftau

Standard ML

github-ops

Poseidon gadget for Halo2, previously at halo2_gadgets.

poseidon-gadget

🏗 coordinator = tallier + prover

technical-reports

PSE Technical Reports

TeX

maci-coordinator

mpt-witness-generator

zuzalu-feedback

An app to allow Zuzalu attendees to send anonymous feedback.

MACI + Nova + ElGamal PoC

zkevm-chain-testing

Python

MACI-v2

vFSM

An opinionated framework aimed at facilitating the zero knowledge verification of state transitions in Mealy machines with encrypted inputs.

maci-phase2-setup

Admin panel for QDH. Based on Strapi

qdh-admin

A simple app to view good first issues from a set of repos/orgs

pse-gfis

zkevm-params