polytope-labs/hyperbridge

Hyperbridge scales verifiable interoperability

Language: Rust - Size: 45.8 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 154 - Forks: 57

rarimo/passport-zk-circuits

Verifying biometric passports with zero knowledge proofs (SNARKs)

Language: Circom - Size: 37.1 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 78 - Forks: 18

zk-Call/zkp-hmac-communication-python

"Zero-Knowledge" Proof Implementation with HMAC Communication in Python

Language: Python - Size: 2.1 MB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 982 - Forks: 240

zk-Call/zkp-hmac-communication-cpp

"Zero-Knowledge" Proof Implementation with HMAC Communication in C++

Language: C++ - Size: 1.95 MB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 582 - Forks: 122

zk-Call/zkp-hmac-communication-js

"Zero-Knowledge" Proof Implementation with HMAC Communication in JavaScript

Language: JavaScript - Size: 1.98 MB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 673 - Forks: 129

zk-Call/zkp-hmac-communication-go

"Zero-Knowledge" Proof Implementation with HMAC Communication in Go

Language: Go - Size: 1.85 MB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 491 - Forks: 62

eferbarn/scroll-marks-sampler

A sampler to find valuable insights around Scroll ZKP

Language: Python - Size: 188 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 6 - Forks: 2

webdott/zk

ZK is a Rust-based repo that aims to focus on learning and implementing zero-knowledge proofs.

Language: Rust - Size: 102 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 1 - Forks: 0

WTFAcademy/WTF-zk

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

Language: Jupyter Notebook - Size: 81.5 MB - Last synced at: 11 days ago - Pushed at: about 2 months ago - Stars: 1,850 - Forks: 231

NethermindEth/formalverification.xyz

A website listing all the best FV companies in the Crypto space.

Language: TypeScript - Size: 1.6 MB - Last synced at: 1 day ago - Pushed at: 12 days ago - Stars: 8 - Forks: 8

ZeroSync/ZeroSync

A STARK proof to sync a Bitcoin full node in an instant.

Language: Cairo - Size: 2.9 MB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 432 - Forks: 64

rarimo/verificator-svc

Language: Go - Size: 10.1 MB - Last synced at: 12 days ago - Pushed at: 14 days ago - Stars: 5 - Forks: 1

coset-io/zkp-academy

A month-long zkp study group, one topic at a time.

Language: Python - Size: 20.1 MB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 129 - Forks: 36

alxkzmn/zk-wordle

The Wordle you know, but with Zero-Knowledge Proofs

Language: TypeScript - Size: 84.1 MB - Last synced at: 13 days ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 0

alxkzmn/spartan-circom

Write Spartan circuits in Circom

Language: Rust - Size: 0 Bytes - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Sphereon-Opensource/SSI-SDK-crypto-extensions

SSI SDK Crypto Extensions (BBS+, JWK, RSA, EBSI, KMS & DID methods)

Language: TypeScript - Size: 3.25 MB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 3

arcxteam/nexus-node

Nexus is ZkVM a Modular Verifiable Internet. A Complete Guide - Run Nexus node as Prover Network.

Language: Shell - Size: 90.8 KB - Last synced at: 1 day ago - Pushed at: about 2 months ago - Stars: 8 - Forks: 2

iagohk/DEX-Trading-Tool

Powerful tools for risk management and analysis, also provides high speed execution of trades due to gas optimization, mempool monitoring and use of dedicated nodes. Anti-Scam system adds an extra layer of security by protecting users from fraudulent tokens and contracts.

Size: 1000 Bytes - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

starkoracles/zkos

Cross-zk-rollup aggregation

Language: Rust - Size: 14.5 MB - Last synced at: 2 days ago - Pushed at: about 2 years ago - Stars: 60 - Forks: 6

vaisx05/blockwallet

crypto wallet app with zkp in ganache environment

Language: C - Size: 70.3 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

Unirep/Unirep

A Zero-Knowledge Protocol for Provable User Data Management

Language: TypeScript - Size: 60.8 MB - Last synced at: 9 days ago - Pushed at: 2 months ago - Stars: 99 - Forks: 22

nick-stebbings/zkp

Exploring the Math behind Zero Knowledge proofs with Rust implementations

Language: Rust - Size: 10.7 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

zhenfeizhang/pointproofs

Pointproof vector commitment re-implemented

Language: Rust - Size: 13.7 KB - Last synced at: 6 days ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 2

airchains-network/airchains

A versatile and powerful framework for creating customized rollups with a variety of options. Our framework supports EVM, SVM, and CosmWasm-based rollups

Language: Go - Size: 5.29 MB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 14 - Forks: 8

snarkify/sirius-quickstart

Minimal example for the Sirius Plonkish Folding Framework, demonstrating basic IVC setup and circuit folding

Language: Rust - Size: 8.79 KB - Last synced at: 3 days ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

njakov/learning-zero-knowledge-proofs

This repository contains my work, notes, and implementations from the Zero-Knowledge Proofs course.

Size: 1.95 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

asagynbaev/ZkpSharp

