samajammin

samajammin's Stars

• Consensys/gnark

  gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

  Language:Go1.5k33485399

• privacy-scaling-explorations/zkevm-specs

  Language:Python33429204272

• privacy-scaling-explorations/mpz

  Multi-party computation libraries written in Rust 🦀

  Language:Rust225105647

• zkoranges/zkPoEX

  zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, facilitating efficient communication and collaboration between hackers and project owners for a more secure DeFi ecosystem.

  Language:Rust2225313

• privacy-scaling-explorations/sonobe

  Experimental folding schemes library

  Language:Rust215146658

• privacy-scaling-explorations/halo2

  Language:Rust2096122130

• anon-aadhaar/anon-aadhaar

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

  Language:TypeScript199310336

• grandinetech/grandine

  High performance Ethereum consensus client

  Language:Rust18074332

• privacy-scaling-explorations/halo2curves

  Language:Rust1761656144

• zkmopro/mopro

  Making client-side proving on mobile simple.

  Language:Rust139169835

• plume-sig/zk-nullifier-sig

  Implementation of PLUME: nullifier friendly signature scheme on ECDSA

  Language:Rust13764523

• risc0/risc0-foundry-template

  Template for integrating RISC Zero and Ethereum using Foundry

  Language:Rust110203561

• franklynwang/EcneProject

  Ecne: An engine for verifying the soundness of R1CS constraints

  Language:Julia108237

• gausslabs/phantom-zone

  Language:Rust10131218

• zkemail/zk-regex

  A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex and soon Noir.

  Language:Circom8533427

• BattleZips/BattleZips-Circom

  Zero-knowledge arithmetic circuit implementation for on-chain Battleship Game

  Language:JavaScript754018

• Veridise/Picus

  Automated verification of uniqueness property for ZKP circuits

  Language:Circom70205

• NomicFoundation/edr

  An Ethereum development runtime implementation that can be reused to build new developer tools.

  Language:TypeScript61848516

• iden3/rapidsnark

  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.

  Language:C++579725

• Veridise/Coda

  Language:Coq461215

• gnosisguild/enclave

  Enclave is an open-source protocol for Encrypted Execution Environments (E3).

  Language:Rust123564

• gitcoinco/MACI_QF

  Language:TypeScript65824

• vplasencia/zk-sudoku-ts

  Updated zkSudoku App

  Language:Solidity6102

• zkemail/email-wallet-sdk

  SDK for building Email Wallet extensions.

  Language:Solidity6204

• ZKStats/MP-SPDZ

  Versatile framework for multi-party computation

  Language:C++6022

• gnosisguild/CRISP

  Collusion-Resistant Impartial Selection Protocol (CRISP)

  Language:Rust5201

• semaphore-protocol/explorer

  Semaphore explorer for on-chain groups.

  Language:TypeScript5454

• Vote-tech/voto-tech

  On-chain voting solution on top of zkMACI and integrated with Zupass. 3rd place winner in social category at ETHBerlin.

  Language:TypeScript5102

• yagopajarino/zkam

  Secure photo ownership with zero-knowledge proofs. Capture, sign, and verify images while preserving privacy. Is it a skam? 🛸😱

  Language:Circom3100

• PattoPeraltta/Ripe

  Your favorite voting platform.

  Language:TypeScript2000