alpha 4 for Triton VM v0.42.0

✨ Features

- Introduce memory friendly proving path (70b740e)
- Introduce instruction `sponge_absorb_mem` (6dd9b54)

🐛 Bug Fixes

- Don't mutate `HashSet`'s content in-place (6e5443e)

⚡️ Performance

- Faster domain-evaluation for too-large polynomial (3905d80)
- Use parallelism more when evaluating domain (8c623e8)
- Remove duplicate constraints from `dot_step` (1557b6b)

📚 Documentation

- Describe cached/just-in-time low-degree-extension (e72a418)
- Explain manual implementation of `evaluate` (d53c1b4)
- Document the constraint generator (49864e4)
- Add arithmetization overview page (c5b7eec)
- *(profiler)* Document how to enable for benches (1a4a22f)

⚙️ Miscellaneous

- Provide API to overwrite cache decision (0f313a7)
- *(profiler)* Include tracing execution (4dea54d)

♻️ Refactor

- Compute segments directly (d62e558)
- (!) Remove unused `JumpStackTraceRow` (e257c35)
- Factor out spec-check (46c6986)
- (!) Improve internal profiler (fa7c8b7)
- (!) *(profiler)* Make `TritonProfiler` private (1ecd11c)
- *(profiler)* Remove from optimized builds (f434015)
- *(profiler)* Accumulate loops (195d185)

✅ Testing

- *(bench)* Bench proving with cached / jit trace (4bc5b9f)
- Assert uniqueness of nodes on fetch by id (51eb30a)
- Test correct node substitution (cfe7d09)

Note: (!) indicates a breaking change.

Cargo.toml

@@ -12,7 +12,7 @@ lto = "thin"
 lto = "thin"
 
 [workspace.package]
-version = "0.42.0-alpha.3"
+version = "0.42.0-alpha.4"
 edition = "2021"
 authors = ["Triton Software AG"]
 license = "Apache-2.0"