permutation

Documentation

Overview

Package permutation provides an API to build permutation proofs.

Index

• Variables
• func Verify(vk kzg.VerifyingKey, proof Proof) error
• type Proof
  • func Prove(pk kzg.ProvingKey, t1, t2 []fr.Element) (Proof, error)

Variables

var (
	ErrIncompatibleSize = errors.New("t1 and t2 should be of the same size")
	ErrSize             = errors.New("t1 and t2 should be of size a power of 2")
	ErrPermutationProof = errors.New("permutation proof verification failed")
	ErrGenerator        = errors.New("wrong generator")
)

Functions

func Verify

func Verify(vk kzg.VerifyingKey, proof Proof) error

Verify verifies a permutation proof.

Types

type Proof

type Proof struct {
	// contains filtered or unexported fields
}

Proof proof that the commitments of t1 and t2 come from the same vector but permuted.

func Prove

func Prove(pk kzg.ProvingKey, t1, t2 []fr.Element) (Proof, error)

Prove generates a proof that t1 and t2 are the same but permuted. The size of t1 and t2 should be the same and a power of 2.