rangecheck

Documentation

Overview

Package rangecheck implements range checking gadget

This package chooses the most optimal path for performing range checks:

• if the backend supports native range checking and the frontend exports the variables in the proprietary format by implementing frontend.Rangechecker, then use it directly;
• if the backend supports creating a commitment of variables by implementing frontend.Committer, then we use the log-derivative variant [Haböck22] of the product argument as in [BCG+18] . r1cs.NewBuilder returns a builder which implements this interface;
• lacking these, we perform binary decomposition of variable into bits.

Index

• func DecomposeHint(m *big.Int, inputs []*big.Int, outputs []*big.Int) error
• func GetHints() []solver.Hint
• func New(api frontend.API) frontend.Rangechecker

Functions

func DecomposeHint

func DecomposeHint(m *big.Int, inputs []*big.Int, outputs []*big.Int) error

DecomposeHint is a hint used for range checking with commitment. It decomposes large variables into chunks which can be individually range-check in the native range.

func GetHints

func GetHints() []solver.Hint

GetHints returns all hints used in this package

func New

func New(api frontend.API) frontend.Rangechecker

New returns a new range checker depending on the frontend capabilities.