• Stars
    star
    2
  • Language
    Rust
  • License
    Apache License 2.0
  • Created 9 months ago
  • Updated 6 months ago

Reviews

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

Repository Details

Poseidon gadget for Halo2, previously at halo2_gadgets.

More Repositories

1

zkevm-circuits

Rust
819
star
2

maci

Minimal Anti-Collusion Infrastructure (MACI)
TypeScript
512
star
3

zkevm-specs

Python
332
star
4

zk-kit

A monorepo of reusable libraries for zero-knowledge technologies.
TypeScript
290
star
5

zkp-app-boilerplate

Build your zkp app with typescript, hardhat, circom, and snarkjs!
TypeScript
221
star
6

chiquito

DSL for Halo2 circuits
Rust
186
star
7

sonobe

Experimental folding schemes library
Rust
185
star
8

mpz

Multi-party computation libraries written in Rust 🦀
Rust
182
star
9

halo2curves

Rust
170
star
10

snark-verifier

Rust
143
star
11

core-program

141
star
12

halo2wrong

Rust
116
star
13

zk-eigentrust

EigenTrust - A distributed reputation system
Rust
109
star
14

p0tion

The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies
TypeScript
88
star
15

zkevm-chain

zkevm-chain: Deprecated
Rust
87
star
16

multifolding-poc

A PoC repo for a HyperNova impl
Rust
83
star
17

acceleration-program

Accelerate Early Stage Programmable Cryptography Talents
64
star
18

halo2-solidity-verifier

A set of tooling related to halo2 circuits verification inside Solidity contracts
Rust
62
star
19

maze

Multi proof Aggregation for Zk SNARK on Ethereum
Rust
61
star
20

anon-aadhaar

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

bandada

A system for managing privacy-preserving groups.
TypeScript
51
star
22

incrementalquintree

An incremental Merkle tree written in Typescript and circom
TypeScript
43
star
23

nova-bench

A collection of comparison-benchmarks for Nova & related Proving systems
Rust
42
star
24

greco

Rust
42
star
25

poseidon

Rust
38
star
26

zkvm-ideas

A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
37
star
27

multisetups

A simple, IPFS-based multi-party trusted setup utility for snarkjs
TypeScript
27
star
28

e2e-zk-ecdsa

End to End ZK ECDSA
TypeScript
25
star
29

nova-ml

Jupyter Notebook
23
star
30

zkevm-docs

AppliedZKP's zkEVM Documentation
Shell
23
star
31

DefinitelySetup

The repository for high quality Trusted setups for groth16 based SNARKS
TypeScript
21
star
32

nova-by-hand

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

zkey-manager

TypeScript
18
star
34

rln

Shell
18
star
35

pse.dev

PSE website v2 with more user research and new branding!
TypeScript
17
star
36

UniRep

A private and non-repudiable reputation system
TypeScript
16
star
37

semaphore-phase2-setup

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

taz-apps

Simple DApp to allow Devcon attendees to review events anonymously.
JavaScript
13
star
39

zk-kit.circom

A monorepo of reusable Circom circuits.
Circom
13
star
40

circom-ecdsa-p256

Big integer arithmetic // secp256k1 & additional P256 ECC operations in circom
Circom
12
star
41

PSE-Lectures-Notes

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

pairing

Rust
11
star
43

website

Privacy and Scaling Explorations
TypeScript
11
star
44

researches

10
star
45

webauth-circom

Circom
10
star
46

security

A collection of resources relevant to the PSE Security Team.
10
star
47

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.
JavaScript
10
star
48

maci-platform

MACI Platform - Voting and Funding using MACI
TypeScript
10
star
49

zk-kit.solidity

A monorepo of reusable contracts for zero-knowledge technologies.
Solidity
10
star
50

crypt-keeper-extension

Crypt-Keeper Extension, zero knowledge identity management and proof generation tool.
TypeScript
7
star
51

zk-kit.rust

A monorepo of reusable crates for zero-knowledge technologies.
Rust
6
star
52

zk-keeper

ZK Keeper
TypeScript
6
star
53

hacking-pse

PSE Hackathon
TypeScript
5
star
54

poseidon_in_circomlib_check

5
star
55

zkevm-testing-vectors

Go
5
star
56

sonobe-docs

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

ideas

4
star
58

keccak_circuit

Rust
4
star
59

snark-artifacts

A streamlined mechanism for distributing SNARK artifacts.
TypeScript
4
star
60

mixer

TypeScript
4
star
61

zk-kit.noir

A monorepo of reusable Noir circuits.
Roff
4
star
62

sugesto

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

perpetualpowersoftau

Standard ML
3
star
64

github-ops

Shell
2
star
65

technical-reports

PSE Technical Reports
TeX
2
star
66

maci-coordinator

🏗 coordinator = tallier + prover
Go
2
star
67

mpt-witness-generator

Go
2
star
68

zuzalu-feedback

An app to allow Zuzalu attendees to send anonymous feedback.
TypeScript
1
star
69

zkevm-chain-testing

Python
1
star
70

MACI-v2

MACI + Nova + ElGamal PoC
1
star
71

vFSM

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

maci-phase2-setup

TypeScript
1
star
73

qdh-admin

Admin panel for QDH. Based on Strapi
JavaScript
1
star
74

pse-gfis

A simple app to view good first issues from a set of repos/orgs
TypeScript
1
star
75

zkevm-params

Shell
1
star