diff --git a/Cargo.lock b/Cargo.lock
index bce2e483..4d0bddc7 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -236,7 +236,7 @@ dependencies = [
 
 [[package]]
 name = "anoma-rm-risc0"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 dependencies = [
  "bincode",
  "bytemuck",
@@ -254,7 +254,7 @@ dependencies = [
 
 [[package]]
 name = "anoma-rm-risc0-gadgets"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 dependencies = [
  "aes-gcm",
  "alloy-primitives",
@@ -270,7 +270,7 @@ dependencies = [
 
 [[package]]
 name = "anoma-rm-risc0-test-app"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 dependencies = [
  "anoma-rm-risc0",
  "anoma-rm-risc0-test-witness",
@@ -282,7 +282,7 @@ dependencies = [
 
 [[package]]
 name = "anoma-rm-risc0-test-witness"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 dependencies = [
  "anoma-rm-risc0",
  "anoma-rm-risc0-gadgets",
diff --git a/README.md b/README.md
index e1e31c80..d459003d 100644
--- a/README.md
+++ b/README.md
@@ -113,13 +113,13 @@ We have the following feature flags in arm lib:
 
 ```toml
 # Default configuration
-anoma-rm-risc0 ="2.0.0-pre.1"
+anoma-rm-risc0 ="2.0.0-rc.1"
 
 # Proof aggregation (a single succinct proof per transaction)
-anoma-rm-risc0 ={ version = "2.0.0-pre.1", features = ["aggregation"] }
+anoma-rm-risc0 ={ version = "2.0.0-rc.1", features = ["aggregation"] }
 
 # Logic-circuit-only usage
-anoma-rm-risc0 ={ version = "2.0.0-pre.1", default-features = false }
+anoma-rm-risc0 ={ version = "2.0.0-rc.1", default-features = false }
 ```
 
 ## Reproducibly generate proving and verifying keys (ELF and ImageID)
diff --git a/arm/Cargo.toml b/arm/Cargo.toml
index de76c617..0959baf5 100644
--- a/arm/Cargo.toml
+++ b/arm/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "anoma-rm-risc0"
 description = "Anoma Resource Machine Implementation using RISC0 zkVM"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 edition = { workspace = true }
 license = { workspace = true }
 repository = { workspace = true }
diff --git a/arm/elfs/batch-aggregation-guest.bin b/arm/elfs/batch-aggregation-guest.bin
index eeac7968..5704d769 100644
Binary files a/arm/elfs/batch-aggregation-guest.bin and b/arm/elfs/batch-aggregation-guest.bin differ
diff --git a/arm/elfs/compliance-guest.bin b/arm/elfs/compliance-guest.bin
index 4f297f36..615531ac 100644
Binary files a/arm/elfs/compliance-guest.bin and b/arm/elfs/compliance-guest.bin differ
diff --git a/arm/elfs/trivial-logic-guest.bin b/arm/elfs/trivial-logic-guest.bin
index 8579b626..16612f7b 100644
Binary files a/arm/elfs/trivial-logic-guest.bin and b/arm/elfs/trivial-logic-guest.bin differ
diff --git a/arm/src/constants.rs b/arm/src/constants.rs
index 3489d0ce..9c40ff86 100644
--- a/arm/src/constants.rs
+++ b/arm/src/constants.rs
@@ -18,19 +18,19 @@ pub const BATCH_AGGREGATION_PK: &[u8] = include_bytes!("../elfs/batch-aggregatio
 lazy_static! {
     /// compliance verification key / compliance image id
     pub static ref COMPLIANCE_VK: Digest =
-        Digest::from_hex("189e18348babf7ea166d7e66e6ef047e8d71d82f119b5ebaa5a4e9ae1f0f50a4")
+        Digest::from_hex("17658a4faaac46abcdf66c1f6ec9d0259c6c0f32d674ca06b041a7746d96ebe8")
             .unwrap();
 
     /// padding logic verification key / compliance image id
     pub static ref PADDING_LOGIC_VK: Digest =
-        Digest::from_hex("92ffaeb55bfdcea4dba72ea10aa0532beafdd34658d37173a9cf4fe34f5f0f63")
+        Digest::from_hex("44e3114ddb22d06657e5cb1edc761e64dc54e70365f306cd0a8f6135591d99ae")
             .unwrap();
 }
 
 #[cfg(feature = "aggregation")]
 lazy_static! {
     /// Batch aggregation verification key / Batch aggregation image id.
-    pub static ref BATCH_AGGREGATION_VK: Digest = Digest::from_hex("66e657da6258e265863f716ca28bbe8b7a6f54afdadf5d2132bb422e6626f715").unwrap();
+    pub static ref BATCH_AGGREGATION_VK: Digest = Digest::from_hex("67382671772a832be0ece0b7ce52019f015a364788559a12328c15850e721952").unwrap();
 }
 
 /// Global kind table, loaded once from a JSON file.
diff --git a/arm_circuits/Cargo.lock b/arm_circuits/Cargo.lock
index e64013a8..f1ceefb3 100644
--- a/arm_circuits/Cargo.lock
+++ b/arm_circuits/Cargo.lock
@@ -242,7 +242,7 @@ checksum = "4b46cbb362ab8752921c97e041f5e366ee6297bd428a31275b9fcf1e380f7299"
 
 [[package]]
 name = "anoma-rm-risc0"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 dependencies = [
  "bincode",
  "bytemuck",
@@ -260,7 +260,7 @@ dependencies = [
 
 [[package]]
 name = "anoma-rm-risc0-gadgets"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 dependencies = [
  "aes-gcm",
  "alloy-primitives",
@@ -276,7 +276,7 @@ dependencies = [
 
 [[package]]
 name = "anoma-rm-risc0-test-witness"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 dependencies = [
  "anoma-rm-risc0",
  "anoma-rm-risc0-gadgets",
diff --git a/arm_circuits/compliance/methods/guest/Cargo.lock b/arm_circuits/compliance/methods/guest/Cargo.lock
index 846cbe74..fc019b0c 100644
--- a/arm_circuits/compliance/methods/guest/Cargo.lock
+++ b/arm_circuits/compliance/methods/guest/Cargo.lock
@@ -31,7 +31,7 @@ dependencies = [
 
 [[package]]
 name = "anoma-rm-risc0"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 dependencies = [
  "bincode",
  "bytemuck",
diff --git a/arm_circuits/logic_test/methods/guest/Cargo.lock b/arm_circuits/logic_test/methods/guest/Cargo.lock
index ecdf8d51..62c513ea 100644
--- a/arm_circuits/logic_test/methods/guest/Cargo.lock
+++ b/arm_circuits/logic_test/methods/guest/Cargo.lock
@@ -209,7 +209,7 @@ dependencies = [
 
 [[package]]
 name = "anoma-rm-risc0"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 dependencies = [
  "bincode",
  "bytemuck",
@@ -226,7 +226,7 @@ dependencies = [
 
 [[package]]
 name = "anoma-rm-risc0-gadgets"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 dependencies = [
  "aes-gcm",
  "alloy-primitives",
@@ -242,7 +242,7 @@ dependencies = [
 
 [[package]]
 name = "anoma-rm-risc0-test-witness"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 dependencies = [
  "anoma-rm-risc0",
  "anoma-rm-risc0-gadgets",
diff --git a/arm_circuits/trivial_logic/methods/guest/Cargo.lock b/arm_circuits/trivial_logic/methods/guest/Cargo.lock
index af3c94e1..9315d53a 100644
--- a/arm_circuits/trivial_logic/methods/guest/Cargo.lock
+++ b/arm_circuits/trivial_logic/methods/guest/Cargo.lock
@@ -55,7 +55,7 @@ dependencies = [
 
 [[package]]
 name = "anoma-rm-risc0"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 dependencies = [
  "bincode",
  "bytemuck",
diff --git a/arm_gadgets/Cargo.toml b/arm_gadgets/Cargo.toml
index 231225f1..870024e6 100644
--- a/arm_gadgets/Cargo.toml
+++ b/arm_gadgets/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "anoma-rm-risc0-gadgets"
 description = "Anoma Resource Machine Gadgets using RISC0 zkVM"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 edition = { workspace = true }
 license = { workspace = true }
 repository = { workspace = true }
diff --git a/arm_tests/arm_test_app/Cargo.toml b/arm_tests/arm_test_app/Cargo.toml
index 62925dcd..5fbaef95 100644
--- a/arm_tests/arm_test_app/Cargo.toml
+++ b/arm_tests/arm_test_app/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "anoma-rm-risc0-test-app"
 description = "An Anoma Resource Machine Test Application using RISC0 zkVM"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 edition = { workspace = true }
 license = { workspace = true }
 repository = { workspace = true }
diff --git a/arm_tests/arm_test_app/elf/logic-test-guest.bin b/arm_tests/arm_test_app/elf/logic-test-guest.bin
index 3a836b10..acaec481 100644
Binary files a/arm_tests/arm_test_app/elf/logic-test-guest.bin and b/arm_tests/arm_test_app/elf/logic-test-guest.bin differ
diff --git a/arm_tests/arm_test_app/src/lib.rs b/arm_tests/arm_test_app/src/lib.rs
index e52fb7a2..437448ce 100644
--- a/arm_tests/arm_test_app/src/lib.rs
+++ b/arm_tests/arm_test_app/src/lib.rs
@@ -28,7 +28,7 @@ pub const TEST_LOGIC_PK: &[u8] = include_bytes!("../elf/logic-test-guest.bin");
 lazy_static! {
     // test logic verification key / compliance image id
     pub static ref TEST_LOGIC_VK: Digest =
-        Digest::from_hex("d4afb06da047f01dbd33417f8a01088aff72d27e82af32bf9013f2c9748b25ed")
+        Digest::from_hex("755cc2329435fc0ce768ab44572ec2c1ccc4a84afad58c890a0eec74a96040ff")
             .unwrap();
 }
 
diff --git a/arm_tests/arm_test_witness/Cargo.toml b/arm_tests/arm_test_witness/Cargo.toml
index dc22c740..c59838c5 100644
--- a/arm_tests/arm_test_witness/Cargo.toml
+++ b/arm_tests/arm_test_witness/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "anoma-rm-risc0-test-witness"
 description = "An Anoma Resource Machine Test Witness using RISC0 zkVM"
-version = "2.0.0-pre.1"
+version = "2.0.0-rc.1"
 edition = { workspace = true }
 license = { workspace = true }
 repository = { workspace = true }