README
¶
go-ipa
go-ipa is a library of cryptographic primitives for Verkle Trees.
Table of Contents
Description
go-ipa implements the Verkle Tree cryptography spec with extra optimizations.
The includes:
- Implementation of the Bandersnatch curve, and Banderwagon prime-order group.
- Pedersen Commitment for vector commitments using precomputed tables.
- Inner Product Argument prover and verifier implementations for polynomials in evaluation form.
- Multiproof prover and verifier implementations.
Usage in Verkle Tree client libraries
It's extremely important that clients using this library for Verkle Tree implementations only use the following packages:
commonfor general utility functions.banderwagonfor the prime-order group.ipafor proof generation and verification.
Do not use the bandersnatch package directly nor use unsafe functions to get into banderwagon internals. Doing so can create a security vulnerability in your implementation.
Test & Benchmarks
To run the tests and benchmarks, run the following commands:
$ go test ./...
To run the benchmarks:
go test ./... -bench=. -run=none -benchmem
Security
If you find any security vulnerability, please don't open a GH issue and contact repo owners directly.
LICENSE
MIT and Apache 2.0.
Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func CheckMultiProof ¶
func CheckMultiProof(transcript *common.Transcript, ipaConf *ipa.IPAConfig, proof *MultiProof, Cs []*banderwagon.Element, ys []*fr.Element, zs []uint8) (bool, error)
CheckMultiProof verifies a multi-proof for several polynomials in evaluation form. The list of triplets (C, Y, Z) represents each polynomial commitment, evaluation result, and evaluation point in the domain.
Types ¶
type MultiProof ¶
type MultiProof struct {
IPA ipa.IPAProof
D banderwagon.Element
}
MultiProof is a multi-proof for several polynomials in evaluation form.
func CreateMultiProof ¶
func CreateMultiProof(transcript *common.Transcript, ipaConf *ipa.IPAConfig, Cs []*banderwagon.Element, fs [][]fr.Element, zs []uint8) (*MultiProof, error)
CreateMultiProof creates a multi-proof for several polynomials in evaluation form. The list of triplets (C, Fs, Z) represents each polynomial commitment, evaluations in the domain, and evaluation point respectively.
func (MultiProof) Equal ¶
func (mp MultiProof) Equal(other MultiProof) bool
Equal checks if two multi-proofs are equal.
Source Files
Directories