rahulghangas's Stars
quic-go/quic-go
A QUIC implementation in pure Go
cosmos/cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
google/trillian
A transparent, highly scalable and cryptographically verifiable data store.
LeanerCloud/AutoSpotting
Saves up to 90% of AWS EC2 costs by automating the use of spot instances on existing AutoScaling groups. Installs in minutes using CloudFormation or Terraform. Convenient to deploy at scale using StackSets. Uses tagging to avoid launch configuration changes. Automated spot termination handling. Reliable fallback to on-demand instances.
Zokrates/ZoKrates
A toolbox for zkSNARKs on Ethereum
FuelLabs/fuel-specs
📝 Specifications for the Fuel protocol and the FuelVM, a blazingly fast blockchain VM.
ventali/awesome-zk
A curated list of awesome ZK resources, libraries, tools and more.
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
noir-lang/noir
Noir is a domain specific language for zero knowledge proofs
privacy-scaling-explorations/zkevm-circuits
informalsystems/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
0xPolygonZero/plonky2
a16z/zkdrops
Private airdrops for Ethereum.
ingonyama-zk/ingopedia
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
microsoft/Spartan
Spartan: High-speed zkSNARKs without trusted setup
Consensys/gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
akosba/xjsnark
A high-level framework for developing efficient zk-SNARK circuits
waku-org/js-waku
JavaScript implementation of Waku v2
matter-labs/bellman
Bellman zkSNARK library for community with Ethereum's BN256 support
jules/supernova
Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
AztecProtocol/weierstrudel
Huff implementation of the bn254 curve, for Ethereum smart contracts
AlexandreBelling/go-boojum
A golang demo for zk-SNARK aggregation
Electron-Labs/aes-circom
AES-GCM implementation in Circom
smsunarto/daedalus
Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
Electron-Labs/electron-rs
SDK for Zero Knowledge Proof Verification on Rust based chains
celestiaorg/orchestrator-relayer
Go implementation of the Blobstream orchestrator and relayer
noir-lang/noir_wasm
AstroTech-Labs/cosmos.py
Python SDK for transaction generation, signing and broadcasting to interact with supported Cosmos SDK based blockchains
projectsophon/zk-game-starter
Starter kit for building ZK games
noir-lang/noir-source-resolver
Noir source resolver module to bring as dependency for compiling in Browser