privacy-scaling-explorations/zkevm-specs

This repository has been archived on 05/Jul/2024
Stars
332
Rank 126,957 (Top 3 %)
Language
Python
Created over 3 years ago
Updated 4 months ago

privacy-scaling-explorations/zkevm-specs

privacy-scaling-explorations

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Zkevm Specifications

The project aims to define a validity snark proof for Ethereum transactions.

The Written Specification

We recommend the reader to start with Introduction

Python Executable Specification

We provide the Beacon Chain style Python executable specification to help implementors figure out the specified behavior.

Installing dependencies(Python 3.9 is required)

make install

Run the tests

make test

Implementations

See privacy-scaling-explorations/zkevm-circuits

zkevm-circuits

maci

Minimal Anti-Collusion Infrastructure (MACI)

zk-kit

A monorepo of reusable libraries for zero-knowledge technologies.

zkp-app-boilerplate

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

chiquito

DSL for Halo2 circuits

sonobe

Experimental folding schemes library

mpz

Multi-party computation libraries written in Rust 🦀

halo2curves

snark-verifier

core-program

halo2wrong

zk-eigentrust

EigenTrust - A distributed reputation system

p0tion

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

zkevm-chain

zkevm-chain: Deprecated

multifolding-poc

A PoC repo for a HyperNova impl

acceleration-program

Accelerate Early Stage Programmable Cryptography Talents

halo2-solidity-verifier

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

maze

Multi proof Aggregation for Zk SNARK on Ethereum

anon-aadhaar

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

bandada

A system for managing privacy-preserving groups.

incrementalquintree

An incremental Merkle tree written in Typescript and circom

nova-bench

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

greco

poseidon

zkvm-ideas

A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team

multisetups

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

e2e-zk-ecdsa

End to End ZK ECDSA

nova-ml

Jupyter Notebook

zkevm-docs

AppliedZKP's zkEVM Documentation

DefinitelySetup

The repository for high quality Trusted setups for groth16 based SNARKS

nova-by-hand

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

zkey-manager

rln

pse.dev

PSE website v2 with more user research and new branding!

UniRep

A private and non-repudiable reputation system

semaphore-phase2-setup

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

taz-apps

Simple DApp to allow Devcon attendees to review events anonymously.

zk-kit.circom

A monorepo of reusable Circom circuits.

circom-ecdsa-p256

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

PSE-Lectures-Notes

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

pairing

website

Privacy and Scaling Explorations

researches

webauth-circom

security

A collection of resources relevant to the PSE Security Team.

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

MACI Platform - Voting and Funding using MACI

zk-kit.solidity

A monorepo of reusable contracts for zero-knowledge technologies.

crypt-keeper-extension

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

zk-kit.rust

A monorepo of reusable crates for zero-knowledge technologies.

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

snark-artifacts

A streamlined mechanism for distributing SNARK artifacts.

mixer

zk-kit.noir

A monorepo of reusable Noir circuits.

sugesto

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

perpetualpowersoftau

github-ops

poseidon-gadget

Poseidon gadget for Halo2, previously at halo2_gadgets.

technical-reports

PSE Technical Reports

maci-coordinator

🏗 coordinator = tallier + prover

mpt-witness-generator

zuzalu-feedback

An app to allow Zuzalu attendees to send anonymous feedback.

zkevm-chain-testing

MACI-v2

MACI + Nova + ElGamal PoC

vFSM

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

maci-phase2-setup

qdh-admin

Admin panel for QDH. Based on Strapi

pse-gfis

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

zkevm-params