github.com/consensys/gnark@v0.11.0/std/hints_test.go (about)

     1  package std
     2  
     3  import (
     4  	"github.com/consensys/gnark/constraint"
     5  )
     6  
     7  func ExampleRegisterHints() {
     8  	// this constraint system correspond to a circuit using gnark/std components which rely on hints
     9  	// like bits.ToNAF(...)
    10  	var ccs constraint.ConstraintSystem
    11  
    12  	// since package bits is not imported, the hint NNAF is not registered
    13  	// --> solver.RegisterHint(bits.NNAF)
    14  	// rather than to keep track on which hints are needed, a prover/solver service can register all
    15  	// gnark/std hints with this call
    16  	RegisterHints()
    17  
    18  	// then -->
    19  	_ = ccs.IsSolved(nil)
    20  }