anoma · XuyangSong · Jun 8, 2026 · Jun 8, 2026
diff --git a/Cargo.lock b/Cargo.lock
diff --git 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
@@ -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
diff --git a/arm/elfs/compliance-guest.bin b/arm/elfs/compliance-guest.bin
diff --git a/arm/elfs/trivial-logic-guest.bin b/arm/elfs/trivial-logic-guest.bin
diff --git 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
diff --git a/arm_circuits/compliance/methods/guest/Cargo.lock b/arm_circuits/compliance/methods/guest/Cargo.lock
diff --git a/arm_circuits/logic_test/methods/guest/Cargo.lock b/arm_circuits/logic_test/methods/guest/Cargo.lock
diff --git a/arm_circuits/trivial_logic/methods/guest/Cargo.lock b/arm_circuits/trivial_logic/methods/guest/Cargo.lock
diff --git 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
@@ -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
diff --git 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
@@ -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 }