powdr-labs · qwang98 · Sep 16, 2025 · Sep 16, 2025 · Sep 17, 2025 · Sep 17, 2025
diff --git a/Cargo.toml b/Cargo.toml
@@ -38,59 +38,55 @@ powdr-riscv-types = { path = "./riscv-types", version = "0.1.4" }
 powdr-syscalls = { path = "./syscalls", version = "0.1.4" }
 powdr-autoprecompiles = { path = "./autoprecompiles", version = "0.1.4" }
 powdr-openvm = { path = "./openvm", version = "0.1.4" }
-powdr-cli-openvm = { path = "./cli-openvm", version = "0.1.4" }
 
 powdr-openvm-hints-guest = { path = "./openvm/extensions/hints-guest", version = "0.1.4" }
 powdr-openvm-hints-transpiler = { path = "./openvm/extensions/hints-transpiler", version = "0.1.4" }
 powdr-openvm-hints-circuit = { path = "./openvm/extensions/hints-circuit", version = "0.1.4" }
 
 # openvm
-openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-build = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-rv32im-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-rv32im-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-rv32im-guest = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26", default-features = false }
-openvm-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-circuit-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-circuit-primitives = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-circuit-primitives-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-instructions = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-instructions-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-sdk = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26", default-features = false, features = [
+openvm = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-build = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-rv32im-circuit = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-rv32im-transpiler = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-rv32im-guest = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0", default-features = false }
+openvm-transpiler = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-circuit = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-circuit-derive = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-circuit-primitives = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-circuit-primitives-derive = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-instructions = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-instructions-derive = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-sdk = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0", default-features = false, features = [
   "parallel",
   "jemalloc",
   "nightly-features",
-  "bench-metrics",
 ] }
-openvm-ecc-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-ecc-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-keccak256-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-keccak256-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-sha256-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-sha256-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-algebra-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-algebra-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-bigint-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-bigint-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-pairing-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-pairing-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-native-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26", default-features = false }
-openvm-native-recursion = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26", default-features = false }
-openvm-platform = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-custom-insn = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
+openvm-ecc-circuit = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-ecc-transpiler = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-keccak256-circuit = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-keccak256-transpiler = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-sha256-circuit = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-sha256-transpiler = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-algebra-circuit = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-algebra-transpiler = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-bigint-circuit = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-bigint-transpiler = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-pairing-circuit = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-pairing-transpiler = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-native-circuit = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0", default-features = false }
+openvm-native-recursion = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0", default-features = false }
+openvm-platform = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-custom-insn = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
 
 # stark-backend
