From c6791e81d24382c964f397f25dddb3342db4004c Mon Sep 17 00:00:00 2001 From: Jan Ferdinand Sauer Date: Mon, 19 Aug 2024 13:58:11 +0200 Subject: [PATCH] alpha 9 for Triton VM v0.42.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ✨ Features - Add instruction `addi` (3b5bc128) - Add dynamic counterpart to tasm code generator (72b6f5bc) - Introduce instruction `merkle_step_mem` (3b1e3590) 🐛 Bug Fixes - Fix arithmetic overflow in `MemoryRegion` (f83f8aa0) 📚 Documentation - Add AIR circuit node count to arithmetization overview (c8436943) - Add constraints overview table for AIR of degree 8 (ac98c22f) - Add column counts for various degree lowering targets (c26cf9cc) - Add dynamic AIR eval cost to overview (be9b4410) ⚙️ Miscellaneous - Use types over anonymous tuples (4358acec) - Qualify `air_constraint_evaluation_tasm` by staticity (1dc54cc2) ♻️ Refactor - Reflect default arg in function name (171dfb2d) - Add directory for logic related to AIR evaluation (0c0310df) ✅ Testing - Verify that arguments, if any, can be changed (e55c2474) - Deduplicate code using macros (592d7bfa) - *(dyn air)* Verify that dynamic and static evaluators agree (574e407d) - Add example program for `merkle_step_mem` (d9edddd4) --- Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Cargo.toml b/Cargo.toml index 96fc5648..6e812bda 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -12,7 +12,7 @@ lto = "thin" lto = "thin" [workspace.package] -version = "0.42.0-alpha.8" +version = "0.42.0-alpha.9" edition = "2021" authors = ["Triton Software AG"] license = "Apache-2.0"