From b8a7d44fa9aaae62c248f3e6c59a6b7d9ad07004 Mon Sep 17 00:00:00 2001 From: Nicholas Ward Date: Thu, 6 Apr 2023 14:19:18 -0700 Subject: [PATCH] deserialize selector info --- plonky2_verifier/deserialize.go | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/plonky2_verifier/deserialize.go b/plonky2_verifier/deserialize.go index 205c5e9..11b1ee7 100644 --- a/plonky2_verifier/deserialize.go +++ b/plonky2_verifier/deserialize.go @@ -130,8 +130,8 @@ type CommonCircuitDataRaw struct { DegreeBits uint64 `json:"degree_bits"` ReductionArityBits []uint64 `json:"reduction_arity_bits"` } `json:"fri_params"` - Gates []string `json:"gates"` DegreeBits uint64 `json:"degree_bits"` + Gates []string `json:"gates"` SelectorsInfo struct { SelectorIndices []uint64 `json:"selector_indices"` Groups []struct { @@ -346,13 +346,22 @@ func DeserializeCommonCircuitData(path string) CommonCircuitData { commonCircuitData.FriParams.Config.ProofOfWorkBits = raw.FriParams.Config.ProofOfWorkBits commonCircuitData.FriParams.Config.NumQueryRounds = raw.FriParams.Config.NumQueryRounds commonCircuitData.FriParams.ReductionArityBits = raw.FriParams.ReductionArityBits + commonCircuitData.DegreeBits = raw.DegreeBits commonCircuitData.Gates = []gate{} for _, gate := range raw.Gates { commonCircuitData.Gates = append(commonCircuitData.Gates, GateInstanceFromId(gate)) } - commonCircuitData.DegreeBits = raw.DegreeBits + commonCircuitData.SelectorsInfo.selectorIndices = raw.SelectorsInfo.SelectorIndices + commonCircuitData.SelectorsInfo.groups = []Range{} + for _, group := range raw.SelectorsInfo.Groups { + commonCircuitData.SelectorsInfo.groups = append(commonCircuitData.SelectorsInfo.groups, Range{ + start: group.Start, + end: group.End, + }) + } + commonCircuitData.QuotientDegreeFactor = raw.QuotientDegreeFactor commonCircuitData.NumGateConstraints = raw.NumGateConstraints commonCircuitData.NumConstants = raw.NumConstants