Fully open source, End to End Encrypted alternative to Google Photos and Apple Photos
-
Updated
Jun 13, 2024 - Dart
Fully open source, End to End Encrypted alternative to Google Photos and Apple Photos
Typescript bindings for the Renegade relayer API.
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
On-chain dark pool. MPC for anonymous crosses at midpoint prices.
Modular restaking infrastructure for creators, restakers, and operators.
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A performant, 100% open-source, contributor-friendly zkVM.
Noir is a domain specific language for zero knowledge proofs
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Multi-party computation libraries written in Rust 🦀
A framework for building modular AVS and Tangle Blueprints: https://docs.tangle.tools/developers/blueprints.
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
A Virtual Machine for Zero-Knowledge Executions
A Decentralized Operating System for ZK Applications
A monorepo of reusable libraries for zero-knowledge technologies.
Modern Cryptography Suite in C++17
Anonymous. Uncensored. Sovereign.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
A curated list of Zero Knowledge links, mostly focusing on blockchain.
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."