A decentralized education hub for Zcash.
-
Updated
Jun 2, 2024
A decentralized education hub for Zcash.
Cairo is the first Turing-complete language for creating provable programs for general computation.
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Docs website for the Mina Protocol.
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
A Virtual Machine for Zero-Knowledge Executions
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Constantine: modular, high-performance, zero-dependency cryptography stack for proof systems and blockchain protocols.
The universal zkVM empowering Ethereum as the Global Settlement Layer
ZkMarek is an educational project created by ethmarek, as an exercise to learn cryptography, with focus on understanding Plonk.
Dare to Know - AI, Machine Learning, and Blockchain Technology
Securing markets of dLLMs (Decentralized LLMs) utilizing cryptographic technologies.
Easy setup for Halo2 ZK circuits
Add a description, image, and links to the zkp topic page so that developers can more easily learn about it.
To associate your repository with the zkp topic, visit your repo's landing page and select "manage topics."