parizad1188

parizad1188's Stars

• ZK-Hack/puzzle-chaos-theory

  Language:Rust21

• ethereum/fe

  Emerging smart contract language for the Ethereum blockchain.

  Language:Rust1.6k188

• personaelabs/spartan-ecdsa

  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

  Language:Rust20328

• starkware-libs/stone-prover

  Language:C++26076

• signalapp/ContactDiscoveryService-Icelake

  Language:C3211

• keyvank/30cc

  30 C Compiler

  Language:C486

• a16z/jolt

  The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

  Language:Rust694150

• keyvank/femtoGPT

  Pure Rust implementation of a minimal Generative Pretrained Transformer

  Language:Rust83751

• BitVM/BitVM

  Smarter Bitcoin Contracts

  Language:Rust356105

• Miyamura80/ZKMicrophone

  🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulation, and political subversion. We've built the world's first attested microphone and used ZK-SNARKs to protect authenticity and privacy.

  Language:Solidity892

• morgana-proofs/hashcaster

  Frobenius sumcheck for vectorized boolean ops

  Language:Rust383

• nobitex/sigmab-trusted-setup

  Trusted-Setup ceremony of sigmaB Private Proof of Reserves

  Language:Python119

• Lilyjjo/mev_reading_list

  List of resources to understand what 'mev' is.

  926

• nobitex/sigmab

  👁️ Private Proof of Reserves 🎭

  Language:Circom553

• paradigmxyz/reth

  Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

  Language:Rust4k1.2k

• TaceoLabs/co-snarks

  Tooling for creating collaborative SNARKs for Circom circuits.

  Language:Rust1029

• Divide-By-0/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.

  1.5k63

• gausslabs/phantom-zone

  Language:Rust8817

• zkemail/proof-of-twitter

  Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.

  Language:TypeScript3522

• 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.

  Language:Circom7927

• zkemail/zk-email-verify

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

  Language:TypeScript36979

• proteus-photos/proteus.photos

  Language:Python41

• WTFAcademy/WTF-zk

  零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

  Language:Jupyter Notebook1.6k198

• paulperegud/gp-score-delegation

  ZK delegation of gitcoin passport scores

  Language:Solidity1

• iden3/circom

  zkSnark circuit compiler

  Language:WebAssembly1.4k269

• thor314/pazk

  Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group

  Language:Rust12712

• privacy-scaling-explorations/sonobe

  Experimental folding schemes library

  Language:Rust20554

• zmre/awesome-security-for-ai

  Awesome products for securing AI systems includes open source and commercial options and an infographic licensed CC-BY-SA-4.0.

  Language:Nix496

• hash-based-snargs-book/hash-based-snargs-book

  Source code for "Building Cryptographic Proofs from Hash Functions"

  Language:TeX16425

• zero-savvy/vimz

  ZK proofs for image authenticity

  Language:Circom314