lookup

Documentation

Index

• func CompileLogDerivative(comp *wizard.CompiledIOP)

Functions

func CompileLogDerivative

func CompileLogDerivative(comp *wizard.CompiledIOP)

CompileLogDerivative scans `comp“, looking for Inclusion queries and compile them using the LogDerivativeLookup technique. The compiler attempt to group queries relating to the same table. This allows saving in commitment because when grouping is possible, then we only need to commit to a single extract the table and the checked from the lookup query and ensures that the table are in canonical order. That is because we want to group lookups into the same columns but not in the same order.