utilities

Documentation

Index

• func CheckLastELemConsistency(comp *wizard.CompiledIOP, isActive ifaces.Column, parentCol ifaces.Column, ...)
• func CreateCol(name, subName string, size int, comp *wizard.CompiledIOP) ifaces.Column
• func GetTimestampField() field.Element
• func InitializeCsv(csvPath string, t *testing.T) *csvtraces.CsvTrace
• func MustBeBinary(comp *wizard.CompiledIOP, c ifaces.Column)
• func Ternary(cond, if1, if0 any) *sym.Expression

Functions

func CheckLastELemConsistency

func CheckLastELemConsistency(comp *wizard.CompiledIOP, isActive ifaces.Column, parentCol ifaces.Column, acc ifaces.Accessor, name string)

CheckLastELemConsistency checks that the last element of the active part of parentCol is present in the field element of acc

func CreateCol

func CreateCol(name, subName string, size int, comp *wizard.CompiledIOP) ifaces.Column

CreateCol is a utility function to quickly register columns

func GetTimestampField

func GetTimestampField() field.Element

GetTimestampField returns a field element that contains the hardcoded INST value for a timestamp

func InitializeCsv

func InitializeCsv(csvPath string, t *testing.T) *csvtraces.CsvTrace

InitializeCsv is used to initialize a CsvTrace based on a path

func MustBeBinary

func MustBeBinary(comp *wizard.CompiledIOP, c ifaces.Column)

MustBeBinary constrains the current column to be binary.

func Ternary

func Ternary(cond, if1, if0 any) *sym.Expression

Ternary is a small utility to construct ternaries is constraints