From df422ee4ca3055bf6760bf70b02652269152599b Mon Sep 17 00:00:00 2001
From: mmagician <marcin.gorny.94@protonmail.com>
Date: Mon, 24 Jun 2024 16:51:23 +0200
Subject: [PATCH] absorb PCS::verifier key

---
 src/aurora/mod.rs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/aurora/mod.rs b/src/aurora/mod.rs
index cd30d7b..b5aa486 100644
--- a/src/aurora/mod.rs
+++ b/src/aurora/mod.rs
@@ -150,6 +150,7 @@ fn absorb_public_parameters<F, PCS>(
 ) where
     F: PrimeField + Absorb,
     PCS: PolynomialCommitment<F, DensePolynomial<F>>,
+    PCS::VerifierKey: Absorb,
 {
     let ConstraintMatrices {
         a,
@@ -160,8 +161,7 @@ fn absorb_public_parameters<F, PCS>(
         ..
     } = matrices;
     sponge.absorb(&"Aurora".as_bytes());
-    // TODO bound PCS::VerifierKey: Absorb, implement it for Ligero
-    //    sponge.absorb(vk);
+    sponge.absorb(vk);
     sponge.absorb(&num_instance_variables);
     sponge.absorb(&num_witness_variables);
     absorb_matrix(&a, sponge, "A");
@@ -178,6 +178,7 @@ fn aurora_prove<F, PCS>(
 where
     F: PrimeField + Absorb,
     PCS: PolynomialCommitment<F, DensePolynomial<F>>,
+    PCS::VerifierKey: Absorb,
 {
     assert!(
         is_padded(&r1cs),
@@ -340,6 +341,7 @@ fn aurora_verify<F, PCS>(
 where
     F: PrimeField + Absorb,
     PCS: PolynomialCommitment<F, DensePolynomial<F>>,
+    PCS::VerifierKey: Absorb,
 {
     assert!(
         is_padded(&r1cs),