ozone24/Haunti-AI

Haunti is an open-source AI framework on Solana, enabling users to deploy and manage decentralized models via modular tools.

Language: Rust - Size: 176 KB - Last synced at: about 8 hours ago - Pushed at: about 10 hours ago - Stars: 2 - Forks: 0

Sindri-Labs/sindri-js

Sindri Zero-Knowledge Proof CLI

Language: TypeScript - Size: 5.69 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 18 - Forks: 8

arkworks-rs/groth16

A Rust implementation of the Groth16 zkSNARK

Language: Rust - Size: 191 KB - Last synced at: 7 days ago - Pushed at: 26 days ago - Stars: 304 - Forks: 135

socathie/circomlib-matrix

Circuits library for matrix operations in circom

Language: JavaScript - Size: 122 KB - Last synced at: 4 days ago - Pushed at: about 1 year ago - Stars: 32 - Forks: 7

block-xaero/XaeroID

Zero-knowledge identity wallet that proves who you are without revealing personal data. Post-quantum secure DID system with privacy-preserving group membership and role verification.

Language: Rust - Size: 223 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 2 - Forks: 0

mysteryon88/gnark-example

zkSNARK in golang for Ethereum

Language: Go - Size: 49.8 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0

ingonyama-zk/imp1

IMP1 - Ingonyama Mobile Prover, built with ICICLE

Language: C++ - Size: 198 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 22 - Forks: 2

phamhongphuc1999/dynamic-zkp

Language: Jupyter Notebook - Size: 41 KB - Last synced at: 22 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

supernovahs/zk-sunade

Groth16 verifier on Arbitrum Stylus

Language: Rust - Size: 768 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 25 - Forks: 8

Sindri-Labs/sindri-rust

A rust client for interacting with the Sindri API.

Language: Rust - Size: 3.81 MB - Last synced at: 14 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

Kritagya123611/Dead-Drop-ZK-App

🔐 DeadDrop ZK App — A zero-knowledge proof system to verify encrypted messages without revealing them. Built with Circom, Groth16, and Poseidon hash. Proves that decryption of ciphertext with a private key matches a commitment. Ideal for anonymous message reveals.

Language: JavaScript - Size: 36.1 MB - Last synced at: 26 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

Ionut2888/ZeroGate

A secure, full-stack authentication application using zero-knowledge proofs (zk-SNARKs) to prove knowledge of secrets without revealing them. ZeroGate demonstrates privacy-preserving authentication where users can prove they know a password without ever transmitting it.

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

Austin-Williams/tdx-groth16-contribution

Performs a Groth16 Phase 2 contribution inside an Intel TDX, producing a .zkey file and a remote attestation that the toxic waste was never accessible to anyone.

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

zero-savvy/zk-remote-attestation

Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARKs.

Language: Circom - Size: 24.5 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 18 - Forks: 1

rarimo/ultragroth Fork of iden3/rapidsnark

Fast UltraGroth prover written in C++ based on rapidsnark, that generates proofs for circuits created with circom and snarkjs.

Language: Assembly - Size: 995 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 5 - Forks: 0

Tetration-Lab/arkworks-solidity-verifier

Solidity SNARK verifier generator for Arkwork's proof systems.

Language: Rust - Size: 38.1 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 9 - Forks: 2

plok37/circom-scaffold

Starter template for zero-knowledge proof projects using Circom and Foundry. Supports Groth16, Plonk, FFlonk, automated trusted setup, and Solidity verifier generation.

Language: Makefile - Size: 9.77 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Austin-Williams/nitro-pinky-swear

Run a SnarkJs Groth16 trusted-setup ceremony for any .circom file inside an AWS Nitro Enclave, producing a .zkey and cryptographic proof that the toxic waste was never accessible to anyone. All AWS infrastructure is managed for you behind the scenes using Infrastructure as Code—no cloud expertise required.

Language: TypeScript - Size: 65.4 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Envoy-VC/zk-dnssec

Zero-Knowledge DNSSEC Validation for Trustless, Private DNS

Language: Rust - Size: 299 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 1

tokamak-network/DEPRECATED-Tokamak-ZkEVM 📦

A new type of zk-EVM for L2 rollup

Language: JavaScript - Size: 1.17 GB - Last synced at: about 2 months ago - Pushed at: 7 months ago - Stars: 11 - Forks: 3

jonas089/jonas089-snark

Elliptic Curve Cryptography and Field Arithmetic from scratch

Language: Rust - Size: 57.6 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 1

tangle-network/zk-SaaS

zkSNARKs as a service using secure multi-party computation.

Language: Rust - Size: 1.05 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 30 - Forks: 3

Electron-Labs/ed25519-circom 📦

ED25519 implementation in Circom

Language: JavaScript - Size: 104 KB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 114 - Forks: 17

kevincharm/broth16

Groth16 using BLS12-381 pairings

Language: TypeScript - Size: 392 KB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 0

mottla/go-R1CS-Compiler

A compiler to turn GO code into a zkSNARK

Language: Go - Size: 1.03 MB - Last synced at: 5 months ago - Pushed at: about 4 years ago - Stars: 16 - Forks: 1

0xbow-io/Veritas

