-
Notifications
You must be signed in to change notification settings - Fork 31
/
flags.go
113 lines (98 loc) · 2.65 KB
/
flags.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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
package bn256
import (
"bytes"
"io"
"github.com/consensys/gnark-crypto/ecc/bn254"
)
func changeFlags(buf [bn254.SizeOfG2AffineCompressed]byte) [bn254.SizeOfG2AffineCompressed]byte {
flags := buf[0] & (0b11 << 6)
// check inf flag
if flags&(0b01<<6) != 0 {
buf[0] |= 0b01 << 6
return buf
}
// check smallest
if flags == 0 {
buf[0] |= 0b10 << 6
return buf
}
// check largest
if flags&(0b10<<6) != 0 {
buf[0] |= 0b11 << 6
return buf
}
return buf
}
func changeFlagsInVKToGnarkType(buf []byte) ([]byte, error) {
fixBuffer := make([]byte, 0, len(buf))
var tmpBuf [bn254.SizeOfG2AffineCompressed]byte
r := bytes.NewReader(buf)
// G1.Alpha
_, err := io.ReadFull(r, tmpBuf[:bn254.SizeOfG1AffineCompressed])
if err != nil {
return nil, err
}
tmpBuf = changeFlags(tmpBuf)
fixBuffer = append(fixBuffer, tmpBuf[:bn254.SizeOfG1AffineCompressed]...)
// G2.Beta
_, err = io.ReadFull(r, tmpBuf[:bn254.SizeOfG2AffineCompressed])
if err != nil {
return nil, err
}
tmpBuf = changeFlags(tmpBuf)
fixBuffer = append(fixBuffer, tmpBuf[:bn254.SizeOfG2AffineCompressed]...)
// G2.Gamma
_, err = io.ReadFull(r, tmpBuf[:bn254.SizeOfG2AffineCompressed])
if err != nil {
return nil, err
}
tmpBuf = changeFlags(tmpBuf)
fixBuffer = append(fixBuffer, tmpBuf[:bn254.SizeOfG2AffineCompressed]...)
// G2.Delta
_, err = io.ReadFull(r, tmpBuf[:bn254.SizeOfG2AffineCompressed])
if err != nil {
return nil, err
}
tmpBuf = changeFlags(tmpBuf)
fixBuffer = append(fixBuffer, tmpBuf[:bn254.SizeOfG2AffineCompressed]...)
// G1.K
for {
_, err = io.ReadFull(r, tmpBuf[:bn254.SizeOfG1AffineCompressed])
if err == io.EOF {
break
}
if err != nil {
return nil, err
}
tmpBuf = changeFlags(tmpBuf)
fixBuffer = append(fixBuffer, tmpBuf[:bn254.SizeOfG1AffineCompressed]...)
}
return fixBuffer, nil
}
func ChangeFlagsInProofToGnarkType(buf []byte) ([]byte, error) {
fixBuffer := make([]byte, 0, len(buf))
var tmpBuf [bn254.SizeOfG2AffineCompressed]byte
r := bytes.NewReader(buf)
// G1.Ar
_, err := io.ReadFull(r, tmpBuf[:bn254.SizeOfG1AffineCompressed])
if err != nil {
return nil, err
}
tmpBuf = changeFlags(tmpBuf)
fixBuffer = append(fixBuffer, tmpBuf[:bn254.SizeOfG1AffineCompressed]...)
// G2.Bs
_, err = io.ReadFull(r, tmpBuf[:bn254.SizeOfG2AffineCompressed])
if err != nil {
return nil, err
}
tmpBuf = changeFlags(tmpBuf)
fixBuffer = append(fixBuffer, tmpBuf[:bn254.SizeOfG2AffineCompressed]...)
// G1.Krs
_, err = io.ReadFull(r, tmpBuf[:bn254.SizeOfG1AffineCompressed])
if err != nil {
return nil, err
}
tmpBuf = changeFlags(tmpBuf)
fixBuffer = append(fixBuffer, tmpBuf[:bn254.SizeOfG1AffineCompressed]...)
return fixBuffer, nil
}