Contracts of the Sismo Badge Minting Protocol
#区块链#Minimal implementation of the Mimblewimble protocol.
#区块链#零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Cairo is the first Turing-complete language for creating provable programs for general computation.
#区块链#A zkVM for Decentralized Private Computations (DPC)
A zero-knowledge protocol for anonymous interactions.
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Spartan: High-speed zkSNARKs without trusted setup
#区块链#The privacy-focused cryptocurrency
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
#区块链#Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty
The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterpri...
"Zero-Knowledge" Proof Implementation with HMAC Communication in Python
A Privacy-Preserving Framework Based on TensorFlow
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge p...
#区块链#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 ...
