specialqueries

Documentation

Index

• Constants
• func CompileFixedPermutations(comp *wizard.CompiledIOP)
• func RangeProof(comp *wizard.CompiledIOP)
• func ZeroToB(b int) sv.SmartVector

Constants

const (
	/*
		Prefix to indicate an identifier is related to fixedpermutation
	*/
	FIXED_PERMUTATION      string = "FIXED_PERMUTATION"
	PERMUTATION_COLLAPSE_A string = "PERMUTATION_COLLAPSE_A"
	PERMUTATION_COLLAPSE_B string = "PERMUTATION_COLLAPSE_B"
)

const (
	COMPILER_RANGE string = "COMPILER_RANGE"
	IN_POLY_RANGE  string = "IN_POLY_RANGE"
)

Functions

func CompileFixedPermutations

func CompileFixedPermutations(comp *wizard.CompiledIOP)

Reduce the fixed permutations into

func RangeProof

func RangeProof(comp *wizard.CompiledIOP)

Reduce all range proofs

func ZeroToB

func ZeroToB(b int) sv.SmartVector

returns a smart-vector containing [0, b)