pedersen-commitment

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Additively homomorphic Pedersen commitment scheme ensuring perfect hiding and computational binding

Information-theoretically hiding and computationally binding Pedersen vector commitments with additive homomorphic properties over prime fields.

Additively homomorphic Pedersen commitment scheme ensuring perfect hiding and computational binding

Information-theoretically hiding and computationally binding Pedersen vector commitments with additive homomorphic properties over prime fields.

Homomorphic cryptographic Pedersen commitments with blinding factors and additive verification

Homomorphic cryptographic Pedersen commitments with blinding factors and additive verification

Zero Knowledge (ZK) toolkit for generating and verifying IETF VRF, Pedersen VRF and Ring Proofs

Go collection of zero knowledge proofs of equality using elliptic curve cryptography

Pedersen's Protocol - Demo

This example generates a random secret key and ordinal value, creates a Pedersen commitment using secp256k1, generates a Bulletproof using secp256k1_bulletproofs, encodes the data as a hex string, adds it as an output to a Bitcoin transaction, and broadcasts it to the network. Note that this is a simplified example and should not be used without ad

Elliptic-curve arithmetic and the schemes built on it, multi-curve, accelerated by libsecp256k1 on secp256k1

A zero-knowledge and transparent proximity marketing platform using Hyperledger Fabric.

This project aims to enable privacy-preserving transactions on the GOC-Ledger. It integrates ElGamal-encrypted transactions and employs different zero-knowledge proofs schemes to ensure the privacy of balances and expenditures. The proofs also guarantee that account balances remain positive and within a specified range.

Sharp: Short Relaxed Range Proofs

Continuum Ghost — Zero-Knowledge Proof Authentication for APIs (Apache 2.0)

Federated, cryptographically-attested risk simulation for European private credit. Rust core + WASM + Solidity attestation + Next.js dashboard. Spike-phase reference implementation. Apache-2.0.

Browser-based zero-knowledge range proofs using Bulletproofs on ristretto255 — 64-bit commitments, aggregate proofs, inner-product argument, and tamper-rejection demo. Part of crypto-lab.

Browser-based commitment scheme demo — hash commitments, Pedersen commitments, binding and hiding properties, sealed-bid auction, and homomorphic addition. The primitive beneath ZKPs, MPC, and VSS.