v0.7.0

Author: XuyangSong

Cargo.lock

@@ -104,16 +104,16 @@ We have the following feature flags in arm lib:
 
 ```toml
 # Default configuration (succinct proofs + transaction support)
-arm = "0.6.1"
+arm = "0.7.0"
 
 # Blockchain deployment with Groth16 proofs
-arm = { version = "0.6.1", default-features = false, features = ["groth16_prover", "transaction"] }
+arm = { version = "0.7.0", default-features = false, features = ["groth16_prover", "transaction"] }
 
 # Logic-circuit-only usage
-arm = { version = "0.6.1", default-features = false }
+arm = { version = "0.7.0", default-features = false }
 
 # Elixir Anoma SDK
-arm = { version = "0.6.1", features = ["nif"] }
+arm = { version = "0.7.0", features = ["nif"] }
 ```
 
 

README.md

@@ -1,6 +1,6 @@
 [package]
 name = "arm"
-version = "0.6.1"
+version = "0.7.0"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

arm/Cargo.toml

@@ -10,11 +10,11 @@ pub const PADDING_LOGIC_PK: &[u8] = include_bytes!("../elfs/trivial-logic-guest.
 lazy_static! {
     // compliance verification key / compliance image id
     pub static ref COMPLIANCE_VK: Digest =
-        Digest::from_hex("06ee1a0d2ceff6472738916496d099ea139511e84a90785576c06601c855ebc3")
+        Digest::from_hex("2652d58ac2fba40aa5811adf2cee2314c4dc2168ae93dab069c8eb7496107c99")
             .unwrap();
 
     // padding logic verification key / compliance image id
     pub static ref PADDING_LOGIC_VK: Digest =
-        Digest::from_hex("fcd5de6f9092eb76534db7ffb1c29ef1ded5abf6543daf7ea8d55b169c7f0ba6")
+        Digest::from_hex("3a29ffc3f5667e56f17f09c9fb123c7126daee8fe1aba0caba061baf3937f36f")
             .unwrap();
 }

arm/elfs/compliance-guest.bin

@@ -26,7 +26,7 @@ pub const TEST_LOGIC_PK: &[u8] = include_bytes!("../elfs/logic-test-guest.bin");
 lazy_static! {
     // test logic verification key / compliance image id
     pub static ref TEST_LOGIC_VK: Digest =
-        Digest::from_hex("979a12ac83b4117036b2d8a2bbba4a149a232d14ac8410b9e60b4613c5bd4d4e")
+        Digest::from_hex("159df7d62a1ae65876e4c291a90f4e9d1456c024be5674f61840b6b8c52df319")
             .unwrap();
 }