TestModAddCommutativ(t *testing.T) { err := quick.Check(testModAddCommutativ, &quick.Config{}) if err != nil { t.Error(err) } } func testModSubThenAddIde(a *Nat, b *Nat) bool { m := maxModulus(uint(len(a.limbs))) original := new(Nat).set(a) a.Sub(b, m) a.Add(b, m) return a.Equal(original) == 1 } func TestModSubThenAddIde(t *testing.T) { err := quick.Check(testModSubThenAddIde, &quick.Config{}) if err != nil { t.Error(err) } } func TestMontgomeryRoundt(t *testing.T) { err := quick.Check(func(a *Nat)...

//
// Note that when the same TF_Output is listed as both an input and an output,
// the corresponding function's output will equal to this input,
// instead of the original node's output.
//
// Callers must also satisfy the following constraints:
// - `inputs` cannot refer to TF_Outputs within a control flow context. For
//   example, one cannot use the output of "switch" node as input.

TestModAddCommutativ(t *testing.T) { err := quick.Check(testModAddCommutativ, &quick.Config{}) if err != nil { t.Error(err) } } func testModSubThenAddIde(a *Nat, b *Nat) bool { m := maxModulus(uint(len(a.limbs))) original := new(Nat).set(a) a.Sub(b, m) a.Add(b, m) return a.Equal(original) == 1 } func TestModSubThenAddIde(t *testing.T) { err := quick.Check(testModSubThenAddIde, &quick.Config{}) if err != nil { t.Error(err) } } func TestMontgomeryRoundt(t *testing.T) { err := quick.Check(func(a *Nat)...