diff --git a/CHANGELOG.md b/CHANGELOG.md
index 60b2f2e1..70d05fc5 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,9 +7,16 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
-### Changed
+### Changed 
+
+- Modify the prover to match the paper [#831]
+- Modify the verifier to match the paper [#831]
+- Rename some variables to match the paper [#831]
+
+### Removed
 
 - Remove docs [#819]
+- Remove unused `Evaluations` struct
 
 ## [0.19.2] - 2024-03-27
 
@@ -585,6 +592,7 @@ is necessary since `rkyv/validation` was required as a bound.
 - Proof system module.
 
 <!-- ISSUES -->
+[#831]: https://github.com/dusk-network/plonk/issues/831
 [#819]: https://github.com/dusk-network/plonk/issues/819
 [#818]: https://github.com/dusk-network/plonk/issues/818
 [#815]: https://github.com/dusk-network/plonk/issues/815
diff --git a/README.md b/README.md
index 9c946cfd..0a4f2b77 100644
--- a/README.md
+++ b/README.md
@@ -34,7 +34,7 @@ as the documentation regarding the data structures that it exports. To check thi
 Benchmarks taken on `Apple M1`, for a circuit-size of `2^16` constraints:
 
 - Proving time: `7.871s`
-- Verification time: `7.643ms` **(This time does not vary depending on the circuit-size.)**
+- Verification time: `3.732ms` **(This time does not vary depending on the circuit-size.)**
 
 For more results, please run `cargo bench` to get a full report of benchmarks in respect of constraint numbers.