From 689cd2673aabd2ba8d64392a53ecf2c015dd9531 Mon Sep 17 00:00:00 2001
From: Youssef El Housni <youssef.housni21@gmail.com>
Date: Mon, 6 Nov 2023 16:43:09 -0500
Subject: [PATCH] fix(kzg): bw6-633 vk marshal

---
 ecc/bw6-633/kzg/marshal.go                    | 2016 +++++++++++++++++
 .../generator/kzg/template/marshal.go.tmpl    |   48 +-
 2 files changed, 2048 insertions(+), 16 deletions(-)

diff --git a/ecc/bw6-633/kzg/marshal.go b/ecc/bw6-633/kzg/marshal.go
index f918126d90..8c6ecdaeb7 100644
--- a/ecc/bw6-633/kzg/marshal.go
+++ b/ecc/bw6-633/kzg/marshal.go
@@ -55,6 +55,258 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*bw6633.Encoder)) (
 	enc := bw6633.NewEncoder(w, options...)
 
 	toEncode := []interface{}{
+		&vk.Lines[0][0][157].R0,
+		&vk.Lines[0][0][157].R1,
+		&vk.Lines[0][0][156].R0,
+		&vk.Lines[0][0][156].R1,
+		&vk.Lines[0][0][155].R0,
+		&vk.Lines[0][0][155].R1,
+		&vk.Lines[0][0][154].R0,
+		&vk.Lines[0][0][154].R1,
+		&vk.Lines[0][0][153].R0,
+		&vk.Lines[0][0][153].R1,
+		&vk.Lines[0][0][152].R0,
+		&vk.Lines[0][0][152].R1,
+		&vk.Lines[0][0][151].R0,
+		&vk.Lines[0][0][151].R1,
+		&vk.Lines[0][0][150].R0,
+		&vk.Lines[0][0][150].R1,
+		&vk.Lines[0][0][149].R0,
+		&vk.Lines[0][0][149].R1,
+		&vk.Lines[0][0][148].R0,
+		&vk.Lines[0][0][148].R1,
+		&vk.Lines[0][0][147].R0,
+		&vk.Lines[0][0][147].R1,
+		&vk.Lines[0][0][146].R0,
+		&vk.Lines[0][0][146].R1,
+		&vk.Lines[0][0][145].R0,
+		&vk.Lines[0][0][145].R1,
+		&vk.Lines[0][0][144].R0,
+		&vk.Lines[0][0][144].R1,
+		&vk.Lines[0][0][143].R0,
+		&vk.Lines[0][0][143].R1,
+		&vk.Lines[0][0][142].R0,
+		&vk.Lines[0][0][142].R1,
+		&vk.Lines[0][0][141].R0,
+		&vk.Lines[0][0][141].R1,
+		&vk.Lines[0][0][140].R0,
+		&vk.Lines[0][0][140].R1,
+		&vk.Lines[0][0][139].R0,
+		&vk.Lines[0][0][139].R1,
+		&vk.Lines[0][0][138].R0,
+		&vk.Lines[0][0][138].R1,
+		&vk.Lines[0][0][137].R0,
+		&vk.Lines[0][0][137].R1,
+		&vk.Lines[0][0][136].R0,
+		&vk.Lines[0][0][136].R1,
+		&vk.Lines[0][0][135].R0,
+		&vk.Lines[0][0][135].R1,
+		&vk.Lines[0][0][134].R0,
+		&vk.Lines[0][0][134].R1,
+		&vk.Lines[0][0][133].R0,
+		&vk.Lines[0][0][133].R1,
+		&vk.Lines[0][0][132].R0,
+		&vk.Lines[0][0][132].R1,
+		&vk.Lines[0][0][131].R0,
+		&vk.Lines[0][0][131].R1,
+		&vk.Lines[0][0][130].R0,
+		&vk.Lines[0][0][130].R1,
+		&vk.Lines[0][0][129].R0,
+		&vk.Lines[0][0][129].R1,
+		&vk.Lines[0][0][128].R0,
+		&vk.Lines[0][0][128].R1,
+		&vk.Lines[0][0][127].R0,
+		&vk.Lines[0][0][127].R1,
+		&vk.Lines[0][0][126].R0,
+		&vk.Lines[0][0][126].R1,
+		&vk.Lines[0][0][125].R0,
+		&vk.Lines[0][0][125].R1,
+		&vk.Lines[0][0][124].R0,
+		&vk.Lines[0][0][124].R1,
+		&vk.Lines[0][0][123].R0,
+		&vk.Lines[0][0][123].R1,
+		&vk.Lines[0][0][122].R0,
+		&vk.Lines[0][0][122].R1,
+		&vk.Lines[0][0][121].R0,
+		&vk.Lines[0][0][121].R1,
+		&vk.Lines[0][0][120].R0,
+		&vk.Lines[0][0][120].R1,
+		&vk.Lines[0][0][119].R0,
+		&vk.Lines[0][0][119].R1,
+		&vk.Lines[0][0][118].R0,
+		&vk.Lines[0][0][118].R1,
+		&vk.Lines[0][0][117].R0,
+		&vk.Lines[0][0][117].R1,
+		&vk.Lines[0][0][116].R0,
+		&vk.Lines[0][0][116].R1,
+		&vk.Lines[0][0][115].R0,
+		&vk.Lines[0][0][115].R1,
+		&vk.Lines[0][0][114].R0,
+		&vk.Lines[0][0][114].R1,
+		&vk.Lines[0][0][113].R0,
+		&vk.Lines[0][0][113].R1,
+		&vk.Lines[0][0][112].R0,
+		&vk.Lines[0][0][112].R1,
+		&vk.Lines[0][0][111].R0,
+		&vk.Lines[0][0][111].R1,
+		&vk.Lines[0][0][110].R0,
+		&vk.Lines[0][0][110].R1,
+		&vk.Lines[0][0][109].R0,
+		&vk.Lines[0][0][109].R1,
+		&vk.Lines[0][0][108].R0,
+		&vk.Lines[0][0][108].R1,
+		&vk.Lines[0][0][107].R0,
+		&vk.Lines[0][0][107].R1,
+		&vk.Lines[0][0][106].R0,
+		&vk.Lines[0][0][106].R1,
+		&vk.Lines[0][0][105].R0,
+		&vk.Lines[0][0][105].R1,
+		&vk.Lines[0][0][104].R0,
+		&vk.Lines[0][0][104].R1,
+		&vk.Lines[0][0][103].R0,
+		&vk.Lines[0][0][103].R1,
+		&vk.Lines[0][0][102].R0,
+		&vk.Lines[0][0][102].R1,
+		&vk.Lines[0][0][101].R0,
+		&vk.Lines[0][0][101].R1,
+		&vk.Lines[0][0][100].R0,
+		&vk.Lines[0][0][100].R1,
+		&vk.Lines[0][0][99].R0,
+		&vk.Lines[0][0][99].R1,
+		&vk.Lines[0][0][98].R0,
+		&vk.Lines[0][0][98].R1,
+		&vk.Lines[0][0][97].R0,
+		&vk.Lines[0][0][97].R1,
+		&vk.Lines[0][0][96].R0,
+		&vk.Lines[0][0][96].R1,
+		&vk.Lines[0][0][95].R0,
+		&vk.Lines[0][0][95].R1,
+		&vk.Lines[0][0][94].R0,
+		&vk.Lines[0][0][94].R1,
+		&vk.Lines[0][0][93].R0,
+		&vk.Lines[0][0][93].R1,
+		&vk.Lines[0][0][92].R0,
+		&vk.Lines[0][0][92].R1,
+		&vk.Lines[0][0][91].R0,
+		&vk.Lines[0][0][91].R1,
+		&vk.Lines[0][0][90].R0,
+		&vk.Lines[0][0][90].R1,
+		&vk.Lines[0][0][89].R0,
+		&vk.Lines[0][0][89].R1,
+		&vk.Lines[0][0][88].R0,
+		&vk.Lines[0][0][88].R1,
+		&vk.Lines[0][0][87].R0,
+		&vk.Lines[0][0][87].R1,
+		&vk.Lines[0][0][86].R0,
+		&vk.Lines[0][0][86].R1,
+		&vk.Lines[0][0][85].R0,
+		&vk.Lines[0][0][85].R1,
+		&vk.Lines[0][0][84].R0,
+		&vk.Lines[0][0][84].R1,
+		&vk.Lines[0][0][83].R0,
+		&vk.Lines[0][0][83].R1,
+		&vk.Lines[0][0][82].R0,
+		&vk.Lines[0][0][82].R1,
+		&vk.Lines[0][0][81].R0,
+		&vk.Lines[0][0][81].R1,
+		&vk.Lines[0][0][80].R0,
+		&vk.Lines[0][0][80].R1,
+		&vk.Lines[0][0][79].R0,
+		&vk.Lines[0][0][79].R1,
+		&vk.Lines[0][0][78].R0,
+		&vk.Lines[0][0][78].R1,
+		&vk.Lines[0][0][77].R0,
+		&vk.Lines[0][0][77].R1,
+		&vk.Lines[0][0][76].R0,
+		&vk.Lines[0][0][76].R1,
+		&vk.Lines[0][0][75].R0,
+		&vk.Lines[0][0][75].R1,
+		&vk.Lines[0][0][74].R0,
+		&vk.Lines[0][0][74].R1,
+		&vk.Lines[0][0][73].R0,
+		&vk.Lines[0][0][73].R1,
+		&vk.Lines[0][0][72].R0,
+		&vk.Lines[0][0][72].R1,
+		&vk.Lines[0][0][71].R0,
+		&vk.Lines[0][0][71].R1,
+		&vk.Lines[0][0][70].R0,
+		&vk.Lines[0][0][70].R1,
+		&vk.Lines[0][0][69].R0,
+		&vk.Lines[0][0][69].R1,
+		&vk.Lines[0][0][68].R0,
+		&vk.Lines[0][0][68].R1,
+		&vk.Lines[0][0][67].R0,
+		&vk.Lines[0][0][67].R1,
+		&vk.Lines[0][0][66].R0,
+		&vk.Lines[0][0][66].R1,
+		&vk.Lines[0][0][65].R0,
+		&vk.Lines[0][0][65].R1,
+		&vk.Lines[0][0][64].R0,
+		&vk.Lines[0][0][64].R1,
+		&vk.Lines[0][0][63].R0,
+		&vk.Lines[0][0][63].R1,
+		&vk.Lines[0][0][62].R0,
+		&vk.Lines[0][0][62].R1,
+		&vk.Lines[0][0][61].R0,
+		&vk.Lines[0][0][61].R1,
+		&vk.Lines[0][0][60].R0,
+		&vk.Lines[0][0][60].R1,
+		&vk.Lines[0][0][59].R0,
+		&vk.Lines[0][0][59].R1,
+		&vk.Lines[0][0][58].R0,
+		&vk.Lines[0][0][58].R1,
+		&vk.Lines[0][0][57].R0,
+		&vk.Lines[0][0][57].R1,
+		&vk.Lines[0][0][56].R0,
+		&vk.Lines[0][0][56].R1,
+		&vk.Lines[0][0][55].R0,
+		&vk.Lines[0][0][55].R1,
+		&vk.Lines[0][0][54].R0,
+		&vk.Lines[0][0][54].R1,
+		&vk.Lines[0][0][53].R0,
+		&vk.Lines[0][0][53].R1,
+		&vk.Lines[0][0][52].R0,
+		&vk.Lines[0][0][52].R1,
+		&vk.Lines[0][0][51].R0,
+		&vk.Lines[0][0][51].R1,
+		&vk.Lines[0][0][50].R0,
+		&vk.Lines[0][0][50].R1,
+		&vk.Lines[0][0][49].R0,
+		&vk.Lines[0][0][49].R1,
+		&vk.Lines[0][0][48].R0,
+		&vk.Lines[0][0][48].R1,
+		&vk.Lines[0][0][47].R0,
+		&vk.Lines[0][0][47].R1,
+		&vk.Lines[0][0][46].R0,
+		&vk.Lines[0][0][46].R1,
+		&vk.Lines[0][0][45].R0,
+		&vk.Lines[0][0][45].R1,
+		&vk.Lines[0][0][44].R0,
+		&vk.Lines[0][0][44].R1,
+		&vk.Lines[0][0][43].R0,
+		&vk.Lines[0][0][43].R1,
+		&vk.Lines[0][0][42].R0,
+		&vk.Lines[0][0][42].R1,
+		&vk.Lines[0][0][41].R0,
+		&vk.Lines[0][0][41].R1,
+		&vk.Lines[0][0][40].R0,
+		&vk.Lines[0][0][40].R1,
+		&vk.Lines[0][0][39].R0,
+		&vk.Lines[0][0][39].R1,
+		&vk.Lines[0][0][38].R0,
+		&vk.Lines[0][0][38].R1,
+		&vk.Lines[0][0][37].R0,
+		&vk.Lines[0][0][37].R1,
+		&vk.Lines[0][0][36].R0,
+		&vk.Lines[0][0][36].R1,
+		&vk.Lines[0][0][35].R0,
+		&vk.Lines[0][0][35].R1,
+		&vk.Lines[0][0][34].R0,
+		&vk.Lines[0][0][34].R1,
+		&vk.Lines[0][0][33].R0,
+		&vk.Lines[0][0][33].R1,
+		&vk.Lines[0][0][32].R0,
+		&vk.Lines[0][0][32].R1,
 		&vk.Lines[0][0][31].R0,
 		&vk.Lines[0][0][31].R1,
 		&vk.Lines[0][0][30].R0,
@@ -119,6 +371,258 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*bw6633.Encoder)) (
 		&vk.Lines[0][0][1].R1,
 		&vk.Lines[0][0][0].R0,
 		&vk.Lines[0][0][0].R1,
+		&vk.Lines[0][1][157].R0,
+		&vk.Lines[0][1][157].R1,
+		&vk.Lines[0][1][156].R0,
+		&vk.Lines[0][1][156].R1,
+		&vk.Lines[0][1][155].R0,
+		&vk.Lines[0][1][155].R1,
+		&vk.Lines[0][1][154].R0,
+		&vk.Lines[0][1][154].R1,
+		&vk.Lines[0][1][153].R0,
+		&vk.Lines[0][1][153].R1,
+		&vk.Lines[0][1][152].R0,
+		&vk.Lines[0][1][152].R1,
+		&vk.Lines[0][1][151].R0,
+		&vk.Lines[0][1][151].R1,
+		&vk.Lines[0][1][150].R0,
+		&vk.Lines[0][1][150].R1,
+		&vk.Lines[0][1][149].R0,
+		&vk.Lines[0][1][149].R1,
+		&vk.Lines[0][1][148].R0,
+		&vk.Lines[0][1][148].R1,
+		&vk.Lines[0][1][147].R0,
+		&vk.Lines[0][1][147].R1,
+		&vk.Lines[0][1][146].R0,
+		&vk.Lines[0][1][146].R1,
+		&vk.Lines[0][1][145].R0,
+		&vk.Lines[0][1][145].R1,
+		&vk.Lines[0][1][144].R0,
+		&vk.Lines[0][1][144].R1,
+		&vk.Lines[0][1][143].R0,
+		&vk.Lines[0][1][143].R1,
+		&vk.Lines[0][1][142].R0,
+		&vk.Lines[0][1][142].R1,
+		&vk.Lines[0][1][141].R0,
+		&vk.Lines[0][1][141].R1,
+		&vk.Lines[0][1][140].R0,
+		&vk.Lines[0][1][140].R1,
+		&vk.Lines[0][1][139].R0,
+		&vk.Lines[0][1][139].R1,
+		&vk.Lines[0][1][138].R0,
+		&vk.Lines[0][1][138].R1,
+		&vk.Lines[0][1][137].R0,
+		&vk.Lines[0][1][137].R1,
+		&vk.Lines[0][1][136].R0,
+		&vk.Lines[0][1][136].R1,
+		&vk.Lines[0][1][135].R0,
+		&vk.Lines[0][1][135].R1,
+		&vk.Lines[0][1][134].R0,
+		&vk.Lines[0][1][134].R1,
+		&vk.Lines[0][1][133].R0,
+		&vk.Lines[0][1][133].R1,
+		&vk.Lines[0][1][132].R0,
+		&vk.Lines[0][1][132].R1,
+		&vk.Lines[0][1][131].R0,
+		&vk.Lines[0][1][131].R1,
+		&vk.Lines[0][1][130].R0,
+		&vk.Lines[0][1][130].R1,
+		&vk.Lines[0][1][129].R0,
+		&vk.Lines[0][1][129].R1,
+		&vk.Lines[0][1][128].R0,
+		&vk.Lines[0][1][128].R1,
+		&vk.Lines[0][1][127].R0,
+		&vk.Lines[0][1][127].R1,
+		&vk.Lines[0][1][126].R0,
+		&vk.Lines[0][1][126].R1,
+		&vk.Lines[0][1][125].R0,
+		&vk.Lines[0][1][125].R1,
+		&vk.Lines[0][1][124].R0,
+		&vk.Lines[0][1][124].R1,
+		&vk.Lines[0][1][123].R0,
+		&vk.Lines[0][1][123].R1,
+		&vk.Lines[0][1][122].R0,
+		&vk.Lines[0][1][122].R1,
+		&vk.Lines[0][1][121].R0,
+		&vk.Lines[0][1][121].R1,
+		&vk.Lines[0][1][120].R0,
+		&vk.Lines[0][1][120].R1,
+		&vk.Lines[0][1][119].R0,
+		&vk.Lines[0][1][119].R1,
+		&vk.Lines[0][1][118].R0,
+		&vk.Lines[0][1][118].R1,
+		&vk.Lines[0][1][117].R0,
+		&vk.Lines[0][1][117].R1,
+		&vk.Lines[0][1][116].R0,
+		&vk.Lines[0][1][116].R1,
+		&vk.Lines[0][1][115].R0,
+		&vk.Lines[0][1][115].R1,
+		&vk.Lines[0][1][114].R0,
+		&vk.Lines[0][1][114].R1,
+		&vk.Lines[0][1][113].R0,
+		&vk.Lines[0][1][113].R1,
+		&vk.Lines[0][1][112].R0,
+		&vk.Lines[0][1][112].R1,
+		&vk.Lines[0][1][111].R0,
+		&vk.Lines[0][1][111].R1,
+		&vk.Lines[0][1][110].R0,
+		&vk.Lines[0][1][110].R1,
+		&vk.Lines[0][1][109].R0,
+		&vk.Lines[0][1][109].R1,
+		&vk.Lines[0][1][108].R0,
+		&vk.Lines[0][1][108].R1,
+		&vk.Lines[0][1][107].R0,
+		&vk.Lines[0][1][107].R1,
+		&vk.Lines[0][1][106].R0,
+		&vk.Lines[0][1][106].R1,
+		&vk.Lines[0][1][105].R0,
+		&vk.Lines[0][1][105].R1,
+		&vk.Lines[0][1][104].R0,
+		&vk.Lines[0][1][104].R1,
+		&vk.Lines[0][1][103].R0,
+		&vk.Lines[0][1][103].R1,
+		&vk.Lines[0][1][102].R0,
+		&vk.Lines[0][1][102].R1,
+		&vk.Lines[0][1][101].R0,
+		&vk.Lines[0][1][101].R1,
+		&vk.Lines[0][1][100].R0,
+		&vk.Lines[0][1][100].R1,
+		&vk.Lines[0][1][99].R0,
+		&vk.Lines[0][1][99].R1,
+		&vk.Lines[0][1][98].R0,
+		&vk.Lines[0][1][98].R1,
+		&vk.Lines[0][1][97].R0,
+		&vk.Lines[0][1][97].R1,
+		&vk.Lines[0][1][96].R0,
+		&vk.Lines[0][1][96].R1,
+		&vk.Lines[0][1][95].R0,
+		&vk.Lines[0][1][95].R1,
+		&vk.Lines[0][1][94].R0,
+		&vk.Lines[0][1][94].R1,
+		&vk.Lines[0][1][93].R0,
+		&vk.Lines[0][1][93].R1,
+		&vk.Lines[0][1][92].R0,
+		&vk.Lines[0][1][92].R1,
+		&vk.Lines[0][1][91].R0,
+		&vk.Lines[0][1][91].R1,
+		&vk.Lines[0][1][90].R0,
+		&vk.Lines[0][1][90].R1,
+		&vk.Lines[0][1][89].R0,
+		&vk.Lines[0][1][89].R1,
+		&vk.Lines[0][1][88].R0,
+		&vk.Lines[0][1][88].R1,
+		&vk.Lines[0][1][87].R0,
+		&vk.Lines[0][1][87].R1,
+		&vk.Lines[0][1][86].R0,
+		&vk.Lines[0][1][86].R1,
+		&vk.Lines[0][1][85].R0,
+		&vk.Lines[0][1][85].R1,
+		&vk.Lines[0][1][84].R0,
+		&vk.Lines[0][1][84].R1,
+		&vk.Lines[0][1][83].R0,
+		&vk.Lines[0][1][83].R1,
+		&vk.Lines[0][1][82].R0,
+		&vk.Lines[0][1][82].R1,
+		&vk.Lines[0][1][81].R0,
+		&vk.Lines[0][1][81].R1,
+		&vk.Lines[0][1][80].R0,
+		&vk.Lines[0][1][80].R1,
+		&vk.Lines[0][1][79].R0,
+		&vk.Lines[0][1][79].R1,
+		&vk.Lines[0][1][78].R0,
+		&vk.Lines[0][1][78].R1,
+		&vk.Lines[0][1][77].R0,
+		&vk.Lines[0][1][77].R1,
+		&vk.Lines[0][1][76].R0,
+		&vk.Lines[0][1][76].R1,
+		&vk.Lines[0][1][75].R0,
+		&vk.Lines[0][1][75].R1,
+		&vk.Lines[0][1][74].R0,
+		&vk.Lines[0][1][74].R1,
+		&vk.Lines[0][1][73].R0,
+		&vk.Lines[0][1][73].R1,
+		&vk.Lines[0][1][72].R0,
+		&vk.Lines[0][1][72].R1,
+		&vk.Lines[0][1][71].R0,
+		&vk.Lines[0][1][71].R1,
+		&vk.Lines[0][1][70].R0,
+		&vk.Lines[0][1][70].R1,
+		&vk.Lines[0][1][69].R0,
+		&vk.Lines[0][1][69].R1,
+		&vk.Lines[0][1][68].R0,
+		&vk.Lines[0][1][68].R1,
+		&vk.Lines[0][1][67].R0,
+		&vk.Lines[0][1][67].R1,
+		&vk.Lines[0][1][66].R0,
+		&vk.Lines[0][1][66].R1,
+		&vk.Lines[0][1][65].R0,
+		&vk.Lines[0][1][65].R1,
+		&vk.Lines[0][1][64].R0,
+		&vk.Lines[0][1][64].R1,
+		&vk.Lines[0][1][63].R0,
+		&vk.Lines[0][1][63].R1,
+		&vk.Lines[0][1][62].R0,
+		&vk.Lines[0][1][62].R1,
+		&vk.Lines[0][1][61].R0,
+		&vk.Lines[0][1][61].R1,
+		&vk.Lines[0][1][60].R0,
+		&vk.Lines[0][1][60].R1,
+		&vk.Lines[0][1][59].R0,
+		&vk.Lines[0][1][59].R1,
+		&vk.Lines[0][1][58].R0,
+		&vk.Lines[0][1][58].R1,
+		&vk.Lines[0][1][57].R0,
+		&vk.Lines[0][1][57].R1,
+		&vk.Lines[0][1][56].R0,
+		&vk.Lines[0][1][56].R1,
+		&vk.Lines[0][1][55].R0,
+		&vk.Lines[0][1][55].R1,
+		&vk.Lines[0][1][54].R0,
+		&vk.Lines[0][1][54].R1,
+		&vk.Lines[0][1][53].R0,
+		&vk.Lines[0][1][53].R1,
+		&vk.Lines[0][1][52].R0,
+		&vk.Lines[0][1][52].R1,
+		&vk.Lines[0][1][51].R0,
+		&vk.Lines[0][1][51].R1,
+		&vk.Lines[0][1][50].R0,
+		&vk.Lines[0][1][50].R1,
+		&vk.Lines[0][1][49].R0,
+		&vk.Lines[0][1][49].R1,
+		&vk.Lines[0][1][48].R0,
+		&vk.Lines[0][1][48].R1,
+		&vk.Lines[0][1][47].R0,
+		&vk.Lines[0][1][47].R1,
+		&vk.Lines[0][1][46].R0,
+		&vk.Lines[0][1][46].R1,
+		&vk.Lines[0][1][45].R0,
+		&vk.Lines[0][1][45].R1,
+		&vk.Lines[0][1][44].R0,
+		&vk.Lines[0][1][44].R1,
+		&vk.Lines[0][1][43].R0,
+		&vk.Lines[0][1][43].R1,
+		&vk.Lines[0][1][42].R0,
+		&vk.Lines[0][1][42].R1,
+		&vk.Lines[0][1][41].R0,
+		&vk.Lines[0][1][41].R1,
+		&vk.Lines[0][1][40].R0,
+		&vk.Lines[0][1][40].R1,
+		&vk.Lines[0][1][39].R0,
+		&vk.Lines[0][1][39].R1,
+		&vk.Lines[0][1][38].R0,
+		&vk.Lines[0][1][38].R1,
+		&vk.Lines[0][1][37].R0,
+		&vk.Lines[0][1][37].R1,
+		&vk.Lines[0][1][36].R0,
+		&vk.Lines[0][1][36].R1,
+		&vk.Lines[0][1][35].R0,
+		&vk.Lines[0][1][35].R1,
+		&vk.Lines[0][1][34].R0,
+		&vk.Lines[0][1][34].R1,
+		&vk.Lines[0][1][33].R0,
+		&vk.Lines[0][1][33].R1,
+		&vk.Lines[0][1][32].R0,
+		&vk.Lines[0][1][32].R1,
 		&vk.Lines[0][1][31].R0,
 		&vk.Lines[0][1][31].R1,
 		&vk.Lines[0][1][30].R0,
@@ -183,6 +687,258 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*bw6633.Encoder)) (
 		&vk.Lines[0][1][1].R1,
 		&vk.Lines[0][1][0].R0,
 		&vk.Lines[0][1][0].R1,
+		&vk.Lines[1][0][157].R0,
+		&vk.Lines[1][0][157].R1,
+		&vk.Lines[1][0][156].R0,
+		&vk.Lines[1][0][156].R1,
+		&vk.Lines[1][0][155].R0,
+		&vk.Lines[1][0][155].R1,
+		&vk.Lines[1][0][154].R0,
+		&vk.Lines[1][0][154].R1,
+		&vk.Lines[1][0][153].R0,
+		&vk.Lines[1][0][153].R1,
+		&vk.Lines[1][0][152].R0,
+		&vk.Lines[1][0][152].R1,
+		&vk.Lines[1][0][151].R0,
+		&vk.Lines[1][0][151].R1,
+		&vk.Lines[1][0][150].R0,
+		&vk.Lines[1][0][150].R1,
+		&vk.Lines[1][0][149].R0,
+		&vk.Lines[1][0][149].R1,
+		&vk.Lines[1][0][148].R0,
+		&vk.Lines[1][0][148].R1,
+		&vk.Lines[1][0][147].R0,
+		&vk.Lines[1][0][147].R1,
+		&vk.Lines[1][0][146].R0,
+		&vk.Lines[1][0][146].R1,
+		&vk.Lines[1][0][145].R0,
+		&vk.Lines[1][0][145].R1,
+		&vk.Lines[1][0][144].R0,
+		&vk.Lines[1][0][144].R1,
+		&vk.Lines[1][0][143].R0,
+		&vk.Lines[1][0][143].R1,
+		&vk.Lines[1][0][142].R0,
+		&vk.Lines[1][0][142].R1,
+		&vk.Lines[1][0][141].R0,
+		&vk.Lines[1][0][141].R1,
+		&vk.Lines[1][0][140].R0,
+		&vk.Lines[1][0][140].R1,
+		&vk.Lines[1][0][139].R0,
+		&vk.Lines[1][0][139].R1,
+		&vk.Lines[1][0][138].R0,
+		&vk.Lines[1][0][138].R1,
+		&vk.Lines[1][0][137].R0,
+		&vk.Lines[1][0][137].R1,
+		&vk.Lines[1][0][136].R0,
+		&vk.Lines[1][0][136].R1,
+		&vk.Lines[1][0][135].R0,
+		&vk.Lines[1][0][135].R1,
+		&vk.Lines[1][0][134].R0,
+		&vk.Lines[1][0][134].R1,
+		&vk.Lines[1][0][133].R0,
+		&vk.Lines[1][0][133].R1,
+		&vk.Lines[1][0][132].R0,
+		&vk.Lines[1][0][132].R1,
+		&vk.Lines[1][0][131].R0,
+		&vk.Lines[1][0][131].R1,
+		&vk.Lines[1][0][130].R0,
+		&vk.Lines[1][0][130].R1,
+		&vk.Lines[1][0][129].R0,
+		&vk.Lines[1][0][129].R1,
+		&vk.Lines[1][0][128].R0,
+		&vk.Lines[1][0][128].R1,
+		&vk.Lines[1][0][127].R0,
+		&vk.Lines[1][0][127].R1,
+		&vk.Lines[1][0][126].R0,
+		&vk.Lines[1][0][126].R1,
+		&vk.Lines[1][0][125].R0,
+		&vk.Lines[1][0][125].R1,
+		&vk.Lines[1][0][124].R0,
+		&vk.Lines[1][0][124].R1,
+		&vk.Lines[1][0][123].R0,
+		&vk.Lines[1][0][123].R1,
+		&vk.Lines[1][0][122].R0,
+		&vk.Lines[1][0][122].R1,
+		&vk.Lines[1][0][121].R0,
+		&vk.Lines[1][0][121].R1,
+		&vk.Lines[1][0][120].R0,
+		&vk.Lines[1][0][120].R1,
+		&vk.Lines[1][0][119].R0,
+		&vk.Lines[1][0][119].R1,
+		&vk.Lines[1][0][118].R0,
+		&vk.Lines[1][0][118].R1,
+		&vk.Lines[1][0][117].R0,
+		&vk.Lines[1][0][117].R1,
+		&vk.Lines[1][0][116].R0,
+		&vk.Lines[1][0][116].R1,
+		&vk.Lines[1][0][115].R0,
+		&vk.Lines[1][0][115].R1,
+		&vk.Lines[1][0][114].R0,
+		&vk.Lines[1][0][114].R1,
+		&vk.Lines[1][0][113].R0,
+		&vk.Lines[1][0][113].R1,
+		&vk.Lines[1][0][112].R0,
+		&vk.Lines[1][0][112].R1,
+		&vk.Lines[1][0][111].R0,
+		&vk.Lines[1][0][111].R1,
+		&vk.Lines[1][0][110].R0,
+		&vk.Lines[1][0][110].R1,
+		&vk.Lines[1][0][109].R0,
+		&vk.Lines[1][0][109].R1,
+		&vk.Lines[1][0][108].R0,
+		&vk.Lines[1][0][108].R1,
+		&vk.Lines[1][0][107].R0,
+		&vk.Lines[1][0][107].R1,
+		&vk.Lines[1][0][106].R0,
+		&vk.Lines[1][0][106].R1,
+		&vk.Lines[1][0][105].R0,
+		&vk.Lines[1][0][105].R1,
+		&vk.Lines[1][0][104].R0,
+		&vk.Lines[1][0][104].R1,
+		&vk.Lines[1][0][103].R0,
+		&vk.Lines[1][0][103].R1,
+		&vk.Lines[1][0][102].R0,
+		&vk.Lines[1][0][102].R1,
+		&vk.Lines[1][0][101].R0,
+		&vk.Lines[1][0][101].R1,
+		&vk.Lines[1][0][100].R0,
+		&vk.Lines[1][0][100].R1,
+		&vk.Lines[1][0][99].R0,
+		&vk.Lines[1][0][99].R1,
+		&vk.Lines[1][0][98].R0,
+		&vk.Lines[1][0][98].R1,
+		&vk.Lines[1][0][97].R0,
+		&vk.Lines[1][0][97].R1,
+		&vk.Lines[1][0][96].R0,
+		&vk.Lines[1][0][96].R1,
+		&vk.Lines[1][0][95].R0,
+		&vk.Lines[1][0][95].R1,
+		&vk.Lines[1][0][94].R0,
+		&vk.Lines[1][0][94].R1,
+		&vk.Lines[1][0][93].R0,
+		&vk.Lines[1][0][93].R1,
+		&vk.Lines[1][0][92].R0,
+		&vk.Lines[1][0][92].R1,
+		&vk.Lines[1][0][91].R0,
+		&vk.Lines[1][0][91].R1,
+		&vk.Lines[1][0][90].R0,
+		&vk.Lines[1][0][90].R1,
+		&vk.Lines[1][0][89].R0,
+		&vk.Lines[1][0][89].R1,
+		&vk.Lines[1][0][88].R0,
+		&vk.Lines[1][0][88].R1,
+		&vk.Lines[1][0][87].R0,
+		&vk.Lines[1][0][87].R1,
+		&vk.Lines[1][0][86].R0,
+		&vk.Lines[1][0][86].R1,
+		&vk.Lines[1][0][85].R0,
+		&vk.Lines[1][0][85].R1,
+		&vk.Lines[1][0][84].R0,
+		&vk.Lines[1][0][84].R1,
+		&vk.Lines[1][0][83].R0,
+		&vk.Lines[1][0][83].R1,
+		&vk.Lines[1][0][82].R0,
+		&vk.Lines[1][0][82].R1,
+		&vk.Lines[1][0][81].R0,
+		&vk.Lines[1][0][81].R1,
+		&vk.Lines[1][0][80].R0,
+		&vk.Lines[1][0][80].R1,
+		&vk.Lines[1][0][79].R0,
+		&vk.Lines[1][0][79].R1,
+		&vk.Lines[1][0][78].R0,
+		&vk.Lines[1][0][78].R1,
+		&vk.Lines[1][0][77].R0,
+		&vk.Lines[1][0][77].R1,
+		&vk.Lines[1][0][76].R0,
+		&vk.Lines[1][0][76].R1,
+		&vk.Lines[1][0][75].R0,
+		&vk.Lines[1][0][75].R1,
+		&vk.Lines[1][0][74].R0,
+		&vk.Lines[1][0][74].R1,
+		&vk.Lines[1][0][73].R0,
+		&vk.Lines[1][0][73].R1,
+		&vk.Lines[1][0][72].R0,
+		&vk.Lines[1][0][72].R1,
+		&vk.Lines[1][0][71].R0,
+		&vk.Lines[1][0][71].R1,
+		&vk.Lines[1][0][70].R0,
+		&vk.Lines[1][0][70].R1,
+		&vk.Lines[1][0][69].R0,
+		&vk.Lines[1][0][69].R1,
+		&vk.Lines[1][0][68].R0,
+		&vk.Lines[1][0][68].R1,
+		&vk.Lines[1][0][67].R0,
+		&vk.Lines[1][0][67].R1,
+		&vk.Lines[1][0][66].R0,
+		&vk.Lines[1][0][66].R1,
+		&vk.Lines[1][0][65].R0,
+		&vk.Lines[1][0][65].R1,
+		&vk.Lines[1][0][64].R0,
+		&vk.Lines[1][0][64].R1,
+		&vk.Lines[1][0][63].R0,
+		&vk.Lines[1][0][63].R1,
+		&vk.Lines[1][0][62].R0,
+		&vk.Lines[1][0][62].R1,
+		&vk.Lines[1][0][61].R0,
+		&vk.Lines[1][0][61].R1,
+		&vk.Lines[1][0][60].R0,
+		&vk.Lines[1][0][60].R1,
+		&vk.Lines[1][0][59].R0,
+		&vk.Lines[1][0][59].R1,
+		&vk.Lines[1][0][58].R0,
+		&vk.Lines[1][0][58].R1,
+		&vk.Lines[1][0][57].R0,
+		&vk.Lines[1][0][57].R1,
+		&vk.Lines[1][0][56].R0,
+		&vk.Lines[1][0][56].R1,
+		&vk.Lines[1][0][55].R0,
+		&vk.Lines[1][0][55].R1,
+		&vk.Lines[1][0][54].R0,
+		&vk.Lines[1][0][54].R1,
+		&vk.Lines[1][0][53].R0,
+		&vk.Lines[1][0][53].R1,
+		&vk.Lines[1][0][52].R0,
+		&vk.Lines[1][0][52].R1,
+		&vk.Lines[1][0][51].R0,
+		&vk.Lines[1][0][51].R1,
+		&vk.Lines[1][0][50].R0,
+		&vk.Lines[1][0][50].R1,
+		&vk.Lines[1][0][49].R0,
+		&vk.Lines[1][0][49].R1,
+		&vk.Lines[1][0][48].R0,
+		&vk.Lines[1][0][48].R1,
+		&vk.Lines[1][0][47].R0,
+		&vk.Lines[1][0][47].R1,
+		&vk.Lines[1][0][46].R0,
+		&vk.Lines[1][0][46].R1,
+		&vk.Lines[1][0][45].R0,
+		&vk.Lines[1][0][45].R1,
+		&vk.Lines[1][0][44].R0,
+		&vk.Lines[1][0][44].R1,
+		&vk.Lines[1][0][43].R0,
+		&vk.Lines[1][0][43].R1,
+		&vk.Lines[1][0][42].R0,
+		&vk.Lines[1][0][42].R1,
+		&vk.Lines[1][0][41].R0,
+		&vk.Lines[1][0][41].R1,
+		&vk.Lines[1][0][40].R0,
+		&vk.Lines[1][0][40].R1,
+		&vk.Lines[1][0][39].R0,
+		&vk.Lines[1][0][39].R1,
+		&vk.Lines[1][0][38].R0,
+		&vk.Lines[1][0][38].R1,
+		&vk.Lines[1][0][37].R0,
+		&vk.Lines[1][0][37].R1,
+		&vk.Lines[1][0][36].R0,
+		&vk.Lines[1][0][36].R1,
+		&vk.Lines[1][0][35].R0,
+		&vk.Lines[1][0][35].R1,
+		&vk.Lines[1][0][34].R0,
+		&vk.Lines[1][0][34].R1,
+		&vk.Lines[1][0][33].R0,
+		&vk.Lines[1][0][33].R1,
+		&vk.Lines[1][0][32].R0,
+		&vk.Lines[1][0][32].R1,
 		&vk.Lines[1][0][31].R0,
 		&vk.Lines[1][0][31].R1,
 		&vk.Lines[1][0][30].R0,
@@ -247,6 +1003,258 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*bw6633.Encoder)) (
 		&vk.Lines[1][0][1].R1,
 		&vk.Lines[1][0][0].R0,
 		&vk.Lines[1][0][0].R1,
+		&vk.Lines[1][1][157].R0,
+		&vk.Lines[1][1][157].R1,
+		&vk.Lines[1][1][156].R0,
+		&vk.Lines[1][1][156].R1,
+		&vk.Lines[1][1][155].R0,
+		&vk.Lines[1][1][155].R1,
+		&vk.Lines[1][1][154].R0,
+		&vk.Lines[1][1][154].R1,
+		&vk.Lines[1][1][153].R0,
+		&vk.Lines[1][1][153].R1,
+		&vk.Lines[1][1][152].R0,
+		&vk.Lines[1][1][152].R1,
+		&vk.Lines[1][1][151].R0,
+		&vk.Lines[1][1][151].R1,
+		&vk.Lines[1][1][150].R0,
+		&vk.Lines[1][1][150].R1,
+		&vk.Lines[1][1][149].R0,
+		&vk.Lines[1][1][149].R1,
+		&vk.Lines[1][1][148].R0,
+		&vk.Lines[1][1][148].R1,
+		&vk.Lines[1][1][147].R0,
+		&vk.Lines[1][1][147].R1,
+		&vk.Lines[1][1][146].R0,
+		&vk.Lines[1][1][146].R1,
+		&vk.Lines[1][1][145].R0,
+		&vk.Lines[1][1][145].R1,
+		&vk.Lines[1][1][144].R0,
+		&vk.Lines[1][1][144].R1,
+		&vk.Lines[1][1][143].R0,
+		&vk.Lines[1][1][143].R1,
+		&vk.Lines[1][1][142].R0,
+		&vk.Lines[1][1][142].R1,
+		&vk.Lines[1][1][141].R0,
+		&vk.Lines[1][1][141].R1,
+		&vk.Lines[1][1][140].R0,
+		&vk.Lines[1][1][140].R1,
+		&vk.Lines[1][1][139].R0,
+		&vk.Lines[1][1][139].R1,
+		&vk.Lines[1][1][138].R0,
+		&vk.Lines[1][1][138].R1,
+		&vk.Lines[1][1][137].R0,
+		&vk.Lines[1][1][137].R1,
+		&vk.Lines[1][1][136].R0,
+		&vk.Lines[1][1][136].R1,
+		&vk.Lines[1][1][135].R0,
+		&vk.Lines[1][1][135].R1,
+		&vk.Lines[1][1][134].R0,
+		&vk.Lines[1][1][134].R1,
+		&vk.Lines[1][1][133].R0,
+		&vk.Lines[1][1][133].R1,
+		&vk.Lines[1][1][132].R0,
+		&vk.Lines[1][1][132].R1,
+		&vk.Lines[1][1][131].R0,
+		&vk.Lines[1][1][131].R1,
+		&vk.Lines[1][1][130].R0,
+		&vk.Lines[1][1][130].R1,
+		&vk.Lines[1][1][129].R0,
+		&vk.Lines[1][1][129].R1,
+		&vk.Lines[1][1][128].R0,
+		&vk.Lines[1][1][128].R1,
+		&vk.Lines[1][1][127].R0,
+		&vk.Lines[1][1][127].R1,
+		&vk.Lines[1][1][126].R0,
+		&vk.Lines[1][1][126].R1,
+		&vk.Lines[1][1][125].R0,
+		&vk.Lines[1][1][125].R1,
+		&vk.Lines[1][1][124].R0,
+		&vk.Lines[1][1][124].R1,
+		&vk.Lines[1][1][123].R0,
+		&vk.Lines[1][1][123].R1,
+		&vk.Lines[1][1][122].R0,
+		&vk.Lines[1][1][122].R1,
+		&vk.Lines[1][1][121].R0,
+		&vk.Lines[1][1][121].R1,
+		&vk.Lines[1][1][120].R0,
+		&vk.Lines[1][1][120].R1,
+		&vk.Lines[1][1][119].R0,
+		&vk.Lines[1][1][119].R1,
+		&vk.Lines[1][1][118].R0,
+		&vk.Lines[1][1][118].R1,
+		&vk.Lines[1][1][117].R0,
+		&vk.Lines[1][1][117].R1,
+		&vk.Lines[1][1][116].R0,
+		&vk.Lines[1][1][116].R1,
+		&vk.Lines[1][1][115].R0,
+		&vk.Lines[1][1][115].R1,
+		&vk.Lines[1][1][114].R0,
+		&vk.Lines[1][1][114].R1,
+		&vk.Lines[1][1][113].R0,
+		&vk.Lines[1][1][113].R1,
+		&vk.Lines[1][1][112].R0,
+		&vk.Lines[1][1][112].R1,
+		&vk.Lines[1][1][111].R0,
+		&vk.Lines[1][1][111].R1,
+		&vk.Lines[1][1][110].R0,
+		&vk.Lines[1][1][110].R1,
+		&vk.Lines[1][1][109].R0,
+		&vk.Lines[1][1][109].R1,
+		&vk.Lines[1][1][108].R0,
+		&vk.Lines[1][1][108].R1,
+		&vk.Lines[1][1][107].R0,
+		&vk.Lines[1][1][107].R1,
+		&vk.Lines[1][1][106].R0,
+		&vk.Lines[1][1][106].R1,
+		&vk.Lines[1][1][105].R0,
+		&vk.Lines[1][1][105].R1,
+		&vk.Lines[1][1][104].R0,
+		&vk.Lines[1][1][104].R1,
+		&vk.Lines[1][1][103].R0,
+		&vk.Lines[1][1][103].R1,
+		&vk.Lines[1][1][102].R0,
+		&vk.Lines[1][1][102].R1,
+		&vk.Lines[1][1][101].R0,
+		&vk.Lines[1][1][101].R1,
+		&vk.Lines[1][1][100].R0,
+		&vk.Lines[1][1][100].R1,
+		&vk.Lines[1][1][99].R0,
+		&vk.Lines[1][1][99].R1,
+		&vk.Lines[1][1][98].R0,
+		&vk.Lines[1][1][98].R1,
+		&vk.Lines[1][1][97].R0,
+		&vk.Lines[1][1][97].R1,
+		&vk.Lines[1][1][96].R0,
+		&vk.Lines[1][1][96].R1,
+		&vk.Lines[1][1][95].R0,
+		&vk.Lines[1][1][95].R1,
+		&vk.Lines[1][1][94].R0,
+		&vk.Lines[1][1][94].R1,
+		&vk.Lines[1][1][93].R0,
+		&vk.Lines[1][1][93].R1,
+		&vk.Lines[1][1][92].R0,
+		&vk.Lines[1][1][92].R1,
+		&vk.Lines[1][1][91].R0,
+		&vk.Lines[1][1][91].R1,
+		&vk.Lines[1][1][90].R0,
+		&vk.Lines[1][1][90].R1,
+		&vk.Lines[1][1][89].R0,
+		&vk.Lines[1][1][89].R1,
+		&vk.Lines[1][1][88].R0,
+		&vk.Lines[1][1][88].R1,
+		&vk.Lines[1][1][87].R0,
+		&vk.Lines[1][1][87].R1,
+		&vk.Lines[1][1][86].R0,
+		&vk.Lines[1][1][86].R1,
+		&vk.Lines[1][1][85].R0,
+		&vk.Lines[1][1][85].R1,
+		&vk.Lines[1][1][84].R0,
+		&vk.Lines[1][1][84].R1,
+		&vk.Lines[1][1][83].R0,
+		&vk.Lines[1][1][83].R1,
+		&vk.Lines[1][1][82].R0,
+		&vk.Lines[1][1][82].R1,
+		&vk.Lines[1][1][81].R0,
+		&vk.Lines[1][1][81].R1,
+		&vk.Lines[1][1][80].R0,
+		&vk.Lines[1][1][80].R1,
+		&vk.Lines[1][1][79].R0,
+		&vk.Lines[1][1][79].R1,
+		&vk.Lines[1][1][78].R0,
+		&vk.Lines[1][1][78].R1,
+		&vk.Lines[1][1][77].R0,
+		&vk.Lines[1][1][77].R1,
+		&vk.Lines[1][1][76].R0,
+		&vk.Lines[1][1][76].R1,
+		&vk.Lines[1][1][75].R0,
+		&vk.Lines[1][1][75].R1,
+		&vk.Lines[1][1][74].R0,
+		&vk.Lines[1][1][74].R1,
+		&vk.Lines[1][1][73].R0,
+		&vk.Lines[1][1][73].R1,
+		&vk.Lines[1][1][72].R0,
+		&vk.Lines[1][1][72].R1,
+		&vk.Lines[1][1][71].R0,
+		&vk.Lines[1][1][71].R1,
+		&vk.Lines[1][1][70].R0,
+		&vk.Lines[1][1][70].R1,
+		&vk.Lines[1][1][69].R0,
+		&vk.Lines[1][1][69].R1,
+		&vk.Lines[1][1][68].R0,
+		&vk.Lines[1][1][68].R1,
+		&vk.Lines[1][1][67].R0,
+		&vk.Lines[1][1][67].R1,
+		&vk.Lines[1][1][66].R0,
+		&vk.Lines[1][1][66].R1,
+		&vk.Lines[1][1][65].R0,
+		&vk.Lines[1][1][65].R1,
+		&vk.Lines[1][1][64].R0,
+		&vk.Lines[1][1][64].R1,
+		&vk.Lines[1][1][63].R0,
+		&vk.Lines[1][1][63].R1,
+		&vk.Lines[1][1][62].R0,
+		&vk.Lines[1][1][62].R1,
+		&vk.Lines[1][1][61].R0,
+		&vk.Lines[1][1][61].R1,
+		&vk.Lines[1][1][60].R0,
+		&vk.Lines[1][1][60].R1,
+		&vk.Lines[1][1][59].R0,
+		&vk.Lines[1][1][59].R1,
+		&vk.Lines[1][1][58].R0,
+		&vk.Lines[1][1][58].R1,
+		&vk.Lines[1][1][57].R0,
+		&vk.Lines[1][1][57].R1,
+		&vk.Lines[1][1][56].R0,
+		&vk.Lines[1][1][56].R1,
+		&vk.Lines[1][1][55].R0,
+		&vk.Lines[1][1][55].R1,
+		&vk.Lines[1][1][54].R0,
+		&vk.Lines[1][1][54].R1,
+		&vk.Lines[1][1][53].R0,
+		&vk.Lines[1][1][53].R1,
+		&vk.Lines[1][1][52].R0,
+		&vk.Lines[1][1][52].R1,
+		&vk.Lines[1][1][51].R0,
+		&vk.Lines[1][1][51].R1,
+		&vk.Lines[1][1][50].R0,
+		&vk.Lines[1][1][50].R1,
+		&vk.Lines[1][1][49].R0,
+		&vk.Lines[1][1][49].R1,
+		&vk.Lines[1][1][48].R0,
+		&vk.Lines[1][1][48].R1,
+		&vk.Lines[1][1][47].R0,
+		&vk.Lines[1][1][47].R1,
+		&vk.Lines[1][1][46].R0,
+		&vk.Lines[1][1][46].R1,
+		&vk.Lines[1][1][45].R0,
+		&vk.Lines[1][1][45].R1,
+		&vk.Lines[1][1][44].R0,
+		&vk.Lines[1][1][44].R1,
+		&vk.Lines[1][1][43].R0,
+		&vk.Lines[1][1][43].R1,
+		&vk.Lines[1][1][42].R0,
+		&vk.Lines[1][1][42].R1,
+		&vk.Lines[1][1][41].R0,
+		&vk.Lines[1][1][41].R1,
+		&vk.Lines[1][1][40].R0,
+		&vk.Lines[1][1][40].R1,
+		&vk.Lines[1][1][39].R0,
+		&vk.Lines[1][1][39].R1,
+		&vk.Lines[1][1][38].R0,
+		&vk.Lines[1][1][38].R1,
+		&vk.Lines[1][1][37].R0,
+		&vk.Lines[1][1][37].R1,
+		&vk.Lines[1][1][36].R0,
+		&vk.Lines[1][1][36].R1,
+		&vk.Lines[1][1][35].R0,
+		&vk.Lines[1][1][35].R1,
+		&vk.Lines[1][1][34].R0,
+		&vk.Lines[1][1][34].R1,
+		&vk.Lines[1][1][33].R0,
+		&vk.Lines[1][1][33].R1,
+		&vk.Lines[1][1][32].R0,
+		&vk.Lines[1][1][32].R1,
 		&vk.Lines[1][1][31].R0,
 		&vk.Lines[1][1][31].R1,
 		&vk.Lines[1][1][30].R0,
@@ -361,6 +1369,258 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 	dec := bw6633.NewDecoder(r)
 
 	toDecode := []interface{}{
+		&vk.Lines[0][0][157].R0,
+		&vk.Lines[0][0][157].R1,
+		&vk.Lines[0][0][156].R0,
+		&vk.Lines[0][0][156].R1,
+		&vk.Lines[0][0][155].R0,
+		&vk.Lines[0][0][155].R1,
+		&vk.Lines[0][0][154].R0,
+		&vk.Lines[0][0][154].R1,
+		&vk.Lines[0][0][153].R0,
+		&vk.Lines[0][0][153].R1,
+		&vk.Lines[0][0][152].R0,
+		&vk.Lines[0][0][152].R1,
+		&vk.Lines[0][0][151].R0,
+		&vk.Lines[0][0][151].R1,
+		&vk.Lines[0][0][150].R0,
+		&vk.Lines[0][0][150].R1,
+		&vk.Lines[0][0][149].R0,
+		&vk.Lines[0][0][149].R1,
+		&vk.Lines[0][0][148].R0,
+		&vk.Lines[0][0][148].R1,
+		&vk.Lines[0][0][147].R0,
+		&vk.Lines[0][0][147].R1,
+		&vk.Lines[0][0][146].R0,
+		&vk.Lines[0][0][146].R1,
+		&vk.Lines[0][0][145].R0,
+		&vk.Lines[0][0][145].R1,
+		&vk.Lines[0][0][144].R0,
+		&vk.Lines[0][0][144].R1,
+		&vk.Lines[0][0][143].R0,
+		&vk.Lines[0][0][143].R1,
+		&vk.Lines[0][0][142].R0,
+		&vk.Lines[0][0][142].R1,
+		&vk.Lines[0][0][141].R0,
+		&vk.Lines[0][0][141].R1,
+		&vk.Lines[0][0][140].R0,
+		&vk.Lines[0][0][140].R1,
+		&vk.Lines[0][0][139].R0,
+		&vk.Lines[0][0][139].R1,
+		&vk.Lines[0][0][138].R0,
+		&vk.Lines[0][0][138].R1,
+		&vk.Lines[0][0][137].R0,
+		&vk.Lines[0][0][137].R1,
+		&vk.Lines[0][0][136].R0,
+		&vk.Lines[0][0][136].R1,
+		&vk.Lines[0][0][135].R0,
+		&vk.Lines[0][0][135].R1,
+		&vk.Lines[0][0][134].R0,
+		&vk.Lines[0][0][134].R1,
+		&vk.Lines[0][0][133].R0,
+		&vk.Lines[0][0][133].R1,
+		&vk.Lines[0][0][132].R0,
+		&vk.Lines[0][0][132].R1,
+		&vk.Lines[0][0][131].R0,
+		&vk.Lines[0][0][131].R1,
+		&vk.Lines[0][0][130].R0,
+		&vk.Lines[0][0][130].R1,
+		&vk.Lines[0][0][129].R0,
+		&vk.Lines[0][0][129].R1,
+		&vk.Lines[0][0][128].R0,
+		&vk.Lines[0][0][128].R1,
+		&vk.Lines[0][0][127].R0,
+		&vk.Lines[0][0][127].R1,
+		&vk.Lines[0][0][126].R0,
+		&vk.Lines[0][0][126].R1,
+		&vk.Lines[0][0][125].R0,
+		&vk.Lines[0][0][125].R1,
+		&vk.Lines[0][0][124].R0,
+		&vk.Lines[0][0][124].R1,
+		&vk.Lines[0][0][123].R0,
+		&vk.Lines[0][0][123].R1,
+		&vk.Lines[0][0][122].R0,
+		&vk.Lines[0][0][122].R1,
+		&vk.Lines[0][0][121].R0,
+		&vk.Lines[0][0][121].R1,
+		&vk.Lines[0][0][120].R0,
+		&vk.Lines[0][0][120].R1,
+		&vk.Lines[0][0][119].R0,
+		&vk.Lines[0][0][119].R1,
+		&vk.Lines[0][0][118].R0,
+		&vk.Lines[0][0][118].R1,
+		&vk.Lines[0][0][117].R0,
+		&vk.Lines[0][0][117].R1,
+		&vk.Lines[0][0][116].R0,
+		&vk.Lines[0][0][116].R1,
+		&vk.Lines[0][0][115].R0,
+		&vk.Lines[0][0][115].R1,
+		&vk.Lines[0][0][114].R0,
+		&vk.Lines[0][0][114].R1,
+		&vk.Lines[0][0][113].R0,
+		&vk.Lines[0][0][113].R1,
+		&vk.Lines[0][0][112].R0,
+		&vk.Lines[0][0][112].R1,
+		&vk.Lines[0][0][111].R0,
+		&vk.Lines[0][0][111].R1,
+		&vk.Lines[0][0][110].R0,
+		&vk.Lines[0][0][110].R1,
+		&vk.Lines[0][0][109].R0,
+		&vk.Lines[0][0][109].R1,
+		&vk.Lines[0][0][108].R0,
+		&vk.Lines[0][0][108].R1,
+		&vk.Lines[0][0][107].R0,
+		&vk.Lines[0][0][107].R1,
+		&vk.Lines[0][0][106].R0,
+		&vk.Lines[0][0][106].R1,
+		&vk.Lines[0][0][105].R0,
+		&vk.Lines[0][0][105].R1,
+		&vk.Lines[0][0][104].R0,
+		&vk.Lines[0][0][104].R1,
+		&vk.Lines[0][0][103].R0,
+		&vk.Lines[0][0][103].R1,
+		&vk.Lines[0][0][102].R0,
+		&vk.Lines[0][0][102].R1,
+		&vk.Lines[0][0][101].R0,
+		&vk.Lines[0][0][101].R1,
+		&vk.Lines[0][0][100].R0,
+		&vk.Lines[0][0][100].R1,
+		&vk.Lines[0][0][99].R0,
+		&vk.Lines[0][0][99].R1,
+		&vk.Lines[0][0][98].R0,
+		&vk.Lines[0][0][98].R1,
+		&vk.Lines[0][0][97].R0,
+		&vk.Lines[0][0][97].R1,
+		&vk.Lines[0][0][96].R0,
+		&vk.Lines[0][0][96].R1,
+		&vk.Lines[0][0][95].R0,
+		&vk.Lines[0][0][95].R1,
+		&vk.Lines[0][0][94].R0,
+		&vk.Lines[0][0][94].R1,
+		&vk.Lines[0][0][93].R0,
+		&vk.Lines[0][0][93].R1,
+		&vk.Lines[0][0][92].R0,
+		&vk.Lines[0][0][92].R1,
+		&vk.Lines[0][0][91].R0,
+		&vk.Lines[0][0][91].R1,
+		&vk.Lines[0][0][90].R0,
+		&vk.Lines[0][0][90].R1,
+		&vk.Lines[0][0][89].R0,
+		&vk.Lines[0][0][89].R1,
+		&vk.Lines[0][0][88].R0,
+		&vk.Lines[0][0][88].R1,
+		&vk.Lines[0][0][87].R0,
+		&vk.Lines[0][0][87].R1,
+		&vk.Lines[0][0][86].R0,
+		&vk.Lines[0][0][86].R1,
+		&vk.Lines[0][0][85].R0,
+		&vk.Lines[0][0][85].R1,
+		&vk.Lines[0][0][84].R0,
+		&vk.Lines[0][0][84].R1,
+		&vk.Lines[0][0][83].R0,
+		&vk.Lines[0][0][83].R1,
+		&vk.Lines[0][0][82].R0,
+		&vk.Lines[0][0][82].R1,
+		&vk.Lines[0][0][81].R0,
+		&vk.Lines[0][0][81].R1,
+		&vk.Lines[0][0][80].R0,
+		&vk.Lines[0][0][80].R1,
+		&vk.Lines[0][0][79].R0,
+		&vk.Lines[0][0][79].R1,
+		&vk.Lines[0][0][78].R0,
+		&vk.Lines[0][0][78].R1,
+		&vk.Lines[0][0][77].R0,
+		&vk.Lines[0][0][77].R1,
+		&vk.Lines[0][0][76].R0,
+		&vk.Lines[0][0][76].R1,
+		&vk.Lines[0][0][75].R0,
+		&vk.Lines[0][0][75].R1,
+		&vk.Lines[0][0][74].R0,
+		&vk.Lines[0][0][74].R1,
+		&vk.Lines[0][0][73].R0,
+		&vk.Lines[0][0][73].R1,
+		&vk.Lines[0][0][72].R0,
+		&vk.Lines[0][0][72].R1,
+		&vk.Lines[0][0][71].R0,
+		&vk.Lines[0][0][71].R1,
+		&vk.Lines[0][0][70].R0,
+		&vk.Lines[0][0][70].R1,
+		&vk.Lines[0][0][69].R0,
+		&vk.Lines[0][0][69].R1,
+		&vk.Lines[0][0][68].R0,
+		&vk.Lines[0][0][68].R1,
+		&vk.Lines[0][0][67].R0,
+		&vk.Lines[0][0][67].R1,
+		&vk.Lines[0][0][66].R0,
+		&vk.Lines[0][0][66].R1,
+		&vk.Lines[0][0][65].R0,
+		&vk.Lines[0][0][65].R1,
+		&vk.Lines[0][0][64].R0,
+		&vk.Lines[0][0][64].R1,
+		&vk.Lines[0][0][63].R0,
+		&vk.Lines[0][0][63].R1,
+		&vk.Lines[0][0][62].R0,
+		&vk.Lines[0][0][62].R1,
+		&vk.Lines[0][0][61].R0,
+		&vk.Lines[0][0][61].R1,
+		&vk.Lines[0][0][60].R0,
+		&vk.Lines[0][0][60].R1,
+		&vk.Lines[0][0][59].R0,
+		&vk.Lines[0][0][59].R1,
+		&vk.Lines[0][0][58].R0,
+		&vk.Lines[0][0][58].R1,
+		&vk.Lines[0][0][57].R0,
+		&vk.Lines[0][0][57].R1,
+		&vk.Lines[0][0][56].R0,
+		&vk.Lines[0][0][56].R1,
+		&vk.Lines[0][0][55].R0,
+		&vk.Lines[0][0][55].R1,
+		&vk.Lines[0][0][54].R0,
+		&vk.Lines[0][0][54].R1,
+		&vk.Lines[0][0][53].R0,
+		&vk.Lines[0][0][53].R1,
+		&vk.Lines[0][0][52].R0,
+		&vk.Lines[0][0][52].R1,
+		&vk.Lines[0][0][51].R0,
+		&vk.Lines[0][0][51].R1,
+		&vk.Lines[0][0][50].R0,
+		&vk.Lines[0][0][50].R1,
+		&vk.Lines[0][0][49].R0,
+		&vk.Lines[0][0][49].R1,
+		&vk.Lines[0][0][48].R0,
+		&vk.Lines[0][0][48].R1,
+		&vk.Lines[0][0][47].R0,
+		&vk.Lines[0][0][47].R1,
+		&vk.Lines[0][0][46].R0,
+		&vk.Lines[0][0][46].R1,
+		&vk.Lines[0][0][45].R0,
+		&vk.Lines[0][0][45].R1,
+		&vk.Lines[0][0][44].R0,
+		&vk.Lines[0][0][44].R1,
+		&vk.Lines[0][0][43].R0,
+		&vk.Lines[0][0][43].R1,
+		&vk.Lines[0][0][42].R0,
+		&vk.Lines[0][0][42].R1,
+		&vk.Lines[0][0][41].R0,
+		&vk.Lines[0][0][41].R1,
+		&vk.Lines[0][0][40].R0,
+		&vk.Lines[0][0][40].R1,
+		&vk.Lines[0][0][39].R0,
+		&vk.Lines[0][0][39].R1,
+		&vk.Lines[0][0][38].R0,
+		&vk.Lines[0][0][38].R1,
+		&vk.Lines[0][0][37].R0,
+		&vk.Lines[0][0][37].R1,
+		&vk.Lines[0][0][36].R0,
+		&vk.Lines[0][0][36].R1,
+		&vk.Lines[0][0][35].R0,
+		&vk.Lines[0][0][35].R1,
+		&vk.Lines[0][0][34].R0,
+		&vk.Lines[0][0][34].R1,
+		&vk.Lines[0][0][33].R0,
+		&vk.Lines[0][0][33].R1,
+		&vk.Lines[0][0][32].R0,
+		&vk.Lines[0][0][32].R1,
 		&vk.Lines[0][0][31].R0,
 		&vk.Lines[0][0][31].R1,
 		&vk.Lines[0][0][30].R0,
@@ -425,6 +1685,258 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[0][0][1].R1,
 		&vk.Lines[0][0][0].R0,
 		&vk.Lines[0][0][0].R1,
+		&vk.Lines[0][1][157].R0,
+		&vk.Lines[0][1][157].R1,
+		&vk.Lines[0][1][156].R0,
+		&vk.Lines[0][1][156].R1,
+		&vk.Lines[0][1][155].R0,
+		&vk.Lines[0][1][155].R1,
+		&vk.Lines[0][1][154].R0,
+		&vk.Lines[0][1][154].R1,
+		&vk.Lines[0][1][153].R0,
+		&vk.Lines[0][1][153].R1,
+		&vk.Lines[0][1][152].R0,
+		&vk.Lines[0][1][152].R1,
+		&vk.Lines[0][1][151].R0,
+		&vk.Lines[0][1][151].R1,
+		&vk.Lines[0][1][150].R0,
+		&vk.Lines[0][1][150].R1,
+		&vk.Lines[0][1][149].R0,
+		&vk.Lines[0][1][149].R1,
+		&vk.Lines[0][1][148].R0,
+		&vk.Lines[0][1][148].R1,
+		&vk.Lines[0][1][147].R0,
+		&vk.Lines[0][1][147].R1,
+		&vk.Lines[0][1][146].R0,
+		&vk.Lines[0][1][146].R1,
+		&vk.Lines[0][1][145].R0,
+		&vk.Lines[0][1][145].R1,
+		&vk.Lines[0][1][144].R0,
+		&vk.Lines[0][1][144].R1,
+		&vk.Lines[0][1][143].R0,
+		&vk.Lines[0][1][143].R1,
+		&vk.Lines[0][1][142].R0,
+		&vk.Lines[0][1][142].R1,
+		&vk.Lines[0][1][141].R0,
+		&vk.Lines[0][1][141].R1,
+		&vk.Lines[0][1][140].R0,
+		&vk.Lines[0][1][140].R1,
+		&vk.Lines[0][1][139].R0,
+		&vk.Lines[0][1][139].R1,
+		&vk.Lines[0][1][138].R0,
+		&vk.Lines[0][1][138].R1,
+		&vk.Lines[0][1][137].R0,
+		&vk.Lines[0][1][137].R1,
+		&vk.Lines[0][1][136].R0,
+		&vk.Lines[0][1][136].R1,
+		&vk.Lines[0][1][135].R0,
+		&vk.Lines[0][1][135].R1,
+		&vk.Lines[0][1][134].R0,
+		&vk.Lines[0][1][134].R1,
+		&vk.Lines[0][1][133].R0,
+		&vk.Lines[0][1][133].R1,
+		&vk.Lines[0][1][132].R0,
+		&vk.Lines[0][1][132].R1,
+		&vk.Lines[0][1][131].R0,
+		&vk.Lines[0][1][131].R1,
+		&vk.Lines[0][1][130].R0,
+		&vk.Lines[0][1][130].R1,
+		&vk.Lines[0][1][129].R0,
+		&vk.Lines[0][1][129].R1,
+		&vk.Lines[0][1][128].R0,
+		&vk.Lines[0][1][128].R1,
+		&vk.Lines[0][1][127].R0,
+		&vk.Lines[0][1][127].R1,
+		&vk.Lines[0][1][126].R0,
+		&vk.Lines[0][1][126].R1,
+		&vk.Lines[0][1][125].R0,
+		&vk.Lines[0][1][125].R1,
+		&vk.Lines[0][1][124].R0,
+		&vk.Lines[0][1][124].R1,
+		&vk.Lines[0][1][123].R0,
+		&vk.Lines[0][1][123].R1,
+		&vk.Lines[0][1][122].R0,
+		&vk.Lines[0][1][122].R1,
+		&vk.Lines[0][1][121].R0,
+		&vk.Lines[0][1][121].R1,
+		&vk.Lines[0][1][120].R0,
+		&vk.Lines[0][1][120].R1,
+		&vk.Lines[0][1][119].R0,
+		&vk.Lines[0][1][119].R1,
+		&vk.Lines[0][1][118].R0,
+		&vk.Lines[0][1][118].R1,
+		&vk.Lines[0][1][117].R0,
+		&vk.Lines[0][1][117].R1,
+		&vk.Lines[0][1][116].R0,
+		&vk.Lines[0][1][116].R1,
+		&vk.Lines[0][1][115].R0,
+		&vk.Lines[0][1][115].R1,
+		&vk.Lines[0][1][114].R0,
+		&vk.Lines[0][1][114].R1,
+		&vk.Lines[0][1][113].R0,
+		&vk.Lines[0][1][113].R1,
+		&vk.Lines[0][1][112].R0,
+		&vk.Lines[0][1][112].R1,
+		&vk.Lines[0][1][111].R0,
+		&vk.Lines[0][1][111].R1,
+		&vk.Lines[0][1][110].R0,
+		&vk.Lines[0][1][110].R1,
+		&vk.Lines[0][1][109].R0,
+		&vk.Lines[0][1][109].R1,
+		&vk.Lines[0][1][108].R0,
+		&vk.Lines[0][1][108].R1,
+		&vk.Lines[0][1][107].R0,
+		&vk.Lines[0][1][107].R1,
+		&vk.Lines[0][1][106].R0,
+		&vk.Lines[0][1][106].R1,
+		&vk.Lines[0][1][105].R0,
+		&vk.Lines[0][1][105].R1,
+		&vk.Lines[0][1][104].R0,
+		&vk.Lines[0][1][104].R1,
+		&vk.Lines[0][1][103].R0,
+		&vk.Lines[0][1][103].R1,
+		&vk.Lines[0][1][102].R0,
+		&vk.Lines[0][1][102].R1,
+		&vk.Lines[0][1][101].R0,
+		&vk.Lines[0][1][101].R1,
+		&vk.Lines[0][1][100].R0,
+		&vk.Lines[0][1][100].R1,
+		&vk.Lines[0][1][99].R0,
+		&vk.Lines[0][1][99].R1,
+		&vk.Lines[0][1][98].R0,
+		&vk.Lines[0][1][98].R1,
+		&vk.Lines[0][1][97].R0,
+		&vk.Lines[0][1][97].R1,
+		&vk.Lines[0][1][96].R0,
+		&vk.Lines[0][1][96].R1,
+		&vk.Lines[0][1][95].R0,
+		&vk.Lines[0][1][95].R1,
+		&vk.Lines[0][1][94].R0,
+		&vk.Lines[0][1][94].R1,
+		&vk.Lines[0][1][93].R0,
+		&vk.Lines[0][1][93].R1,
+		&vk.Lines[0][1][92].R0,
+		&vk.Lines[0][1][92].R1,
+		&vk.Lines[0][1][91].R0,
+		&vk.Lines[0][1][91].R1,
+		&vk.Lines[0][1][90].R0,
+		&vk.Lines[0][1][90].R1,
+		&vk.Lines[0][1][89].R0,
+		&vk.Lines[0][1][89].R1,
+		&vk.Lines[0][1][88].R0,
+		&vk.Lines[0][1][88].R1,
+		&vk.Lines[0][1][87].R0,
+		&vk.Lines[0][1][87].R1,
+		&vk.Lines[0][1][86].R0,
+		&vk.Lines[0][1][86].R1,
+		&vk.Lines[0][1][85].R0,
+		&vk.Lines[0][1][85].R1,
+		&vk.Lines[0][1][84].R0,
+		&vk.Lines[0][1][84].R1,
+		&vk.Lines[0][1][83].R0,
+		&vk.Lines[0][1][83].R1,
+		&vk.Lines[0][1][82].R0,
+		&vk.Lines[0][1][82].R1,
+		&vk.Lines[0][1][81].R0,
+		&vk.Lines[0][1][81].R1,
+		&vk.Lines[0][1][80].R0,
+		&vk.Lines[0][1][80].R1,
+		&vk.Lines[0][1][79].R0,
+		&vk.Lines[0][1][79].R1,
+		&vk.Lines[0][1][78].R0,
+		&vk.Lines[0][1][78].R1,
+		&vk.Lines[0][1][77].R0,
+		&vk.Lines[0][1][77].R1,
+		&vk.Lines[0][1][76].R0,
+		&vk.Lines[0][1][76].R1,
+		&vk.Lines[0][1][75].R0,
+		&vk.Lines[0][1][75].R1,
+		&vk.Lines[0][1][74].R0,
+		&vk.Lines[0][1][74].R1,
+		&vk.Lines[0][1][73].R0,
+		&vk.Lines[0][1][73].R1,
+		&vk.Lines[0][1][72].R0,
+		&vk.Lines[0][1][72].R1,
+		&vk.Lines[0][1][71].R0,
+		&vk.Lines[0][1][71].R1,
+		&vk.Lines[0][1][70].R0,
+		&vk.Lines[0][1][70].R1,
+		&vk.Lines[0][1][69].R0,
+		&vk.Lines[0][1][69].R1,
+		&vk.Lines[0][1][68].R0,
+		&vk.Lines[0][1][68].R1,
+		&vk.Lines[0][1][67].R0,
+		&vk.Lines[0][1][67].R1,
+		&vk.Lines[0][1][66].R0,
+		&vk.Lines[0][1][66].R1,
+		&vk.Lines[0][1][65].R0,
+		&vk.Lines[0][1][65].R1,
+		&vk.Lines[0][1][64].R0,
+		&vk.Lines[0][1][64].R1,
+		&vk.Lines[0][1][63].R0,
+		&vk.Lines[0][1][63].R1,
+		&vk.Lines[0][1][62].R0,
+		&vk.Lines[0][1][62].R1,
+		&vk.Lines[0][1][61].R0,
+		&vk.Lines[0][1][61].R1,
+		&vk.Lines[0][1][60].R0,
+		&vk.Lines[0][1][60].R1,
+		&vk.Lines[0][1][59].R0,
+		&vk.Lines[0][1][59].R1,
+		&vk.Lines[0][1][58].R0,
+		&vk.Lines[0][1][58].R1,
+		&vk.Lines[0][1][57].R0,
+		&vk.Lines[0][1][57].R1,
+		&vk.Lines[0][1][56].R0,
+		&vk.Lines[0][1][56].R1,
+		&vk.Lines[0][1][55].R0,
+		&vk.Lines[0][1][55].R1,
+		&vk.Lines[0][1][54].R0,
+		&vk.Lines[0][1][54].R1,
+		&vk.Lines[0][1][53].R0,
+		&vk.Lines[0][1][53].R1,
+		&vk.Lines[0][1][52].R0,
+		&vk.Lines[0][1][52].R1,
+		&vk.Lines[0][1][51].R0,
+		&vk.Lines[0][1][51].R1,
+		&vk.Lines[0][1][50].R0,
+		&vk.Lines[0][1][50].R1,
+		&vk.Lines[0][1][49].R0,
+		&vk.Lines[0][1][49].R1,
+		&vk.Lines[0][1][48].R0,
+		&vk.Lines[0][1][48].R1,
+		&vk.Lines[0][1][47].R0,
+		&vk.Lines[0][1][47].R1,
+		&vk.Lines[0][1][46].R0,
+		&vk.Lines[0][1][46].R1,
+		&vk.Lines[0][1][45].R0,
+		&vk.Lines[0][1][45].R1,
+		&vk.Lines[0][1][44].R0,
+		&vk.Lines[0][1][44].R1,
+		&vk.Lines[0][1][43].R0,
+		&vk.Lines[0][1][43].R1,
+		&vk.Lines[0][1][42].R0,
+		&vk.Lines[0][1][42].R1,
+		&vk.Lines[0][1][41].R0,
+		&vk.Lines[0][1][41].R1,
+		&vk.Lines[0][1][40].R0,
+		&vk.Lines[0][1][40].R1,
+		&vk.Lines[0][1][39].R0,
+		&vk.Lines[0][1][39].R1,
+		&vk.Lines[0][1][38].R0,
+		&vk.Lines[0][1][38].R1,
+		&vk.Lines[0][1][37].R0,
+		&vk.Lines[0][1][37].R1,
+		&vk.Lines[0][1][36].R0,
+		&vk.Lines[0][1][36].R1,
+		&vk.Lines[0][1][35].R0,
+		&vk.Lines[0][1][35].R1,
+		&vk.Lines[0][1][34].R0,
+		&vk.Lines[0][1][34].R1,
+		&vk.Lines[0][1][33].R0,
+		&vk.Lines[0][1][33].R1,
+		&vk.Lines[0][1][32].R0,
+		&vk.Lines[0][1][32].R1,
 		&vk.Lines[0][1][31].R0,
 		&vk.Lines[0][1][31].R1,
 		&vk.Lines[0][1][30].R0,
@@ -489,6 +2001,258 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[0][1][1].R1,
 		&vk.Lines[0][1][0].R0,
 		&vk.Lines[0][1][0].R1,
+		&vk.Lines[1][0][157].R0,
+		&vk.Lines[1][0][157].R1,
+		&vk.Lines[1][0][156].R0,
+		&vk.Lines[1][0][156].R1,
+		&vk.Lines[1][0][155].R0,
+		&vk.Lines[1][0][155].R1,
+		&vk.Lines[1][0][154].R0,
+		&vk.Lines[1][0][154].R1,
+		&vk.Lines[1][0][153].R0,
+		&vk.Lines[1][0][153].R1,
+		&vk.Lines[1][0][152].R0,
+		&vk.Lines[1][0][152].R1,
+		&vk.Lines[1][0][151].R0,
+		&vk.Lines[1][0][151].R1,
+		&vk.Lines[1][0][150].R0,
+		&vk.Lines[1][0][150].R1,
+		&vk.Lines[1][0][149].R0,
+		&vk.Lines[1][0][149].R1,
+		&vk.Lines[1][0][148].R0,
+		&vk.Lines[1][0][148].R1,
+		&vk.Lines[1][0][147].R0,
+		&vk.Lines[1][0][147].R1,
+		&vk.Lines[1][0][146].R0,
+		&vk.Lines[1][0][146].R1,
+		&vk.Lines[1][0][145].R0,
+		&vk.Lines[1][0][145].R1,
+		&vk.Lines[1][0][144].R0,
+		&vk.Lines[1][0][144].R1,
+		&vk.Lines[1][0][143].R0,
+		&vk.Lines[1][0][143].R1,
+		&vk.Lines[1][0][142].R0,
+		&vk.Lines[1][0][142].R1,
+		&vk.Lines[1][0][141].R0,
+		&vk.Lines[1][0][141].R1,
+		&vk.Lines[1][0][140].R0,
+		&vk.Lines[1][0][140].R1,
+		&vk.Lines[1][0][139].R0,
+		&vk.Lines[1][0][139].R1,
+		&vk.Lines[1][0][138].R0,
+		&vk.Lines[1][0][138].R1,
+		&vk.Lines[1][0][137].R0,
+		&vk.Lines[1][0][137].R1,
+		&vk.Lines[1][0][136].R0,
+		&vk.Lines[1][0][136].R1,
+		&vk.Lines[1][0][135].R0,
+		&vk.Lines[1][0][135].R1,
+		&vk.Lines[1][0][134].R0,
+		&vk.Lines[1][0][134].R1,
+		&vk.Lines[1][0][133].R0,
+		&vk.Lines[1][0][133].R1,
+		&vk.Lines[1][0][132].R0,
+		&vk.Lines[1][0][132].R1,
+		&vk.Lines[1][0][131].R0,
+		&vk.Lines[1][0][131].R1,
+		&vk.Lines[1][0][130].R0,
+		&vk.Lines[1][0][130].R1,
+		&vk.Lines[1][0][129].R0,
+		&vk.Lines[1][0][129].R1,
+		&vk.Lines[1][0][128].R0,
+		&vk.Lines[1][0][128].R1,
+		&vk.Lines[1][0][127].R0,
+		&vk.Lines[1][0][127].R1,
+		&vk.Lines[1][0][126].R0,
+		&vk.Lines[1][0][126].R1,
+		&vk.Lines[1][0][125].R0,
+		&vk.Lines[1][0][125].R1,
+		&vk.Lines[1][0][124].R0,
+		&vk.Lines[1][0][124].R1,
+		&vk.Lines[1][0][123].R0,
+		&vk.Lines[1][0][123].R1,
+		&vk.Lines[1][0][122].R0,
+		&vk.Lines[1][0][122].R1,
+		&vk.Lines[1][0][121].R0,
+		&vk.Lines[1][0][121].R1,
+		&vk.Lines[1][0][120].R0,
+		&vk.Lines[1][0][120].R1,
+		&vk.Lines[1][0][119].R0,
+		&vk.Lines[1][0][119].R1,
+		&vk.Lines[1][0][118].R0,
+		&vk.Lines[1][0][118].R1,
+		&vk.Lines[1][0][117].R0,
+		&vk.Lines[1][0][117].R1,
+		&vk.Lines[1][0][116].R0,
+		&vk.Lines[1][0][116].R1,
+		&vk.Lines[1][0][115].R0,
+		&vk.Lines[1][0][115].R1,
+		&vk.Lines[1][0][114].R0,
+		&vk.Lines[1][0][114].R1,
+		&vk.Lines[1][0][113].R0,
+		&vk.Lines[1][0][113].R1,
+		&vk.Lines[1][0][112].R0,
+		&vk.Lines[1][0][112].R1,
+		&vk.Lines[1][0][111].R0,
+		&vk.Lines[1][0][111].R1,
+		&vk.Lines[1][0][110].R0,
+		&vk.Lines[1][0][110].R1,
+		&vk.Lines[1][0][109].R0,
+		&vk.Lines[1][0][109].R1,
+		&vk.Lines[1][0][108].R0,
+		&vk.Lines[1][0][108].R1,
+		&vk.Lines[1][0][107].R0,
+		&vk.Lines[1][0][107].R1,
+		&vk.Lines[1][0][106].R0,
+		&vk.Lines[1][0][106].R1,
+		&vk.Lines[1][0][105].R0,
+		&vk.Lines[1][0][105].R1,
+		&vk.Lines[1][0][104].R0,
+		&vk.Lines[1][0][104].R1,
+		&vk.Lines[1][0][103].R0,
+		&vk.Lines[1][0][103].R1,
+		&vk.Lines[1][0][102].R0,
+		&vk.Lines[1][0][102].R1,
+		&vk.Lines[1][0][101].R0,
+		&vk.Lines[1][0][101].R1,
+		&vk.Lines[1][0][100].R0,
+		&vk.Lines[1][0][100].R1,
+		&vk.Lines[1][0][99].R0,
+		&vk.Lines[1][0][99].R1,
+		&vk.Lines[1][0][98].R0,
+		&vk.Lines[1][0][98].R1,
+		&vk.Lines[1][0][97].R0,
+		&vk.Lines[1][0][97].R1,
+		&vk.Lines[1][0][96].R0,
+		&vk.Lines[1][0][96].R1,
+		&vk.Lines[1][0][95].R0,
+		&vk.Lines[1][0][95].R1,
+		&vk.Lines[1][0][94].R0,
+		&vk.Lines[1][0][94].R1,
+		&vk.Lines[1][0][93].R0,
+		&vk.Lines[1][0][93].R1,
+		&vk.Lines[1][0][92].R0,
+		&vk.Lines[1][0][92].R1,
+		&vk.Lines[1][0][91].R0,
+		&vk.Lines[1][0][91].R1,
+		&vk.Lines[1][0][90].R0,
+		&vk.Lines[1][0][90].R1,
+		&vk.Lines[1][0][89].R0,
+		&vk.Lines[1][0][89].R1,
+		&vk.Lines[1][0][88].R0,
+		&vk.Lines[1][0][88].R1,
+		&vk.Lines[1][0][87].R0,
+		&vk.Lines[1][0][87].R1,
+		&vk.Lines[1][0][86].R0,
+		&vk.Lines[1][0][86].R1,
+		&vk.Lines[1][0][85].R0,
+		&vk.Lines[1][0][85].R1,
+		&vk.Lines[1][0][84].R0,
+		&vk.Lines[1][0][84].R1,
+		&vk.Lines[1][0][83].R0,
+		&vk.Lines[1][0][83].R1,
+		&vk.Lines[1][0][82].R0,
+		&vk.Lines[1][0][82].R1,
+		&vk.Lines[1][0][81].R0,
+		&vk.Lines[1][0][81].R1,
+		&vk.Lines[1][0][80].R0,
+		&vk.Lines[1][0][80].R1,
+		&vk.Lines[1][0][79].R0,
+		&vk.Lines[1][0][79].R1,
+		&vk.Lines[1][0][78].R0,
+		&vk.Lines[1][0][78].R1,
+		&vk.Lines[1][0][77].R0,
+		&vk.Lines[1][0][77].R1,
+		&vk.Lines[1][0][76].R0,
+		&vk.Lines[1][0][76].R1,
+		&vk.Lines[1][0][75].R0,
+		&vk.Lines[1][0][75].R1,
+		&vk.Lines[1][0][74].R0,
+		&vk.Lines[1][0][74].R1,
+		&vk.Lines[1][0][73].R0,
+		&vk.Lines[1][0][73].R1,
+		&vk.Lines[1][0][72].R0,
+		&vk.Lines[1][0][72].R1,
+		&vk.Lines[1][0][71].R0,
+		&vk.Lines[1][0][71].R1,
+		&vk.Lines[1][0][70].R0,
+		&vk.Lines[1][0][70].R1,
+		&vk.Lines[1][0][69].R0,
+		&vk.Lines[1][0][69].R1,
+		&vk.Lines[1][0][68].R0,
+		&vk.Lines[1][0][68].R1,
+		&vk.Lines[1][0][67].R0,
+		&vk.Lines[1][0][67].R1,
+		&vk.Lines[1][0][66].R0,
+		&vk.Lines[1][0][66].R1,
+		&vk.Lines[1][0][65].R0,
+		&vk.Lines[1][0][65].R1,
+		&vk.Lines[1][0][64].R0,
+		&vk.Lines[1][0][64].R1,
+		&vk.Lines[1][0][63].R0,
+		&vk.Lines[1][0][63].R1,
+		&vk.Lines[1][0][62].R0,
+		&vk.Lines[1][0][62].R1,
+		&vk.Lines[1][0][61].R0,
+		&vk.Lines[1][0][61].R1,
+		&vk.Lines[1][0][60].R0,
+		&vk.Lines[1][0][60].R1,
+		&vk.Lines[1][0][59].R0,
+		&vk.Lines[1][0][59].R1,
+		&vk.Lines[1][0][58].R0,
+		&vk.Lines[1][0][58].R1,
+		&vk.Lines[1][0][57].R0,
+		&vk.Lines[1][0][57].R1,
+		&vk.Lines[1][0][56].R0,
+		&vk.Lines[1][0][56].R1,
+		&vk.Lines[1][0][55].R0,
+		&vk.Lines[1][0][55].R1,
+		&vk.Lines[1][0][54].R0,
+		&vk.Lines[1][0][54].R1,
+		&vk.Lines[1][0][53].R0,
+		&vk.Lines[1][0][53].R1,
+		&vk.Lines[1][0][52].R0,
+		&vk.Lines[1][0][52].R1,
+		&vk.Lines[1][0][51].R0,
+		&vk.Lines[1][0][51].R1,
+		&vk.Lines[1][0][50].R0,
+		&vk.Lines[1][0][50].R1,
+		&vk.Lines[1][0][49].R0,
+		&vk.Lines[1][0][49].R1,
+		&vk.Lines[1][0][48].R0,
+		&vk.Lines[1][0][48].R1,
+		&vk.Lines[1][0][47].R0,
+		&vk.Lines[1][0][47].R1,
+		&vk.Lines[1][0][46].R0,
+		&vk.Lines[1][0][46].R1,
+		&vk.Lines[1][0][45].R0,
+		&vk.Lines[1][0][45].R1,
+		&vk.Lines[1][0][44].R0,
+		&vk.Lines[1][0][44].R1,
+		&vk.Lines[1][0][43].R0,
+		&vk.Lines[1][0][43].R1,
+		&vk.Lines[1][0][42].R0,
+		&vk.Lines[1][0][42].R1,
+		&vk.Lines[1][0][41].R0,
+		&vk.Lines[1][0][41].R1,
+		&vk.Lines[1][0][40].R0,
+		&vk.Lines[1][0][40].R1,
+		&vk.Lines[1][0][39].R0,
+		&vk.Lines[1][0][39].R1,
+		&vk.Lines[1][0][38].R0,
+		&vk.Lines[1][0][38].R1,
+		&vk.Lines[1][0][37].R0,
+		&vk.Lines[1][0][37].R1,
+		&vk.Lines[1][0][36].R0,
+		&vk.Lines[1][0][36].R1,
+		&vk.Lines[1][0][35].R0,
+		&vk.Lines[1][0][35].R1,
+		&vk.Lines[1][0][34].R0,
+		&vk.Lines[1][0][34].R1,
+		&vk.Lines[1][0][33].R0,
+		&vk.Lines[1][0][33].R1,
+		&vk.Lines[1][0][32].R0,
+		&vk.Lines[1][0][32].R1,
 		&vk.Lines[1][0][31].R0,
 		&vk.Lines[1][0][31].R1,
 		&vk.Lines[1][0][30].R0,
@@ -553,6 +2317,258 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[1][0][1].R1,
 		&vk.Lines[1][0][0].R0,
 		&vk.Lines[1][0][0].R1,
+		&vk.Lines[1][1][157].R0,
+		&vk.Lines[1][1][157].R1,
+		&vk.Lines[1][1][156].R0,
+		&vk.Lines[1][1][156].R1,
+		&vk.Lines[1][1][155].R0,
+		&vk.Lines[1][1][155].R1,
+		&vk.Lines[1][1][154].R0,
+		&vk.Lines[1][1][154].R1,
+		&vk.Lines[1][1][153].R0,
+		&vk.Lines[1][1][153].R1,
+		&vk.Lines[1][1][152].R0,
+		&vk.Lines[1][1][152].R1,
+		&vk.Lines[1][1][151].R0,
+		&vk.Lines[1][1][151].R1,
+		&vk.Lines[1][1][150].R0,
+		&vk.Lines[1][1][150].R1,
+		&vk.Lines[1][1][149].R0,
+		&vk.Lines[1][1][149].R1,
+		&vk.Lines[1][1][148].R0,
+		&vk.Lines[1][1][148].R1,
+		&vk.Lines[1][1][147].R0,
+		&vk.Lines[1][1][147].R1,
+		&vk.Lines[1][1][146].R0,
+		&vk.Lines[1][1][146].R1,
+		&vk.Lines[1][1][145].R0,
+		&vk.Lines[1][1][145].R1,
+		&vk.Lines[1][1][144].R0,
+		&vk.Lines[1][1][144].R1,
+		&vk.Lines[1][1][143].R0,
+		&vk.Lines[1][1][143].R1,
+		&vk.Lines[1][1][142].R0,
+		&vk.Lines[1][1][142].R1,
+		&vk.Lines[1][1][141].R0,
+		&vk.Lines[1][1][141].R1,
+		&vk.Lines[1][1][140].R0,
+		&vk.Lines[1][1][140].R1,
+		&vk.Lines[1][1][139].R0,
+		&vk.Lines[1][1][139].R1,
+		&vk.Lines[1][1][138].R0,
+		&vk.Lines[1][1][138].R1,
+		&vk.Lines[1][1][137].R0,
+		&vk.Lines[1][1][137].R1,
+		&vk.Lines[1][1][136].R0,
+		&vk.Lines[1][1][136].R1,
+		&vk.Lines[1][1][135].R0,
+		&vk.Lines[1][1][135].R1,
+		&vk.Lines[1][1][134].R0,
+		&vk.Lines[1][1][134].R1,
+		&vk.Lines[1][1][133].R0,
+		&vk.Lines[1][1][133].R1,
+		&vk.Lines[1][1][132].R0,
+		&vk.Lines[1][1][132].R1,
+		&vk.Lines[1][1][131].R0,
+		&vk.Lines[1][1][131].R1,
+		&vk.Lines[1][1][130].R0,
+		&vk.Lines[1][1][130].R1,
+		&vk.Lines[1][1][129].R0,
+		&vk.Lines[1][1][129].R1,
+		&vk.Lines[1][1][128].R0,
+		&vk.Lines[1][1][128].R1,
+		&vk.Lines[1][1][127].R0,
+		&vk.Lines[1][1][127].R1,
+		&vk.Lines[1][1][126].R0,
+		&vk.Lines[1][1][126].R1,
+		&vk.Lines[1][1][125].R0,
+		&vk.Lines[1][1][125].R1,
+		&vk.Lines[1][1][124].R0,
+		&vk.Lines[1][1][124].R1,
+		&vk.Lines[1][1][123].R0,
+		&vk.Lines[1][1][123].R1,
+		&vk.Lines[1][1][122].R0,
+		&vk.Lines[1][1][122].R1,
+		&vk.Lines[1][1][121].R0,
+		&vk.Lines[1][1][121].R1,
+		&vk.Lines[1][1][120].R0,
+		&vk.Lines[1][1][120].R1,
+		&vk.Lines[1][1][119].R0,
+		&vk.Lines[1][1][119].R1,
+		&vk.Lines[1][1][118].R0,
+		&vk.Lines[1][1][118].R1,
+		&vk.Lines[1][1][117].R0,
+		&vk.Lines[1][1][117].R1,
+		&vk.Lines[1][1][116].R0,
+		&vk.Lines[1][1][116].R1,
+		&vk.Lines[1][1][115].R0,
+		&vk.Lines[1][1][115].R1,
+		&vk.Lines[1][1][114].R0,
+		&vk.Lines[1][1][114].R1,
+		&vk.Lines[1][1][113].R0,
+		&vk.Lines[1][1][113].R1,
+		&vk.Lines[1][1][112].R0,
+		&vk.Lines[1][1][112].R1,
+		&vk.Lines[1][1][111].R0,
+		&vk.Lines[1][1][111].R1,
+		&vk.Lines[1][1][110].R0,
+		&vk.Lines[1][1][110].R1,
+		&vk.Lines[1][1][109].R0,
+		&vk.Lines[1][1][109].R1,
+		&vk.Lines[1][1][108].R0,
+		&vk.Lines[1][1][108].R1,
+		&vk.Lines[1][1][107].R0,
+		&vk.Lines[1][1][107].R1,
+		&vk.Lines[1][1][106].R0,
+		&vk.Lines[1][1][106].R1,
+		&vk.Lines[1][1][105].R0,
+		&vk.Lines[1][1][105].R1,
+		&vk.Lines[1][1][104].R0,
+		&vk.Lines[1][1][104].R1,
+		&vk.Lines[1][1][103].R0,
+		&vk.Lines[1][1][103].R1,
+		&vk.Lines[1][1][102].R0,
+		&vk.Lines[1][1][102].R1,
+		&vk.Lines[1][1][101].R0,
+		&vk.Lines[1][1][101].R1,
+		&vk.Lines[1][1][100].R0,
+		&vk.Lines[1][1][100].R1,
+		&vk.Lines[1][1][99].R0,
+		&vk.Lines[1][1][99].R1,
+		&vk.Lines[1][1][98].R0,
+		&vk.Lines[1][1][98].R1,
+		&vk.Lines[1][1][97].R0,
+		&vk.Lines[1][1][97].R1,
+		&vk.Lines[1][1][96].R0,
+		&vk.Lines[1][1][96].R1,
+		&vk.Lines[1][1][95].R0,
+		&vk.Lines[1][1][95].R1,
+		&vk.Lines[1][1][94].R0,
+		&vk.Lines[1][1][94].R1,
+		&vk.Lines[1][1][93].R0,
+		&vk.Lines[1][1][93].R1,
+		&vk.Lines[1][1][92].R0,
+		&vk.Lines[1][1][92].R1,
+		&vk.Lines[1][1][91].R0,
+		&vk.Lines[1][1][91].R1,
+		&vk.Lines[1][1][90].R0,
+		&vk.Lines[1][1][90].R1,
+		&vk.Lines[1][1][89].R0,
+		&vk.Lines[1][1][89].R1,
+		&vk.Lines[1][1][88].R0,
+		&vk.Lines[1][1][88].R1,
+		&vk.Lines[1][1][87].R0,
+		&vk.Lines[1][1][87].R1,
+		&vk.Lines[1][1][86].R0,
+		&vk.Lines[1][1][86].R1,
+		&vk.Lines[1][1][85].R0,
+		&vk.Lines[1][1][85].R1,
+		&vk.Lines[1][1][84].R0,
+		&vk.Lines[1][1][84].R1,
+		&vk.Lines[1][1][83].R0,
+		&vk.Lines[1][1][83].R1,
+		&vk.Lines[1][1][82].R0,
+		&vk.Lines[1][1][82].R1,
+		&vk.Lines[1][1][81].R0,
+		&vk.Lines[1][1][81].R1,
+		&vk.Lines[1][1][80].R0,
+		&vk.Lines[1][1][80].R1,
+		&vk.Lines[1][1][79].R0,
+		&vk.Lines[1][1][79].R1,
+		&vk.Lines[1][1][78].R0,
+		&vk.Lines[1][1][78].R1,
+		&vk.Lines[1][1][77].R0,
+		&vk.Lines[1][1][77].R1,
+		&vk.Lines[1][1][76].R0,
+		&vk.Lines[1][1][76].R1,
+		&vk.Lines[1][1][75].R0,
+		&vk.Lines[1][1][75].R1,
+		&vk.Lines[1][1][74].R0,
+		&vk.Lines[1][1][74].R1,
+		&vk.Lines[1][1][73].R0,
+		&vk.Lines[1][1][73].R1,
+		&vk.Lines[1][1][72].R0,
+		&vk.Lines[1][1][72].R1,
+		&vk.Lines[1][1][71].R0,
+		&vk.Lines[1][1][71].R1,
+		&vk.Lines[1][1][70].R0,
+		&vk.Lines[1][1][70].R1,
+		&vk.Lines[1][1][69].R0,
+		&vk.Lines[1][1][69].R1,
+		&vk.Lines[1][1][68].R0,
+		&vk.Lines[1][1][68].R1,
+		&vk.Lines[1][1][67].R0,
+		&vk.Lines[1][1][67].R1,
+		&vk.Lines[1][1][66].R0,
+		&vk.Lines[1][1][66].R1,
+		&vk.Lines[1][1][65].R0,
+		&vk.Lines[1][1][65].R1,
+		&vk.Lines[1][1][64].R0,
+		&vk.Lines[1][1][64].R1,
+		&vk.Lines[1][1][63].R0,
+		&vk.Lines[1][1][63].R1,
+		&vk.Lines[1][1][62].R0,
+		&vk.Lines[1][1][62].R1,
+		&vk.Lines[1][1][61].R0,
+		&vk.Lines[1][1][61].R1,
+		&vk.Lines[1][1][60].R0,
+		&vk.Lines[1][1][60].R1,
+		&vk.Lines[1][1][59].R0,
+		&vk.Lines[1][1][59].R1,
+		&vk.Lines[1][1][58].R0,
+		&vk.Lines[1][1][58].R1,
+		&vk.Lines[1][1][57].R0,
+		&vk.Lines[1][1][57].R1,
+		&vk.Lines[1][1][56].R0,
+		&vk.Lines[1][1][56].R1,
+		&vk.Lines[1][1][55].R0,
+		&vk.Lines[1][1][55].R1,
+		&vk.Lines[1][1][54].R0,
+		&vk.Lines[1][1][54].R1,
+		&vk.Lines[1][1][53].R0,
+		&vk.Lines[1][1][53].R1,
+		&vk.Lines[1][1][52].R0,
+		&vk.Lines[1][1][52].R1,
+		&vk.Lines[1][1][51].R0,
+		&vk.Lines[1][1][51].R1,
+		&vk.Lines[1][1][50].R0,
+		&vk.Lines[1][1][50].R1,
+		&vk.Lines[1][1][49].R0,
+		&vk.Lines[1][1][49].R1,
+		&vk.Lines[1][1][48].R0,
+		&vk.Lines[1][1][48].R1,
+		&vk.Lines[1][1][47].R0,
+		&vk.Lines[1][1][47].R1,
+		&vk.Lines[1][1][46].R0,
+		&vk.Lines[1][1][46].R1,
+		&vk.Lines[1][1][45].R0,
+		&vk.Lines[1][1][45].R1,
+		&vk.Lines[1][1][44].R0,
+		&vk.Lines[1][1][44].R1,
+		&vk.Lines[1][1][43].R0,
+		&vk.Lines[1][1][43].R1,
+		&vk.Lines[1][1][42].R0,
+		&vk.Lines[1][1][42].R1,
+		&vk.Lines[1][1][41].R0,
+		&vk.Lines[1][1][41].R1,
+		&vk.Lines[1][1][40].R0,
+		&vk.Lines[1][1][40].R1,
+		&vk.Lines[1][1][39].R0,
+		&vk.Lines[1][1][39].R1,
+		&vk.Lines[1][1][38].R0,
+		&vk.Lines[1][1][38].R1,
+		&vk.Lines[1][1][37].R0,
+		&vk.Lines[1][1][37].R1,
+		&vk.Lines[1][1][36].R0,
+		&vk.Lines[1][1][36].R1,
+		&vk.Lines[1][1][35].R0,
+		&vk.Lines[1][1][35].R1,
+		&vk.Lines[1][1][34].R0,
+		&vk.Lines[1][1][34].R1,
+		&vk.Lines[1][1][33].R0,
+		&vk.Lines[1][1][33].R1,
+		&vk.Lines[1][1][32].R0,
+		&vk.Lines[1][1][32].R1,
 		&vk.Lines[1][1][31].R0,
 		&vk.Lines[1][1][31].R1,
 		&vk.Lines[1][1][30].R0,
diff --git a/internal/generator/kzg/template/marshal.go.tmpl b/internal/generator/kzg/template/marshal.go.tmpl
index 18a8dddf83..d816610501 100644
--- a/internal/generator/kzg/template/marshal.go.tmpl
+++ b/internal/generator/kzg/template/marshal.go.tmpl
@@ -105,6 +105,8 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*{{.CurvePackage}}.
 		&vk.Lines[0][0][159].R1,
 		&vk.Lines[0][0][158].R0,
 		&vk.Lines[0][0][158].R1,
+        {{- end }}
+        {{- if or (eq .Name "bw6-633") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
 		&vk.Lines[0][0][157].R0,
 		&vk.Lines[0][0][157].R1,
 		&vk.Lines[0][0][156].R0,
@@ -290,7 +292,7 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*{{.CurvePackage}}.
 		&vk.Lines[0][0][66].R0,
 		&vk.Lines[0][0][66].R1,
         {{- end }}
-        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[0][0][65].R0,
 		&vk.Lines[0][0][65].R1,
 		&vk.Lines[0][0][64].R0,
@@ -298,7 +300,7 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*{{.CurvePackage}}.
 		&vk.Lines[0][0][63].R0,
 		&vk.Lines[0][0][63].R1,
         {{- end }}
-        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[0][0][62].R0,
 		&vk.Lines[0][0][62].R1,
 		&vk.Lines[0][0][61].R0,
@@ -494,6 +496,8 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*{{.CurvePackage}}.
 		&vk.Lines[0][1][159].R1,
 		&vk.Lines[0][1][158].R0,
 		&vk.Lines[0][1][158].R1,
+        {{- end }}
+        {{- if or (eq .Name "bw6-633") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
 		&vk.Lines[0][1][157].R0,
 		&vk.Lines[0][1][157].R1,
 		&vk.Lines[0][1][156].R0,
@@ -679,7 +683,7 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*{{.CurvePackage}}.
 		&vk.Lines[0][1][66].R0,
 		&vk.Lines[0][1][66].R1,
         {{- end }}
-        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[0][1][65].R0,
 		&vk.Lines[0][1][65].R1,
 		&vk.Lines[0][1][64].R0,
@@ -687,7 +691,7 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*{{.CurvePackage}}.
 		&vk.Lines[0][1][63].R0,
 		&vk.Lines[0][1][63].R1,
         {{- end }}
-        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[0][1][62].R0,
 		&vk.Lines[0][1][62].R1,
 		&vk.Lines[0][1][61].R0,
@@ -883,6 +887,8 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*{{.CurvePackage}}.
 		&vk.Lines[1][0][159].R1,
 		&vk.Lines[1][0][158].R0,
 		&vk.Lines[1][0][158].R1,
+        {{- end }}
+        {{- if or (eq .Name "bw6-633") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
 		&vk.Lines[1][0][157].R0,
 		&vk.Lines[1][0][157].R1,
 		&vk.Lines[1][0][156].R0,
@@ -1068,7 +1074,7 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*{{.CurvePackage}}.
 		&vk.Lines[1][0][66].R0,
 		&vk.Lines[1][0][66].R1,
         {{- end }}
-        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[1][0][65].R0,
 		&vk.Lines[1][0][65].R1,
 		&vk.Lines[1][0][64].R0,
@@ -1076,7 +1082,7 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*{{.CurvePackage}}.
 		&vk.Lines[1][0][63].R0,
 		&vk.Lines[1][0][63].R1,
         {{- end }}
-        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[1][0][62].R0,
 		&vk.Lines[1][0][62].R1,
 		&vk.Lines[1][0][61].R0,
@@ -1273,6 +1279,8 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*{{.CurvePackage}}.
 		&vk.Lines[1][1][159].R1,
 		&vk.Lines[1][1][158].R0,
 		&vk.Lines[1][1][158].R1,
+        {{- end }}
+        {{- if or (eq .Name "bw6-633") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
 		&vk.Lines[1][1][157].R0,
 		&vk.Lines[1][1][157].R1,
 		&vk.Lines[1][1][156].R0,
@@ -1458,7 +1466,7 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*{{.CurvePackage}}.
 		&vk.Lines[1][1][66].R0,
 		&vk.Lines[1][1][66].R1,
         {{- end }}
-        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[1][1][65].R0,
 		&vk.Lines[1][1][65].R1,
 		&vk.Lines[1][1][64].R0,
@@ -1466,7 +1474,7 @@ func (vk *VerifyingKey) writeTo(w io.Writer, options ...func(*{{.CurvePackage}}.
 		&vk.Lines[1][1][63].R0,
 		&vk.Lines[1][1][63].R1,
         {{- end }}
-        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[1][1][62].R0,
 		&vk.Lines[1][1][62].R1,
 		&vk.Lines[1][1][61].R0,
@@ -1711,6 +1719,8 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[0][0][159].R1,
 		&vk.Lines[0][0][158].R0,
 		&vk.Lines[0][0][158].R1,
+        {{- end }}
+        {{- if or (eq .Name "bw6-633") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
 		&vk.Lines[0][0][157].R0,
 		&vk.Lines[0][0][157].R1,
 		&vk.Lines[0][0][156].R0,
@@ -1896,7 +1906,7 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[0][0][66].R0,
 		&vk.Lines[0][0][66].R1,
         {{- end }}
-        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[0][0][65].R0,
 		&vk.Lines[0][0][65].R1,
 		&vk.Lines[0][0][64].R0,
@@ -1904,7 +1914,7 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[0][0][63].R0,
 		&vk.Lines[0][0][63].R1,
         {{- end }}
-        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[0][0][62].R0,
 		&vk.Lines[0][0][62].R1,
 		&vk.Lines[0][0][61].R0,
@@ -2100,6 +2110,8 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[0][1][159].R1,
 		&vk.Lines[0][1][158].R0,
 		&vk.Lines[0][1][158].R1,
+        {{- end }}
+        {{- if or (eq .Name "bw6-633") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
 		&vk.Lines[0][1][157].R0,
 		&vk.Lines[0][1][157].R1,
 		&vk.Lines[0][1][156].R0,
@@ -2285,7 +2297,7 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[0][1][66].R0,
 		&vk.Lines[0][1][66].R1,
         {{- end }}
-        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[0][1][65].R0,
 		&vk.Lines[0][1][65].R1,
 		&vk.Lines[0][1][64].R0,
@@ -2293,7 +2305,7 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[0][1][63].R0,
 		&vk.Lines[0][1][63].R1,
         {{- end }}
-        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[0][1][62].R0,
 		&vk.Lines[0][1][62].R1,
 		&vk.Lines[0][1][61].R0,
@@ -2489,6 +2501,8 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[1][0][159].R1,
 		&vk.Lines[1][0][158].R0,
 		&vk.Lines[1][0][158].R1,
+        {{- end }}
+        {{- if or (eq .Name "bw6-633") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
 		&vk.Lines[1][0][157].R0,
 		&vk.Lines[1][0][157].R1,
 		&vk.Lines[1][0][156].R0,
@@ -2674,7 +2688,7 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[1][0][66].R0,
 		&vk.Lines[1][0][66].R1,
         {{- end }}
-        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[1][0][65].R0,
 		&vk.Lines[1][0][65].R1,
 		&vk.Lines[1][0][64].R0,
@@ -2682,7 +2696,7 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[1][0][63].R0,
 		&vk.Lines[1][0][63].R1,
         {{- end }}
-        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[1][0][62].R0,
 		&vk.Lines[1][0][62].R1,
 		&vk.Lines[1][0][61].R0,
@@ -2879,6 +2893,8 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[1][1][159].R1,
 		&vk.Lines[1][1][158].R0,
 		&vk.Lines[1][1][158].R1,
+        {{- end }}
+        {{- if or (eq .Name "bw6-633") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
 		&vk.Lines[1][1][157].R0,
 		&vk.Lines[1][1][157].R1,
 		&vk.Lines[1][1][156].R0,
@@ -3064,7 +3080,7 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[1][1][66].R0,
 		&vk.Lines[1][1][66].R1,
         {{- end }}
-        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[1][1][65].R0,
 		&vk.Lines[1][1][65].R1,
 		&vk.Lines[1][1][64].R0,
@@ -3072,7 +3088,7 @@ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) {
 		&vk.Lines[1][1][63].R0,
 		&vk.Lines[1][1][63].R1,
         {{- end }}
-        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756")}}
+        {{- if or (eq .Name "bls12-381") (eq .Name "bls12-377") (eq .Name "bls12-378") (eq .Name "bn254") (eq .Name "bw6-761") (eq .Name "bw6-756") (eq .Name "bw6-633")}}
 		&vk.Lines[1][1][62].R0,
 		&vk.Lines[1][1][62].R1,
 		&vk.Lines[1][1][61].R0,