ZkpSharp is a .NET library for implementing Zero-Knowledge Proofs (ZKP). This library allows you to securely prove certain information (such as age or balance) without revealing the actual data. It uses cryptographic hashes and salts to ensure privacy and security.

Language: C# - Size: 9.77 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

quantumcryptlab/zkp-grpc-auth

A demo of secure gRPC authentication using Zero-Knowledge Proofs (ZKPs)

Language: Rust - Size: 5.86 KB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

z2o-k7e/zkp-co-learn

zkp-co-learning

Language: Rust - Size: 40 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 57 - Forks: 13

JohnBasrai/zkp-cp

Chaum-Pedersen Zero Knowledge Proof

Language: Rust - Size: 29.3 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

AshenWijesingha/zkp_blockchain_iam

🔐 Zero Knowledge Proof Identity & Access Management system built with Python, Ethereum, and FastAPI. Combines blockchain security with privacy-preserving authentication.

Language: TypeScript - Size: 226 KB - Last synced at: 20 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

srthkaggrwl/Zero_Knowledge_Proof_Dapp

A Zero Knowledge Proof (ZKP) DApp on Ethereum that allows users to securely store and verify secrets without revealing them. Using MetaMask for authentication and web3.js for blockchain interaction, this project ensures privacy while enabling decentralized secret verification.

Size: 22.5 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

amkCha/sneak-peek

Zk-proof of trading strategy for crypto-influencers - Winner 🏆 of Cypherpunk 2021

Language: Go - Size: 1.6 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

PoCInnovation/Workshops

Workshops organized to introduce students to security, AI, blockchain, AR/VR, hardware and software

Language: Jupyter Notebook - Size: 136 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 367 - Forks: 67

ZpokenWeb3/zk-light-client-implementation

Zero Knowledge Light Client Implementation by Zpoken team.

Language: HTML - Size: 13.8 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 259 - Forks: 13

Hyle-org/vibe-check

A zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé! This is a test project.

Language: Cairo - Size: 8.12 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 9 - Forks: 2

nasserdata/TrustFundManagement

This repository contains a smart contract written in Solidity for managing trust funds and controlling information systems. The contract utilizes zero-knowledge proofs (zkp) to prove login authenticity and provides document storage functionality.

Language: Solidity - Size: 18.6 KB - Last synced at: 6 days ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

0xEigenLabs/eigencc

A TEE framework to ship zkVM/zkEVM

Language: Rust - Size: 60.5 MB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 30 - Forks: 10

zenium-community/zenium Fork of bitcoin/bitcoin

Zenium integration/staging tree

Language: C++ - Size: 219 MB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

alxkzmn/mopro_flutter 📦

Generate ZKPs in your Flutter mobile app!

Language: Kotlin - Size: 35.1 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

abhi3700/My_Learning_Cryptography

Learn about cryptography concepts - Both basics and core.

Language: Solidity - Size: 25 MB - Last synced at: 8 months ago - Pushed at: 9 months ago - Stars: 13 - Forks: 0

zkmove/halo2-verifier.move

A set of tooling of halo2 circuits verification in Move environments

Language: Move - Size: 39.5 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 17 - Forks: 3

alxkzmn/zk-atlas

A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies

Size: 28.3 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 13 - Forks: 1

airchains-network/svm-station

Streamlined Solana Virtual Machine Integration for High-Performance rollups.

Language: Rust - Size: 13.6 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

aman-tiwari001/anon-aadhaar-login

A React App integrated with Wallet Connect and ZK proof based UIDAI Aadhaar verification using Anon Aadhaar SDK

Language: TypeScript - Size: 7.1 MB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

akshatamohanty/practical-blockchain

Website for practicalblockchain.org. Practical Blockchain is a meetup group in Singapore, started in 2021. We focus on talks and workshops by speakers building blockchain applications in production, learning from their research and insights.

Size: 15.5 MB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

sushigod0/zkproofs

This repository demonstrates how to generate zero-knowledge proofs (ZKPs) using Circom and SnarkJS.

Language: JavaScript - Size: 42.9 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

styin/defi-loan-zkp-credit

A dApp fostering peer-to-peer lending enabled by zero-knowledge proof-based credit

Language: TypeScript - Size: 28.9 MB - Last synced at: 11 months ago - Pushed at: 12 months ago - Stars: 4 - Forks: 0

airchains-network/rollup-evm

EVM-compatible Cosmos Chain for scalable and interoperable DApps and smart contracts, integrating Ethereum's robust features with Cosmos' network

Language: Go - Size: 19.8 MB - Last synced at: 10 months ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 3

laving5olegreiner/Airdrop_bot

Language: Assembly - Size: 66.4 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

mjzk/yazkb

Yet Another Zero Knowledge Benchmark

Language: Rust - Size: 5.04 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

wangqinghao123/learning-zkp Fork of sec-bit/learning-zkp

articles, codes and tools all about zero-knowledge proofs

Size: 22.6 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

