Method Check

ecgo/examples/log_up/main.go:215–241

(api ecgo.API, column_combine_option ColumnCombineOptions)

}

func (c *LogUpCircuit) Check(api ecgo.API, column_combine_option ColumnCombineOptions) error {

	// The challenge used to complete polynomial identity check
	alpha := api.GetRandomValue()
	// The randomness used to combine the columns
	column_combine_randomness := GetColumnRandomness(api, uint(len(c.TableKeys[0])+len(c.TableValues[0])), column_combine_option)

	// Table Polynomial
	table_combined := CombineVecAt2d(c.TableKeys, c.TableValues)
	table_single_column := CombineColumn(api, table_combined, column_combine_randomness)
	table_poly_at_alpha := LogUpPolyValsAtAlpha(api, table_single_column, c.QueryCount, alpha)

	// Query Polynomial
	query_combined := CombineVecAt2d(c.QueryKeys, c.QueryResult)
	query_single_column := CombineColumn(api, query_combined, column_combine_randomness)
	dummy_count := make([]frontend.Variable, len(query_single_column))
	for i := 0; i < len(dummy_count); i++ {
		dummy_count[i] = 1
	}
	query_poly_at_alpha := LogUpPolyValsAtAlpha(api, query_single_column, dummy_count, alpha)

	api.AssertIsEqual(
		api.Mul(table_poly_at_alpha.Numerator, query_poly_at_alpha.Denominator),
		api.Mul(query_poly_at_alpha.Numerator, table_poly_at_alpha.Denominator),
	)
	return nil
}

const ColumnCombineOption ColumnCombineOptions = FullRandom