package
0.0.0-20241102131135-b546fe3e7180
Repository: https://github.com/olegfomenko/crypto.git
Documentation: pkg.go.dev

# README

Bulletproofs: Short Proofs for Confidential Transactions

License: MIT

This package contains the implementation of Bulletproofs - the logarithmic size range proofs.

The main.go contains the primary implementation of bulletproof and inner product argument proof that uses Fiat-Shamir heuristic to make proof non-interactive.

The main_test.go contains the example of usage of the primary implementation.

The docs_test.go contains several implementation of a word by word approach defined in 3-4.2 paragraphs of original doc.

Usage

Explore main_test.go TestBulletProof with example of usage.

# Functions

No description provided by the author
NewBulletProofPublic generates new public data for given N.
NewInnerArgumentPublic generates new public data for given N.

# Structs

BulletProof represents range ZK proof and contains information about global parameters and all public data that is required to verify proof.
BulletProofPublic represents public general information about range proof system.
InnerArgumentPublic represents public general information for inner argument proof system.
InnerProductProof represents ZK proof of knowledge of committed product of two vectors (inner product argument proof).