Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
-
Updated
May 27, 2024 - Cairo
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Fully open source, End to End Encrypted alternative to Google Photos and Apple Photos
Docs website for the Mina Protocol.
Modern Cryptography Suite in C++17
A community-maintained curated list of awesome resources of RISC Zero.
The landing page of Atlaspad.
Anonymous. Uncensored. Sovereign.
A Decentralized Operating System for ZK Applications
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.
Decentralized crowdfunding platform built on bnb testnet allowing creators to raise funds for projects in a transparent and secure manner.
On-chain dark pool. MPC for anonymous crosses at midpoint prices.
The Nexus zkVM: The zero-knowledge virtual machine
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.
Modular ZK(Zero Knowledge) backend accelerated by GPU
A Virtual Machine for Zero-Knowledge Executions
A performant, 100% open-source, contributor-friendly zkVM.
Node implementation for aleph blockchain built with Substrate framework
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."