Kobi Gurkan

longfellow-zk. Implementation of the Google Zero-Knowledge library for Identity Protocols.

VCVio. A Lean library for machine-checked cryptographic proofs.

ArkLib. Formally Verified Arguments of Knowledge in Lean

tldraw. Build infinite canvas apps in React with the tldraw SDK. World's best, top-most agent recommended #1 five star SDK.

minions. Big & Small LLMs working together

automerge. A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

ACE-Step. ACE-Step: A Step Towards Music Generation Foundation Model

omi. AI that sees your screen, listens to your conversations and tells you what to do

whir-p3. Rust

vocode-core. 🤖 Build voice-based LLM agents. Modular + open source.

CryptoUtilitiesNotebooks. Notebooks showing how to use CryptoUtilities

Zero. Experience email the way you want with Mail0 – the first open source email app that puts your privacy and safety first. Join the discord: https://mail0.link/discord

o1js-blobstream. TypeScript

sp1-contracts. Smart contracts for onchain verification of SP1.

go-ethereum. Go implementation of the Ethereum protocol

hacspec. Please see https://github.com/hacspec/hax

opaque. OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server setting without reliance on PKI and with security against pre-computation attacks upon server compromise.

erigon. Ethereum implementation on the efficiency frontier

cryo. cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

pipeless. An open-source computer vision framework to build and deploy apps in minutes

barustenberg. barretenburg in rust (here we go)

gnark-plonky2-verifier. Go

noa-for-ios. You AI companion. ChatGPT and translation for Monocle AR

jaxite. Jaxite is a fully homomorphic encryption library targeting TPUs and GPUs

babySNARK. Baby SNARK (do do dodo dodo)

sops. Simple and flexible tool for managing secrets

daimo. This is our old, archived payments app. For our current product, see our website.

flashbots-privacy. Practical Experiments on how to add complete privacy to flashbots

testudo. Testudo: Spartan + Groth16

telepathy-contracts. Smart contracts for the Telepathy protocol

powdr. Performance and security acceleration for zkVMs.

infra-role-rocketpool. Ansible role for Nimbus-based RocketPool smart node

sangria_impl. An implementation of Sangria

valida. A STARK-based VM focused on code reuse, performance, and modularity

bark. 🔊 Text-Prompted Generative Audio Model

circomlib. Library of basic circuits for circom

TaleOfTwoKeys. Rust

fully-homomorphic-encryption. Homomorphic Encryption demos

woof. run bark in modal

puzzle-power-corrupts. Rust

react-native-blind-threshold-bls. Java

halo2-scaffold. Basic scaffolding for setting up and writing a Halo2 ZK circuit

voice_recovery_circuit. A circuit to verify the voice recovery process.

TTS. 🐸💬 - a deep learning toolkit for Text-to-Speech, battle-tested in research and production

react-agent-ts. TypeScript

accumulator. Cryptographic accumulators in Rust.

babyagi. Python

AutoGPT. AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

flux. Graph-based LLM power tool for exploring many completions in parallel.

Plonky3. A toolkit for polynomial IOPs (PIOPs)

the-algorithm. Source code for the X Recommendation Algorithm

llama_index. LlamaIndex is the leading document agent and OCR platform

semacaulk-precompute. JavaScript

pgvector. Open-source vector similarity search for Postgres

celo-threshold-bls-rs. Threshold BLS Signatures

technical_notes. A collection of technical notes from the Geometry research team.

daedalus. Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.

awesome-zkml. Aggregator for amazing ZKML resources

sdk. SDK for private data access, built on homomorphic encryption.

hyperplonk. Rust

semacaulk. Gas-efficient and blazing fast proving for private signaling

multi-party-sig. Implementation of protocols for threshold signatures

functional-commitment. Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342

cq. Let's go https://eprint.iacr.org/2022/1763.pdf

tmkms. Tendermint KMS: Key Management System for Tendermint Validators

