Fix inconsistent gate ordering

Resolves #797
dusk-network · Dec 14, 2023 · 1766644 · 1766644
1 parent 16145dc
commit 1766644
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -7,6 +7,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+### Fixed
+
+- Fix inconsistency in gate ordering of arithmetic verifier key [#797]
+
 ## [0.18.0] - 2023-12-13
 
 ### Changed
@@ -532,6 +536,7 @@ is necessary since `rkyv/validation` was required as a bound.
 - Proof system module.
 
 <!-- ISSUES -->
+[#797]: https://github.com/dusk-network/plonk/issues/797
 [#784]: https://github.com/dusk-network/plonk/issues/784
 [#773]: https://github.com/dusk-network/plonk/issues/773
 [#774]: https://github.com/dusk-network/plonk/issues/774

diff --git a/src/proof_system/widget/arithmetic/verifierkey.rs b/src/proof_system/widget/arithmetic/verifierkey.rs
@@ -32,10 +32,10 @@ pub(crate) struct VerifierKey {
     #[cfg_attr(feature = "rkyv-impl", omit_bounds)]
     pub q_o: Commitment,
     #[cfg_attr(feature = "rkyv-impl", omit_bounds)]
-    pub q_4: Commitment,
-    #[cfg_attr(feature = "rkyv-impl", omit_bounds)]
     pub q_c: Commitment,
     #[cfg_attr(feature = "rkyv-impl", omit_bounds)]
+    pub q_4: Commitment,
+    #[cfg_attr(feature = "rkyv-impl", omit_bounds)]
     pub q_arith: Commitment,
 }
 
@@ -73,8 +73,8 @@ impl Serializable<{ 7 * Commitment::SIZE }> for VerifierKey {
             q_l,
             q_r,
             q_o,
-            q_4,
             q_c,
+            q_4,
             q_arith,
         })
     }