wangqinghao123/Awesome-Things-in-ZKProofs Fork of matter-labs/awesome-zero-knowledge-proofs

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Size: 146 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

twingdev/go-libzk13

ZK13: A Super Fast Zero-Knowledge Proof Protocol for Set Membership

Language: Go - Size: 11.4 MB - Last synced at: 10 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

jpraynaud/halo2-digitsum

Simple implementation of a zk-SNARK circuit with Halo 2 proof system.

Language: Rust - Size: 80.1 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

the-code-writer/zk-wallet

ZK Wallet is a DeFi solution that allows users to store, manage, and transact their crypto assets in a secure, private, and efficient way. DZkWallet uses blockchain technology and zero-knowledge proofs (ZKPs) to ensure the security, transparency, and anonymity of the wallet operations and the user data.

Language: JavaScript - Size: 6.24 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 1

alexcostars/paillier-circom-circuit

Language: Circom - Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

alexcostars/paillier-range-proof-zkp

Language: JavaScript - Size: 4.88 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

nichonien/just-zkp

Repository with resources on ZKPs

Size: 972 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

KrzysiekKuczma/zkVote

zkVote - is an example DAO where users can submit their own proposals, vote on the other proposals, and in the end execute the proposals that have been resolved. However, the biggest game changer here is the voting system. The voting system utilises Liminal 0, which leverages zero-knowledge proofs to hide the decision of the particular voter.

Language: Rust - Size: 4.28 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 3

airchains-network/airsettle

A blockchain platform focused on secure and efficient data management. It features custom execution layers, batch processing, and a democratic validator system.

Language: Go - Size: 333 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

mickymultani/ZeroKnowledgeProofs

Interactive simulation of Zero-Knowledge Proofs using elliptic curve cryptography in Python, demonstrating secure credit score verification for lending processes.

Language: Jupyter Notebook - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

hammurabi-mendes/zk-rollup

ZK-rollup in Javascript, using circom & snarkJS. This is a meant-to-be-simple implementation aimed at learners.

Language: JavaScript - Size: 68.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

CredLancer/LancersZK

on-chain freelancing platform that offers a trustless solution for tapping into the talent market, featuring decentralized private payments and verifiable credentials

Language: Solidity - Size: 27.1 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

Envoy-VC/axioms

Axioms provides organizations a one-stop shop for certificate issuance and verification.

Language: TypeScript - Size: 3.05 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

mehzabin-haque/food-crowdfunding

A blockchain-based food crowdfunding platform secures recipes with ZKP and enables users to share and raise funds for their unique culinary creations.

Language: TypeScript - Size: 24.9 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

raidastauras/zkapp-o1js

Language: TypeScript - Size: 914 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

bullet-tooth/zk-battleship

Language: Rust - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Koushith/Meme-Lord

Welcome to Memeify, the ultimate hub for OG Memers. We'll help you create undeniable proof that you're the original mastermind behind the dankest memes on the web.

Language: HTML - Size: 1.3 MB - Last synced at: 19 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

0x-bridge-lending/0x-bridge-contracts

zero bridge contracts Ethereum Mainnet & Starknet

Language: JavaScript - Size: 697 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

sartimo/rnark

rnark is a fast zk-SNARK library that allows to write high-level zk-proofs in Rust

Language: Rust - Size: 5.13 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1

z-prize/2022-entries

ZPrize 2022 - All qualified entries

Language: Rust - Size: 45.2 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 43 - Forks: 14

raidastauras/zk-github-smart-contract

Language: TypeScript - Size: 241 KB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

raidastauras/zk-github-oracle

Language: JavaScript - Size: 29.3 KB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 1

CarloMinds/zk_plonk_dapp

Zero Knowlege Proof Example

Language: Solidity - Size: 595 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

jagnani73/ethforall-delinzk

BUIDLing a VinCredible Network. Experience trusted networking on Polygon ID.

Language: TypeScript - Size: 4.13 MB - Last synced at: 12 months ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 2

raidastauras/zkapp-ui

Language: Vue - Size: 119 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 2

0xMarto/zkProofOfBuffiness

One of the many cool implementations of a zkProofOfOwnership platform developed for the ETHDenver 2022 hackaton.

Language: TypeScript - Size: 6.39 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 11 - Forks: 3

raidastauras/zk-github-ui

Language: Vue - Size: 178 KB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

LuozhuZhang/understanding-zk-rollup

understanding zk-rollup

Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

wangqinghao123/awesome-zk Fork of ventali/awesome-zk

A curated list of awesome ZK resources, libraries, tools and more.

Size: 339 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

Equideum/libsnark

Custom fork of public libsnark (used in ZKP-Benchmarker)

Language: C++ - Size: 10.6 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

GigameshGarages/HydraNet

Verification of Token Ownership and Supply of Hedera Token Service using Zokrates Zero Knowledge Proof System

Language: Vue - Size: 205 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

sambacha/zgres-db Fork of handshake-org/urkel

zGres: Cryptographically provable real-time database (postgres+merkle+zk)

Language: JavaScript - Size: 698 KB - Last synced at: 8 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0