Vybe Guide
Sign Up

Explore Projects

Discover 7 open source projects

Active filters (1):
Search: zksnarks×
Clear all

Showing 1-7 of 7 projects

ProvableHQ/leo

A programming language for formally verified, zero-knowledge applications

4.8K
Active
Rust
MCP Frameworks
#programming-language#zero-knowledge#formally-verified

iden3/snarkjs

A JavaScript & WASM implementation of the zkSNARK protocol for zero-knowledge cryptography.

2.0K
Active
JavaScript
API Frameworks
LLM Frameworks
React
#cryptography#zero-knowledge#zkSNARK

scipr-lab/libsnark

A C++ library for zkSNARKs, a type of zero-knowledge proof system.

1.9K
Experimental
C++
C++
#authentication#type-safe#zkSNARKs

Zokrates/ZoKrates

A toolbox for building zkSNARKs (zero-knowledge Succinct Non-Interactive Argument of Knowledge) on Ethereum.

1.9K
Archived
Rust
Smart Contracts
CLI Tools
Rust
#ethereum#zero-knowledge#zkSNARKs

Consensys/gnark

gnark is a fast zk-SNARK library with a high-level API to design circuits for zero-knowledge applications.

1.7K
Active
Go
LLM Frameworks
API Frameworks
Golang
#zk-snarks#zero-knowledge#cryptography

iden3/circom

A zkSnark circuit compiler for building privacy-preserving applications.

1.6K
Active
WebAssembly
API Frameworks
RAG & Vector
#zksnark#privacy#circuits

ziesha-network/bazuka

Rust implementation of the Ziesha protocol, a blockchain focused on zero-knowledge proofs and scalability.

1.1K
Archived
Rust
Cryptocurrency
Smart Contracts
Rust
#blockchain#cryptocurrency#proof-of-stake

Stay in the loop

Get weekly updates on trending AI coding tools and projects.