From 289498e85422b5b9e56b585a27e47bd41af1dd12 Mon Sep 17 00:00:00 2001
From: "Brandon H. Gomes" <bhgomes@pm.me>
Date: Tue, 15 Nov 2022 01:52:27 -0500
Subject: [PATCH] fix: address review comments

Signed-off-by: Brandon H. Gomes <bhgomes@pm.me>
---
 plonky2/Cargo.toml         | 1 +
 plonky2/src/plonk/proof.rs | 4 +++-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/plonky2/Cargo.toml b/plonky2/Cargo.toml
index 88217d2d..b56de755 100644
--- a/plonky2/Cargo.toml
+++ b/plonky2/Cargo.toml
@@ -18,6 +18,7 @@ std = ["anyhow/std", "rand/std"]
 timing = ["std"]
 
 [dependencies]
+ahash = { version = "0.8.2", default-features = false, features = ["compile-time-rng"] }
 anyhow = { version = "1.0.40", default-features = false }
 derivative = { version = "2.2.0", default-features = false, features = ["use_core"] }
 hashbrown = { version = "0.12.3", default-features = false, features = ["ahash", "serde"] }
diff --git a/plonky2/src/plonk/proof.rs b/plonky2/src/plonk/proof.rs
index a5a66e26..e9b69b88 100644
--- a/plonky2/src/plonk/proof.rs
+++ b/plonky2/src/plonk/proof.rs
@@ -105,7 +105,9 @@ impl<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>
 
     pub fn to_bytes(&self) -> Vec<u8> {
         let mut buffer = Vec::new();
-        let _ = buffer.write_proof_with_public_inputs(self);
+        buffer
+            .write_proof_with_public_inputs(self)
+            .expect("Writing to a byte-vector cannot fail.");
         buffer
     }