forked from Consensys/gnark
-
Notifications
You must be signed in to change notification settings - Fork 0
/
cmp.go
58 lines (51 loc) · 789 Bytes
/
cmp.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
package circuits
import (
"github.com/aakash4dev/gnark2/frontend"
)
type cmpCircuit struct {
A frontend.Variable
B frontend.Variable `gnark:",public"`
R frontend.Variable
}
func (circuit *cmpCircuit) Define(api frontend.API) error {
r := api.Cmp(circuit.A, circuit.B)
api.AssertIsEqual(r, circuit.R)
return nil
}
func init() {
good := []frontend.Circuit{
&cmpCircuit{
A: 12346,
B: 12345,
R: 1,
},
&cmpCircuit{
A: 12345,
B: 12346,
R: -1,
},
&cmpCircuit{
A: 12345,
B: 12345,
R: 0,
},
}
bad := []frontend.Circuit{
&cmpCircuit{
A: 12345,
B: 12346,
R: 1,
},
&cmpCircuit{
A: 12346,
B: 12345,
R: -1,
},
&cmpCircuit{
A: 12345,
B: 12345,
R: 1,
},
}
addNewEntry("cmp", &cmpCircuit{}, good, bad, nil)
}