零知识证明

Contracts of the Sismo Badge Minting Protocol

#区块链#Minimal implementation of the Mimblewimble protocol.

#区块链#Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

#区块链#零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

Cairo is the first Turing-complete language for creating provable programs for general computation.

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

#区块链#A zkVM for Decentralized Private Computations (DPC)

A zero-knowledge protocol for anonymous interactions.

Interfaces for Relations and SNARKs for these relations

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.

indy-sdk

#区块链#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...

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...

A Privacy-Preserving Framework Based on TensorFlow

#区块链#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 ...

"Zero-Knowledge" Proof Implementation with HMAC Communication in Python