univariates

Documentation

Index

• Constants
• func CompileLocalOpening(comp *wizard.CompiledIOP)
• func MultiPointToSinglePoint(targetSize int) func(comp *wizard.CompiledIOP)
• func Naturalize(comp *wizard.CompiledIOP)

Constants

const (
	/*
		Prefix to indicate that an identifier relates to
		global constraint compilation. MPTS stands for
		Multi Point To Single
	*/
	MPTS string = "MPTS"
	// Suffixes for the commitment created throughout the
	// compilation process
	MTSP_QUOTIENT_SUFFIX string = "QUOTIENT"
	// Suffixes for the random coins
	MTSP_LIN_COMB  string = "LIN_COMB"
	MTSP_RAND_EVAL string = "RAND_EVAL"
	// Suffixes for the queries
	MTPS_EVAL_QUERY string = "EVAL_QUERY"
)

const (
	NATURALIZE string = "NATURALIZE"
)

Functions

func CompileLocalOpening

func CompileLocalOpening(comp *wizard.CompiledIOP)

func MultiPointToSinglePoint

func MultiPointToSinglePoint(targetSize int) func(comp *wizard.CompiledIOP)

Reduce all the univariate queries into a unique single point evaluation

See : https://eprint.iacr.org/2020/081.pdf (Section 3)

func Naturalize

func Naturalize(comp *wizard.CompiledIOP)

This compiler ensures that all univariate queries relates to `Natural` commitment. In a nutshell, it removes all the offset , repeats etc..

Offset:

P(xw) = a for x = t
	=>
P(x) = a for x = wt

Repeat:

P(x^2) = a for x = t
	=>
P(x) = a for x = t^2

Interleaving:

I(X) = 1/2*P(X)(X^n - 1) - 1/2*P(-X)(X^n + 1)