Vertias supports Circom circuit development & testing over Go

Language: WebAssembly - Size: 61.6 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 8 - Forks: 0

Nurnberg-Meistersinger/sber-hackaton-2024

Repository for the solution of "Fraternitas<>Libertatis" team during the Sber Hackaton 2024.

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

succinctlabs/snark-bn254-verifier 📦

Recursive Groth16 + PlonK Verifier

Language: Rust - Size: 1.14 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 3 - Forks: 7

xorddotcom/SHIELD

Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure code quality and security.

Language: TypeScript - Size: 1.1 MB - Last synced at: 12 days ago - Pushed at: over 2 years ago - Stars: 60 - Forks: 2

circuitscan/snarkjs-groth16-multi-verifier

Combine multiple similar groth16 Solidity verifier contracts into one contract

Language: Solidity - Size: 1.65 MB - Last synced at: 3 days ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

Electron-Labs/sha512

SHA512 Circom circuits

Language: JavaScript - Size: 35.2 KB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 15 - Forks: 4

Jemtaly/QAPy

A QAP compiler implemented in Python, used to compile the codes written in a Python-like programming language into its QAP form, and perform Groth16's setup, proof and verification steps.

Language: Python - Size: 307 KB - Last synced at: 4 months ago - Pushed at: 12 months ago - Stars: 3 - Forks: 0

sudiptab2100/zkSNARK-Auth-JS

zk-SNARK (Groth16) based authentication for EVM smart contracts.

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

manudev97/dapp-zkatm

Implemented educational application of zero knowledge proofs.

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

dple/understanding-zkp

My learning journey to understand practical ZKP systems, including KZG poly commitment, Groth16, Plonk, ...

Language: Jupyter Notebook - Size: 78.1 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 1

firstbatchxyz/hollowdb-prover-rust

Zero-knowledge prover utility for HollowDB.

Language: Rust - Size: 1.08 MB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

firstbatchxyz/hollowdb-prover-go

Zero-knowledge prover utility for HollowDB.

Language: Go - Size: 1.07 MB - Last synced at: 6 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

tvm-contest/devex-32-ton-proof-verification-contest Fork of zealot72/ton-proof-verification-contest

Entry point for TON Proof Verification Contest.

Size: 534 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

tvm-contest/devex-32-podlodkin-freeton-year-control Fork of podlodkin/podlodkin-freeton-year-control

Demo for free TON zkSNARK solution.

Size: 10.4 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

sudiptab2100/Performance-Test-Of-Hash-Functions-Groth16

Prover size performance analysis of various hash function pre-image proving in Groth16 zk-SNARK

Language: JavaScript - Size: 7.62 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

pratham-bhatnagar/zkpVault

Privacy Protected On-chain Identity Based on Zero Knowledge Proof

Language: Circom - Size: 26.1 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 4

sudiptab2100/Incremental-Merkle-Tree-Python

Incremental Merkle Tree (IMT) - a specialized form of a Merkle tree designed to allow for efficient appending of new elements

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

nullity00/batch-ecdsa-secp256r1

Batch verification of ECDSA Signatures using Randomizers for the P-256 curve

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

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: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

tarassh/zkSNARK-under-the-hood

Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.

Language: Jupyter Notebook - Size: 497 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 46 - Forks: 2

airchains-network/svm-sequencer-node

Streamlines transactions, block management, and batching. Integrates DA processes, ensures seamless settlement layer interactions, and offers robust verification. Designed for high throughput and reliability.

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

exfinen/zk-toolkit

Library built from scratch to implement zk-protocols

Language: Rust - Size: 701 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 2

DoraFactory/zk-cosmwasm

A CosmWasm contract verifying zero knowledge proof

Language: Rust - Size: 215 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

Baghery/ABPR22

Simulation Extractable Versions of Groth’s zk-SNARK Revisited

Language: Rust - Size: 258 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 2

Electron-Labs/aes-circom

AES-GCM implementation in Circom

Language: JavaScript - Size: 3.38 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 22 - Forks: 8

dexpresso-protocol/zk-core

ZK circuits used as building blocks in DexpressoV2, Licensed under CC BY-NC-SA 3.0

Language: Circom - Size: 15.6 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

kyoungbinkim/dataTrade-dev

Privacy preserved digital contents trading system on public blockchain

Language: JavaScript - Size: 77.8 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

socathie/zkPhoto

Private authentic photo sharing using ZKP

Language: Solidity - Size: 18.6 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 13 - Forks: 1

LBruyne/ZKPedia

An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.

Size: 461 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

socathie/zkPuzzles

Puzzles using ZKP

Language: Solidity - Size: 648 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 19

socathie/custom-dark-forest

Minimal spawn only version of DF as an exercise to implement ZKP

Language: JavaScript - Size: 1.16 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

socathie/custom-dark-forest-ui

UI for socathie/custom-dark-forest

Language: JavaScript - Size: 1.71 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

zTgx/zkMe

🔐 A Groth16 and PLONK toy, including codes, docs and others. Impl in Modern C++ and Rust, and yes, I'm into Rust.

Language: C++ - Size: 93.8 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

hrmk1o3/bellman-sample

Language: Rust - Size: 14.6 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0