Skip to content

Commit b93c285

Browse files
EmilLutavladbochokFitznikrobik75github-actions[bot]
authored
feat: Apply v1.3.1 upgrade changes (#182)
Bigint v30.1 patch --------- Co-authored-by: Vlad Bochok <41153528+vladbochok@users.noreply.github.com> Co-authored-by: Fitznik <oshchypok.olena@gmail.com> Co-authored-by: Robert Remen <robik75@gmail.com> Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
1 parent f8765c2 commit b93c285

File tree

109 files changed

+16433
-14886
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

109 files changed

+16433
-14886
lines changed

‎circuit_defs/bigint_with_control/generated/circuit_layout.rs‎

Lines changed: 80 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10326,6 +10326,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1032610326
ColumnAddress::WitnessSubtree(40usize),
1032710327
ColumnAddress::WitnessSubtree(206usize),
1032810328
),
10329+
(
10330+
Mersenne31Field(1u32),
10331+
ColumnAddress::WitnessSubtree(42usize),
10332+
ColumnAddress::WitnessSubtree(206usize),
10333+
),
1032910334
],
1033010335
linear_terms: &[(
1033110336
Mersenne31Field(2147483646u32),
@@ -10365,6 +10370,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1036510370
ColumnAddress::WitnessSubtree(40usize),
1036610371
ColumnAddress::WitnessSubtree(207usize),
1036710372
),
10373+
(
10374+
Mersenne31Field(1u32),
10375+
ColumnAddress::WitnessSubtree(42usize),
10376+
ColumnAddress::WitnessSubtree(207usize),
10377+
),
1036810378
],
1036910379
linear_terms: &[(
1037010380
Mersenne31Field(2147483646u32),
@@ -10404,6 +10414,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1040410414
ColumnAddress::WitnessSubtree(40usize),
1040510415
ColumnAddress::WitnessSubtree(208usize),
1040610416
),
10417+
(
10418+
Mersenne31Field(1u32),
10419+
ColumnAddress::WitnessSubtree(42usize),
10420+
ColumnAddress::WitnessSubtree(208usize),
10421+
),
1040710422
],
1040810423
linear_terms: &[(
1040910424
Mersenne31Field(2147483646u32),
@@ -10443,6 +10458,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1044310458
ColumnAddress::WitnessSubtree(40usize),
1044410459
ColumnAddress::WitnessSubtree(209usize),
1044510460
),
10461+
(
10462+
Mersenne31Field(1u32),
10463+
ColumnAddress::WitnessSubtree(42usize),
10464+
ColumnAddress::WitnessSubtree(209usize),
10465+
),
1044610466
],
1044710467
linear_terms: &[(
1044810468
Mersenne31Field(2147483646u32),
@@ -10482,6 +10502,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1048210502
ColumnAddress::WitnessSubtree(40usize),
1048310503
ColumnAddress::WitnessSubtree(210usize),
1048410504
),
10505+
(
10506+
Mersenne31Field(1u32),
10507+
ColumnAddress::WitnessSubtree(42usize),
10508+
ColumnAddress::WitnessSubtree(210usize),
10509+
),
1048510510
],
1048610511
linear_terms: &[(
1048710512
Mersenne31Field(2147483646u32),
@@ -10521,6 +10546,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1052110546
ColumnAddress::WitnessSubtree(40usize),
1052210547
ColumnAddress::WitnessSubtree(211usize),
1052310548
),
10549+
(
10550+
Mersenne31Field(1u32),
10551+
ColumnAddress::WitnessSubtree(42usize),
10552+
ColumnAddress::WitnessSubtree(211usize),
10553+
),
1052410554
],
1052510555
linear_terms: &[(
1052610556
Mersenne31Field(2147483646u32),
@@ -10560,6 +10590,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1056010590
ColumnAddress::WitnessSubtree(40usize),
1056110591
ColumnAddress::WitnessSubtree(212usize),
1056210592
),
10593+
(
10594+
Mersenne31Field(1u32),
10595+
ColumnAddress::WitnessSubtree(42usize),
10596+
ColumnAddress::WitnessSubtree(212usize),
10597+
),
1056310598
],
1056410599
linear_terms: &[(
1056510600
Mersenne31Field(2147483646u32),
@@ -10599,6 +10634,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1059910634
ColumnAddress::WitnessSubtree(40usize),
1060010635
ColumnAddress::WitnessSubtree(213usize),
1060110636
),
10637+
(
10638+
Mersenne31Field(1u32),
10639+
ColumnAddress::WitnessSubtree(42usize),
10640+
ColumnAddress::WitnessSubtree(213usize),
10641+
),
1060210642
],
1060310643
linear_terms: &[(
1060410644
Mersenne31Field(2147483646u32),
@@ -10638,6 +10678,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1063810678
ColumnAddress::WitnessSubtree(40usize),
1063910679
ColumnAddress::WitnessSubtree(214usize),
1064010680
),
10681+
(
10682+
Mersenne31Field(1u32),
10683+
ColumnAddress::WitnessSubtree(42usize),
10684+
ColumnAddress::WitnessSubtree(214usize),
10685+
),
1064110686
],
1064210687
linear_terms: &[(
1064310688
Mersenne31Field(2147483646u32),
@@ -10677,6 +10722,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1067710722
ColumnAddress::WitnessSubtree(40usize),
1067810723
ColumnAddress::WitnessSubtree(215usize),
1067910724
),
10725+
(
10726+
Mersenne31Field(1u32),
10727+
ColumnAddress::WitnessSubtree(42usize),
10728+
ColumnAddress::WitnessSubtree(215usize),
10729+
),
1068010730
],
1068110731
linear_terms: &[(
1068210732
Mersenne31Field(2147483646u32),
@@ -10716,6 +10766,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1071610766
ColumnAddress::WitnessSubtree(40usize),
1071710767
ColumnAddress::WitnessSubtree(216usize),
1071810768
),
10769+
(
10770+
Mersenne31Field(1u32),
10771+
ColumnAddress::WitnessSubtree(42usize),
10772+
ColumnAddress::WitnessSubtree(216usize),
10773+
),
1071910774
],
1072010775
linear_terms: &[(
1072110776
Mersenne31Field(2147483646u32),
@@ -10755,6 +10810,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1075510810
ColumnAddress::WitnessSubtree(40usize),
1075610811
ColumnAddress::WitnessSubtree(217usize),
1075710812
),
10813+
(
10814+
Mersenne31Field(1u32),
10815+
ColumnAddress::WitnessSubtree(42usize),
10816+
ColumnAddress::WitnessSubtree(217usize),
10817+
),
1075810818
],
1075910819
linear_terms: &[(
1076010820
Mersenne31Field(2147483646u32),
@@ -10794,6 +10854,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1079410854
ColumnAddress::WitnessSubtree(40usize),
1079510855
ColumnAddress::WitnessSubtree(218usize),
1079610856
),
10857+
(
10858+
Mersenne31Field(1u32),
10859+
ColumnAddress::WitnessSubtree(42usize),
10860+
ColumnAddress::WitnessSubtree(218usize),
10861+
),
1079710862
],
1079810863
linear_terms: &[(
1079910864
Mersenne31Field(2147483646u32),
@@ -10833,6 +10898,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1083310898
ColumnAddress::WitnessSubtree(40usize),
1083410899
ColumnAddress::WitnessSubtree(219usize),
1083510900
),
10901+
(
10902+
Mersenne31Field(1u32),
10903+
ColumnAddress::WitnessSubtree(42usize),
10904+
ColumnAddress::WitnessSubtree(219usize),
10905+
),
1083610906
],
1083710907
linear_terms: &[(
1083810908
Mersenne31Field(2147483646u32),
@@ -10872,6 +10942,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1087210942
ColumnAddress::WitnessSubtree(40usize),
1087310943
ColumnAddress::WitnessSubtree(220usize),
1087410944
),
10945+
(
10946+
Mersenne31Field(1u32),
10947+
ColumnAddress::WitnessSubtree(42usize),
10948+
ColumnAddress::WitnessSubtree(220usize),
10949+
),
1087510950
],
1087610951
linear_terms: &[(
1087710952
Mersenne31Field(2147483646u32),
@@ -10911,6 +10986,11 @@ pub const VERIFIER_COMPILED_LAYOUT: VerifierCompiledCircuitArtifact<'static, Mer
1091110986
ColumnAddress::WitnessSubtree(40usize),
1091210987
ColumnAddress::WitnessSubtree(221usize),
1091310988
),
10989+
(
10990+
Mersenne31Field(1u32),
10991+
ColumnAddress::WitnessSubtree(42usize),
10992+
ColumnAddress::WitnessSubtree(221usize),
10993+
),
1091410994
],
1091510995
linear_terms: &[(
1091610996
Mersenne31Field(2147483646u32),

0 commit comments

Comments
 (0)