forked from Consensys/gnark
-
Notifications
You must be signed in to change notification settings - Fork 0
/
marshal.go
101 lines (87 loc) · 2.68 KB
/
marshal.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
// Copyright 2020 ConsenSys Software Inc.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
// Code generated by gnark DO NOT EDIT
package cs
import (
"encoding/binary"
"fmt"
"io"
"github.com/blang/semver/v4"
)
// WriteTo encodes R1CS into provided io.Writer using cbor
func (cs *system) WriteTo(w io.Writer) (int64, error) {
b, err := cs.System.ToBytes()
if err != nil {
return 0, err
}
c := cs.CoeffTable.toBytes()
totalLen := uint64(len(b) + len(c))
gnarkVersion := semver.MustParse(cs.GnarkVersion)
// write totalLen, gnarkVersion.Major, gnarkVersion.Minor, gnarkVersion.Patch using
// binary.LittleEndian
if err := binary.Write(w, binary.LittleEndian, totalLen); err != nil {
return 0, err
}
if err := binary.Write(w, binary.LittleEndian, gnarkVersion.Major); err != nil {
return 0, err
}
if err := binary.Write(w, binary.LittleEndian, gnarkVersion.Minor); err != nil {
return 0, err
}
if err := binary.Write(w, binary.LittleEndian, gnarkVersion.Patch); err != nil {
return 0, err
}
// write the system
n, err := w.Write(b)
if err != nil {
return int64(n), err
}
// write the coeff table
m, err := w.Write(c)
return int64(n+m) + 4*8, err
}
// ReadFrom attempts to decode R1CS from io.Reader using cbor
func (cs *system) ReadFrom(r io.Reader) (int64, error) {
var totalLen uint64
if err := binary.Read(r, binary.LittleEndian, &totalLen); err != nil {
return 0, err
}
var major, minor, patch uint64
if err := binary.Read(r, binary.LittleEndian, &major); err != nil {
return 0, err
}
if err := binary.Read(r, binary.LittleEndian, &minor); err != nil {
return 0, err
}
if err := binary.Read(r, binary.LittleEndian, &patch); err != nil {
return 0, err
}
// TODO @gbotrel validate version, duplicate logic with core.go CheckSerializationHeader
if major != 0 || minor < 10 {
return 0, fmt.Errorf("unsupported gnark version %d.%d.%d", major, minor, patch)
}
data := make([]byte, totalLen)
if _, err := io.ReadFull(r, data); err != nil {
return 0, err
}
n, err := cs.System.FromBytes(data)
if err != nil {
return 0, err
}
data = data[n:]
if err := cs.CoeffTable.fromBytes(data); err != nil {
return 0, err
}
return int64(totalLen) + 4*8, nil
}