Merge pull request #816 from dusk-network/mocello/815_default_witness

Add `Default` trait implementation for `Witness`
dusk-network · Feb 28, 2024 · d40aca9 · d40aca9
2 parents 7505e9a + 7312fa9
commit d40aca9
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -11,6 +11,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 - Reduce hades constants count in circuit compression from 960 to 335 [#813]
 
+### Added
+
+- Add `Default` trait for `Witness` [#815]
+
 ## [0.19.0] - 2024-01-03
 
 ### Fixed
@@ -567,6 +571,7 @@ is necessary since `rkyv/validation` was required as a bound.
 - Proof system module.
 
 <!-- ISSUES -->
+[#815]: https://github.com/dusk-network/plonk/issues/815
 [#813]: https://github.com/dusk-network/plonk/issues/813
 [#805]: https://github.com/dusk-network/plonk/issues/805
 [#804]: https://github.com/dusk-network/plonk/issues/804

diff --git a/src/composer/constraint_system/witness.rs b/src/composer/constraint_system/witness.rs
@@ -29,6 +29,12 @@ pub struct Witness {
     index: usize,
 }
 
+impl Default for Witness {
+    fn default() -> Self {
+        crate::composer::Composer::ZERO
+    }
+}
+
 impl Witness {
     /// A `0` witness representation.
     pub const ZERO: Witness = Witness::new(0);