Fully open source, End to End Encrypted alternative to Google Photos and Apple Photos
-
Updated
Jun 12, 2024 - Dart
Fully open source, End to End Encrypted alternative to Google Photos and Apple Photos
building blocks for accelerating ZK proofs over binary fields
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Anonymous. Uncensored. Sovereign.
A performant, 100% open-source, contributor-friendly zkVM.
A Virtual Machine for Zero-Knowledge Executions
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A Decentralized Operating System for ZK Applications
The Nexus zkVM: The zero-knowledge virtual machine
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
One-time encrypted password/secret sharing
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
On-chain dark pool. MPC for anonymous crosses at midpoint prices.
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.
Noir is a domain specific language for zero knowledge proofs
Node implementation for aleph blockchain built with Substrate framework
Pure Rust implementation of some Arithmetization-Oriented cryptographic primitives in the Plonk framework
Modular ZK(Zero Knowledge) backend accelerated by GPU
A zero-knowledge protocol for anonymous interactions.
Add a description, image, and links to the zero-knowledge topic page so that developers can more easily learn about it.
To associate your repository with the zero-knowledge topic, visit your repo's landing page and select "manage topics."