Integrate LogUp-GKR into the VM (#1493)

* chore: fix no-std errors * wip * wip: migrate to new winterfell * wip: migrate to logup-gkr branch of winterfell * chore: fix issues after next rebase * wip: migrate range checker to use logup-gkr * wip: remove random row values * wip: remove range checker b-column from aux segment * chore: remove random trace rows at the end * chore: remove random trace rows at the end (continue) * chore: remove range checker from aux trace (continue) * chore: adapt to updated AirContext * fix: clippy * chore: update to changes in Winterfell * fix: clippy * changelog --------- Co-authored-by: Philippe Laferriere <[email protected]>
0xPolygonMiden · Oct 4, 2024 · a5317ec · a5317ec
1 parent 5dc5c2e
commit a5317ec
Show file tree

Hide file tree

Showing 45 changed files with 506 additions and 1,003 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -13,6 +13,7 @@
 - Added `miden_core::utils::sync::racy_lock` module (#1463).
 - Updated `miden_core::utils` to re-export `std::sync::LazyLock` and `racy_lock::RacyLock as LazyLock` for std and no_std environments, respectively (#1463).
 - Made the undocumented behavior of the VM with regard to undefined behavior of u32 operations, stricter (#1480)
+- Offload the range checker auxiliary table to LogUp-GKR (#1493)
 - Introduced the `Emit` instruction (#1496)
 - Debug instructions can be enabled in the cli `run` command using `--debug` flag (#1502)
 - [BREAKING] ExecutionOptions::new constructor requires a boolean to explicitly set debug mode (#1502)