poseidon: Update dependencies

- Update `dusk-plonk` to 0.19
- Update `dusk-poseidon` to 0.33

poseidon-merkle/CHANGELOG.md

@@ -7,6 +7,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+### Changed
+
+- Update `dusk-plonk` to 0.19
+- Update `dusk-poseidon` to 0.33
+
 ## [0.4.0] - 2023-12-13
 
 ### Changed

poseidon-merkle/Cargo.toml

@@ -16,9 +16,9 @@ license = "MPL-2.0"
 
 [dependencies]
 dusk-merkle = "0.5"
-dusk-poseidon = { version = "0.32", default-features = false, features = ["merkle"] }
+dusk-poseidon = { version = "0.33", default-features = false, features = ["merkle"] }
 dusk-bls12_381 = { version = "0.13", default-features = false }
-dusk-plonk = { version = "0.18", optional = true, default-features = false }
+dusk-plonk = { version = "0.19", optional = true, default-features = false }
 rkyv = { version = "0.7", optional = true, default-features = false }
 bytecheck = { version = "0.6", optional = true, default-features = false }
 

poseidon-merkle/benches/zk.rs

@@ -58,10 +58,7 @@ impl OpeningCircuit {
 }
 
 impl Circuit for OpeningCircuit {
-    fn circuit<C>(&self, composer: &mut C) -> Result<(), Error>
-    where
-        C: Composer,
-    {
+    fn circuit(&self, composer: &mut Composer) -> Result<(), Error> {
         // append the leaf and opening gadget to the circuit
         let leaf = composer.append_witness(self.leaf.hash);
         let computed_root = opening_gadget(composer, &self.opening, leaf);

poseidon-merkle/examples/zk.rs

@@ -56,10 +56,7 @@ impl OpeningCircuit {
 }
 
 impl Circuit for OpeningCircuit {
-    fn circuit<C>(&self, composer: &mut C) -> Result<(), Error>
-    where
-        C: Composer,
-    {
+    fn circuit(&self, composer: &mut Composer) -> Result<(), Error> {
         // append the leaf and opening gadget to the circuit
         let leaf = composer.append_witness(self.leaf.hash);
         let computed_root = opening_gadget(composer, &self.opening, leaf);

poseidon-merkle/src/zk.rs

@@ -12,19 +12,18 @@ use dusk_poseidon::sponge::merkle::gadget as poseidon_merkle_gadget;
 
 /// Builds the gadget for the poseidon opening and returns the computed
 /// root.
-pub fn opening_gadget<T, C, const H: usize, const A: usize>(
-    composer: &mut C,
+pub fn opening_gadget<T, const H: usize, const A: usize>(
+    composer: &mut Composer,
     opening: &Opening<T, H, A>,
     leaf: Witness,
 ) -> Witness
 where
     T: Clone + Aggregate<A>,
-    C: Composer,
 {
     // append the siblings and position to the circuit
-    let mut level_witnesses = [[C::ZERO; A]; H];
+    let mut level_witnesses = [[Composer::ZERO; A]; H];
     // if i == position: pos_bits[i] = 1 else: pos_bits[i] = 0
-    let mut pos_bits = [[C::ZERO; A]; H];
+    let mut pos_bits = [[Composer::ZERO; A]; H];
     for h in (0..H).rev() {
         let level = &opening.branch()[h];
         for (i, item) in level.iter().enumerate() {

poseidon-merkle/tests/zk.rs

@@ -58,10 +58,7 @@ impl OpeningCircuit {
 }
 
 impl Circuit for OpeningCircuit {
-    fn circuit<C>(&self, composer: &mut C) -> Result<(), Error>
-    where
-        C: Composer,
-    {
+    fn circuit(&self, composer: &mut Composer) -> Result<(), Error> {
         // append the leaf and opening gadget to the circuit
         let leaf = composer.append_witness(self.leaf.hash);
         let computed_root = opening_gadget(composer, &self.opening, leaf);