nostr. a truly censorship-resistant alternative to Twitter that has a chance of working

kzg-ceremony-sequencer. Rust

zero-over-k. Batching zero over k checks

ec-gpu. OpenCL code generator for finite-field arithmetic over arbitrary prime fields

auction-zoo. A menagerie of auction mechanisms implemented in Solidity

noir. Noir is a domain specific language for zero knowledge proofs

helix. A post-modern modal text editor.

caulk. Rust

zkjargon.github.io. A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.

ezkl. ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

zkhack-groth-puzzle. https://geometryresearch.xyz/notebook/zkhack-groth-challenge

poseidon-hash. Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions

mental-poker. A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle

sismo-badges. Contracts of the Sismo Badge Minting Protocol

hydra-s1-zkps. Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo

risc0. RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

craco. CRyptogrAphic COnstructions

jellyfish. A Rust Implementation of the PLONK ZKP System and Extensions

gemini. An elastic proof system based on arkworks

zkevm-circuits. Rust

advent-of-code-2021. Ruby

awesome-starknet. A curated list of awesome StarkNet resources, libraries, tools and more

DeVo. Decentralised Voting Scheme

ecfft-bn254. ECFFT in Rust

algebra-intro. Rust

plonk. A pure Rust PLONK implementation using arkworks as a backend.

tofn. A threshold cryptography library in Rust

umbra-protocol. 🌕🌑 Privacy Preserving Shielded Payments On The Ethereum Blockchain

collaborative-zksnark. Prototype implementations of various Collaborative zkSNARKs.

carrot-pool-stratum. Bitcoin Stratum Pool Plugin ⛏ 📦 🔌

carrot-pool. Mining Pools Made Easy. ⛏ 📦 🏆

mina-vrf-rs. Rust

awesome-mpc. A curated list of multi party computation resources and links.

blst. Multilingual BLS12-381 signature library

nonnative. R1CS constraints for non-native field arithmetic

crypto-primitives. Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

r1cs-std. R1CS constraints for bits, fields, and elliptic curves

algebra. Libraries for finite field, elliptic curve, and polynomial arithmetic

groth16. A Rust implementation of the Groth16 zkSNARK

gm17. A Rust library for the preprocessing zkSNARK of Groth and Maller

curves. Implementations of popular elliptic curves

std. A standard library wrapper for use in the `arkworks` ecosystem

snark-setup-coordinator. TypeScript

marlin. A Rust library for the Marlin preprocessing zkSNARK

poly-commit. A Rust library for polynomial commitments

modexp. Solidity

addchain. addition chains

aleo-setup. A Setup Ceremony for Universal SNARKs

snarkOS. A Decentralized Operating System for ZK Applications

leo. 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

plumo-prover. Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf

ethers-rs. Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

swanky. A suite of Rust libraries for secure multi-party computation.

blind-threshold-bls-wasm. WASM Bindings for blind bls threshold signature generation and verification

semaphore-merkle-tree. A fork of zkp-sbmtjs

celo-bls-snark-rs. Implements SNARK-friendly BLS signatures

celo-blockchain. Previous official repository for the golang Celo Blockchain, for current see op-geth

snark. Interfaces for Relations and SNARKs for these relations

snarkjs. zkSNARK implementation in JavaScript & WASM

snarkette. Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)

beam. Beam: Scalable Confidential Cryptocurrency. Leading the way to Confidential DeFi

powersoftau. An independent implementation of the Powers of Tau MPC ceremony.

deoplete-clang. deoplete.nvim source for C/C++/Obj-C/Obj-C++ with clang-python3

ether-proxy. Ethereum mining proxy

etherwall. Ethereum QT5 Wallet

etherex. EtherEx is an open source, fully transparent, next generation decentralized exchange built on Ethereum.

proxygen. A collection of C++ HTTP libraries including an easy to use HTTP server.