Dare to Know - AI, Machine Learning, and Blockchain Technology
-
Updated
Jun 4, 2024 - SCSS
Dare to Know - AI, Machine Learning, and Blockchain Technology
Sindri Zero-Knowledge Proof CLI
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
Universal zero knowledge game engine based on PLONK
A Virtual Machine for Zero-Knowledge Executions
Docs website for the Mina Protocol.
Common cryptographic library used in software at Mysten Labs.
A decentralized education hub for Zcash.
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.
The privacy-focused cryptocurrency
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
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."