gnark-plonky2-verifier/types/utils.go
types/utils.goRaw
1package types
2
3func ReductionArityBits(
4 arityBits uint64,
5 finalPolyBits uint64,
6 degreeBits uint64,
7 rateBits uint64,
8 capHeight uint64,
9) []uint64 {
10 returnArr := make([]uint64, 0)
11
12 for degreeBits > finalPolyBits && degreeBits+rateBits-arityBits >= capHeight {
13 returnArr = append(returnArr, arityBits)
14 if degreeBits < arityBits {
15 panic("degreeBits < arityBits")
16 }
17 degreeBits -= arityBits
18 }
19
20 return returnArr
21}