-openvm-stark-sdk = { git = "https://github.com/powdr-labs/stark-backend.git", rev = "ee4e22b", default-features = false, features = [
+openvm-stark-sdk = { git = "https://github.com/openvm-org/stark-backend.git", tag = "v1.2.0", default-features = false, features = [
   "parallel",
   "jemalloc",
   "nightly-features",
-  "bench-metrics",
 ] }
-openvm-stark-backend = { git = "https://github.com/powdr-labs/stark-backend.git", rev = "ee4e22b", default-features = false, features = [
+openvm-stark-backend = { git = "https://github.com/openvm-org/stark-backend.git", tag = "v1.2.0", default-features = false, features = [
   "parallel",
   "jemalloc",
-  "bench-metrics",
 ] }
 
 [profile.pr-tests]
@@ -114,11 +110,11 @@ iter_over_hash_type = "deny"
 
 # Uncomment both patches below for local stark-backend and openvm.
 # The local openvm also needs to have stark-backend patched so all types match.
-# [patch."https://github.com/powdr-labs/stark-backend.git"]
+# [patch."https://github.com/openvm-org/stark-backend.git"]
 # openvm-stark-sdk = { path = "../stark-backend/crates/stark-sdk", default-features = false }
 # openvm-stark-backend = { path = "../stark-backend/crates/stark-backend", default-features = false }
 
-# [patch."https://github.com/powdr-labs/openvm.git"]
+# [patch."https://github.com/openvm-org/openvm.git"]
 # openvm = { path = "../openvm/crates/toolchain/openvm" }
 # openvm-build = { path = "../openvm/crates/toolchain/build" }
 # openvm-rv32im-circuit = { path = "../openvm/extensions/rv32im/circuit/" }

diff --git a/openvm/extensions/hints-circuit/Cargo.toml b/openvm/extensions/hints-circuit/Cargo.toml
@@ -16,3 +16,5 @@ powdr-openvm-hints-transpiler = { workspace = true }
 eyre = "0.6.12"
 crypto-bigint = "0.6.1"
 elliptic-curve = "0.13.8"
+rand = { version = "0.8.5", default-features = false }
+
diff --git a/openvm/extensions/hints-circuit/src/executors.rs b/openvm/extensions/hints-circuit/src/executors.rs
@@ -1,9 +1,9 @@
 use openvm_circuit::arch::{PhantomSubExecutor, Streams};
-use openvm_circuit::system::memory::MemoryController;
 use openvm_instructions::riscv::RV32_MEMORY_AS;
 use openvm_instructions::PhantomDiscriminant;
-use openvm_rv32im_circuit::adapters::unsafe_read_rv32_register;
+use openvm_rv32im_circuit::adapters::read_rv32_register;
 use openvm_stark_backend::p3_field::PrimeField32;
+use rand::rngs::StdRng;
 
 use crate::field10x26_k256;
 
@@ -13,22 +13,20 @@ pub struct ReverseBytesSubEx;
 
 impl<F: PrimeField32> PhantomSubExecutor<F> for ReverseBytesSubEx {
     fn phantom_execute(
-        &mut self,
-        memory: &MemoryController<F>,
+        &self,
+        memory: &openvm_circuit::system::memory::online::GuestMemory,
         streams: &mut Streams<F>,
-        _discriminant: PhantomDiscriminant,
-        a: F,
-        _b: F,
+        _: &mut StdRng,
+        _: PhantomDiscriminant,
+        a: u32,
+        _: u32,
         c_upper: u16,
     ) -> eyre::Result<()> {
         assert_eq!(c_upper, 0);
         // read register
-        let rs1 = unsafe_read_rv32_register(memory, a);
+        let rs1 = read_rv32_register(memory, a);
         // read memory
-        let bytes = memory.unsafe_read::<4>(
-            F::from_canonical_u32(RV32_MEMORY_AS),
-            F::from_canonical_u32(rs1),
-        );
+        let bytes = unsafe { memory.read::<F, 4>(RV32_MEMORY_AS, rs1) };
         // write hint as bytes in reverse
         let hint_bytes = bytes.into_iter().rev().collect();
         streams.hint_stream = hint_bytes;
@@ -55,23 +53,20 @@ impl_modulus!(
 
 impl<F: PrimeField32> PhantomSubExecutor<F> for K256InverseFieldSubEx {
     fn phantom_execute(
-        &mut self,
-        memory: &MemoryController<F>,
+        &self,
+        memory: &openvm_circuit::system::memory::online::GuestMemory,
         streams: &mut Streams<F>,
+        _: &mut StdRng,
         _: PhantomDiscriminant,
-        a: F,
-        _b: F,
+        a: u32,
+        _: u32,
         c_upper: u16,
     ) -> eyre::Result<()> {
         assert_eq!(c_upper, 0);
         // read register
-        let rs1 = unsafe_read_rv32_register(memory, a);
+        let rs1 = read_rv32_register(memory, a);
         // read the field element
-        let bytes: [u8; 32] = memory
-            .unsafe_read::<32>(
-                F::from_canonical_u32(RV32_MEMORY_AS),
-                F::from_canonical_u32(rs1),
-            )
+        let bytes: [u8; 32] = unsafe { memory.read::<F, 32>(RV32_MEMORY_AS, rs1) }
             .into_iter()
             .map(|f| u8::try_from(f.as_canonical_u32()).expect("value not a byte"))
             .collect::<Vec<_>>()
@@ -108,28 +103,26 @@ pub struct K256InverseField10x26SubEx;
 
 impl<F: PrimeField32> PhantomSubExecutor<F> for K256InverseField10x26SubEx {
     fn phantom_execute(
-        &mut self,
-        memory: &MemoryController<F>,
+        &self,
+        memory: &openvm_circuit::system::memory::online::GuestMemory,
         streams: &mut Streams<F>,
+        _: &mut StdRng,
         _: PhantomDiscriminant,
-        a: F,
-        _b: F,
+        a: u32,
+        _: u32,
         c_upper: u16,
     ) -> eyre::Result<()> {
         assert_eq!(c_upper, 0);
         // read register
-        let rs1 = unsafe_read_rv32_register(memory, a);
+        let rs1 = read_rv32_register(memory, a);
         // read the k256 field_10x26 as raw bytes
-        let bytes: [u8; FIELD10X26_BYTES] = memory
-            .unsafe_read::<{ FIELD10X26_BYTES }>(
-                F::from_canonical_u32(RV32_MEMORY_AS),
-                F::from_canonical_u32(rs1),
-            )
-            .into_iter()
-            .map(|f| u8::try_from(f.as_canonical_u32()).expect("value not a byte"))
-            .collect::<Vec<_>>()
-            .try_into()
-            .unwrap();
+        let bytes: [u8; FIELD10X26_BYTES] =
+            unsafe { memory.read::<F, { FIELD10X26_BYTES }>(RV32_MEMORY_AS, rs1) }
+                .into_iter()
+                .map(|f| u8::try_from(f.as_canonical_u32()).expect("value not a byte"))
+                .collect::<Vec<_>>()
+                .try_into()
+                .unwrap();
         // we just reinterpret the bytes as a k256 field element. We don't use mem::transmute to avoid alignment issues
         let mut elem = [0u32; 10];
         unsafe {
@@ -164,28 +157,26 @@ pub struct K256SqrtField10x26SubEx;
 
 impl<F: PrimeField32> PhantomSubExecutor<F> for K256SqrtField10x26SubEx {
     fn phantom_execute(
-        &mut self,
-        memory: &MemoryController<F>,
+        &self,
+        memory: &openvm_circuit::system::memory::online::GuestMemory,
         streams: &mut Streams<F>,
+        _: &mut StdRng,
         _: PhantomDiscriminant,
-        a: F,
-        _b: F,
+        a: u32,
+        _: u32,
         c_upper: u16,
     ) -> eyre::Result<()> {
         assert_eq!(c_upper, 0);
         // read register
-        let rs1 = unsafe_read_rv32_register(memory, a);
+        let rs1 = read_rv32_register(memory, a);
         // read the k256 field_10x26 as raw bytes
-        let bytes: [u8; FIELD10X26_BYTES] = memory
-            .unsafe_read::<{ FIELD10X26_BYTES }>(
-                F::from_canonical_u32(RV32_MEMORY_AS),
-                F::from_canonical_u32(rs1),
-            )
-            .into_iter()
-            .map(|f| u8::try_from(f.as_canonical_u32()).expect("value not a byte"))
-            .collect::<Vec<_>>()
-            .try_into()
-            .unwrap();
+        let bytes: [u8; FIELD10X26_BYTES] =
+            unsafe { memory.read::<F, { FIELD10X26_BYTES }>(RV32_MEMORY_AS, rs1) }
+                .into_iter()
+                .map(|f| u8::try_from(f.as_canonical_u32()).expect("value not a byte"))
+                .collect::<Vec<_>>()
+                .try_into()
+                .unwrap();
         // we just reinterpret the bytes as a k256 field element. Can't use mem::transmute due to alighment requirements
         let mut elem = [0u32; 10];
         unsafe {

diff --git a/openvm/extensions/hints-circuit/src/lib.rs b/openvm/extensions/hints-circuit/src/lib.rs
@@ -1,6 +1,5 @@
-use openvm_circuit::arch::{VmExtension, VmInventory};
-use openvm_circuit::circuit_derive::{Chip, ChipUsageGetter};
-use openvm_circuit::derive::{AnyEnum, InstructionExecutor};
+use openvm_circuit::arch::VmExecutionExtension;
+use openvm_circuit::derive::{AnyEnum, PreflightExecutor};
 use openvm_circuit::system::phantom::PhantomChip;
 use openvm_instructions::PhantomDiscriminant;
 use openvm_stark_backend::p3_field::PrimeField32;
@@ -13,44 +12,34 @@ mod field10x26_k256;
 /// OpenVM extension with miscellaneous hint implementations.
 pub struct HintsExtension;
 
-#[derive(ChipUsageGetter, Chip, InstructionExecutor, AnyEnum)]
+#[derive(AnyEnum, PreflightExecutor)]
 pub enum HintsExecutor<F: PrimeField32> {
     Phantom(PhantomChip<F>),
 }
 
-#[derive(ChipUsageGetter, Chip, AnyEnum)]
-pub enum HintsPeriphery<F: PrimeField32> {
-    Phantom(PhantomChip<F>),
-}
-
-impl<F: PrimeField32> VmExtension<F> for HintsExtension {
+impl<F: PrimeField32> VmExecutionExtension<F> for HintsExtension {
     type Executor = HintsExecutor<F>;
-    type Periphery = HintsPeriphery<F>;
 
-    fn build(
+    fn extend_execution(
         &self,
-        builder: &mut openvm_circuit::arch::VmInventoryBuilder<F>,
-    ) -> Result<
-        openvm_circuit::arch::VmInventory<Self::Executor, Self::Periphery>,
-        openvm_circuit::arch::VmInventoryError,
-    > {
-        let inventory = VmInventory::new();
-        builder.add_phantom_sub_executor(
+        inventory: &mut openvm_circuit::arch::ExecutorInventoryBuilder<F, Self::Executor>,
+    ) -> Result<(), openvm_circuit::arch::ExecutorInventoryError> {
+        inventory.add_phantom_sub_executor(
             executors::ReverseBytesSubEx,
             PhantomDiscriminant(HintsPhantom::HintReverseBytes as u16),
         )?;
-        builder.add_phantom_sub_executor(
+        inventory.add_phantom_sub_executor(
             executors::K256InverseFieldSubEx,
             PhantomDiscriminant(HintsPhantom::HintK256InverseField as u16),
         )?;
-        builder.add_phantom_sub_executor(
+        inventory.add_phantom_sub_executor(
             executors::K256InverseField10x26SubEx,
             PhantomDiscriminant(HintsPhantom::HintK256InverseField10x26 as u16),
         )?;
-        builder.add_phantom_sub_executor(
+        inventory.add_phantom_sub_executor(
             executors::K256SqrtField10x26SubEx,
             PhantomDiscriminant(HintsPhantom::HintK256SqrtField10x26 as u16),
         )?;
-        Ok(inventory)
+        Ok(())
     }
 }
diff --git a/openvm/guest-ecc-manual/Cargo.toml b/openvm/guest-ecc-manual/Cargo.toml
@@ -6,10 +6,10 @@ version = "0.0.0"
 edition = "2021"
 
 [dependencies]
-openvm = { git = "https://github.com/powdr-labs/openvm.git", rev="62c5d26" }
-openvm-ecc-guest = { git = "https://github.com/powdr-labs/openvm.git", rev="62c5d26", subdirectory = "extensions/ecc/guest", default-features = false }
-openvm-algebra-guest = { git = "https://github.com/powdr-labs/openvm.git", rev="62c5d26", subdirectory = "extensions/algebra/guest", default-features = false }
-openvm-k256 = { git = "https://github.com/powdr-labs/openvm.git", rev="62c5d26", subdirectory = "guest-libs/k256", package = "k256", features = [
+openvm = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-ecc-guest = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0", subdirectory = "extensions/ecc/guest", default-features = false }
+openvm-algebra-guest = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0", subdirectory = "extensions/algebra/guest", default-features = false }
+openvm-k256 = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0", subdirectory = "guest-libs/k256", package = "k256", features = [
     "ecdsa",
 ]}
 

diff --git a/openvm/guest-ecc-powdr-affine-hint/Cargo.toml b/openvm/guest-ecc-powdr-affine-hint/Cargo.toml
@@ -5,7 +5,7 @@ version = "0.0.0"
 edition = "2021"
 
 [dependencies]
-openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
+openvm = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
 k256 = { git = "https://github.com/powdr-labs/elliptic-curves-k256", tag = "k256/powdr/v0.13.4-2025.09.10", default-features = false, features = [
   "expose-field",
   "arithmetic",

diff --git a/openvm/guest-ecc-projective/Cargo.toml b/openvm/guest-ecc-projective/Cargo.toml
@@ -5,6 +5,6 @@ version = "0.0.0"
 edition = "2021"
 
 [dependencies]
-openvm = { git = "https://github.com/powdr-labs/openvm.git", rev="62c5d26" }
+openvm = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
 k256 = { version = "0.13", default-features = false, features = ["arithmetic"] }
 hex-literal = "1.0.0"
diff --git a/openvm/guest-ecrecover-manual/Cargo.toml b/openvm/guest-ecrecover-manual/Cargo.toml
@@ -5,12 +5,12 @@ version = "0.0.0"
 edition = "2021"
 
 [dependencies]
-openvm = { git = "https://github.com/powdr-labs/openvm.git", rev="62c5d26" }
-openvm-algebra-guest = { git = "https://github.com/powdr-labs/openvm.git", rev="62c5d26" }
-openvm-algebra-moduli-macros = { git = "https://github.com/powdr-labs/openvm.git", rev="62c5d26" }
-openvm-ecc-guest = { git = "https://github.com/powdr-labs/openvm.git", rev="62c5d26" }
-openvm-ecc-sw-macros = { git = "https://github.com/powdr-labs/openvm.git", rev="62c5d26" }
-openvm-k256 = { git = "https://github.com/powdr-labs/openvm.git", rev="62c5d26", package = "k256" }
+openvm = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-algebra-guest = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-algebra-moduli-macros = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-ecc-guest = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-ecc-sw-macros = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
+openvm-k256 = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0", package = "k256" }
 
 elliptic-curve = { version = "0.13.8" }
 ecdsa = { version = "0.16.9" }

diff --git a/openvm/guest-ecrecover/Cargo.toml b/openvm/guest-ecrecover/Cargo.toml
@@ -5,7 +5,7 @@ version = "0.0.0"
 edition = "2021"
 
 [dependencies]
-openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
+openvm = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0" }
 k256 = { git = "https://github.com/powdr-labs/elliptic-curves-k256", tag = "k256/powdr/v0.13.4-2025.09.10", default-features = false, features = [
   "expose-field",
   "arithmetic",