v0.9.0

Author: XuyangSong

Cargo.lock

@@ -109,23 +109,22 @@ We have the following feature flags in arm lib:
 
 ```toml
 # Default configuration (succinct proofs + transaction support)
-arm = "0.8.2"
+arm = "0.9.0"
 
 # Blockchain deployment with Groth16 proofs
-arm = { version = "0.8.2", default-features = false, features = ["groth16_prover", "transaction"] }
+arm = { version = "0.9.0", default-features = false, features = ["groth16_prover", "transaction"] }
 
 # Proof aggregation (a single succinct proof per transaction)
-arm = { version = "0.8.2", features = ["aggregation"] }
+arm = { version = "0.9.0", features = ["aggregation"] }
 
 # Blockchain deployment with a Groth16 aggregation proof
-arm = { version = "0.8.2", features = ["groth16_aggregation"] }
+arm = { version = "0.9.0", features = ["groth16_aggregation"] }
 
 # Logic-circuit-only usage
-arm = { version = "0.8.2", default-features = false }
+arm = { version = "0.9.0", default-features = false }
 
 # Elixir Anoma SDK
-arm = { version = "0.8.2", features = ["nif"] }
-arm = { version = "0.8.2", features = ["nif"] }
+arm = { version = "0.9.0", features = ["nif"] }
 ```
 
 

README.md

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

arm/Cargo.toml

@@ -11,8 +11,8 @@ pub const BATCH_AGGREGATION_PK: &[u8] = include_bytes!("../../elfs/batch_aggrega
 lazy_static! {
     // Sequential aggregation verification key / sequential aggregation image id.
     pub static ref SEQUENTIAL_AGGREGATION_VK: Digest =
-        Digest::from_hex("efcc602f5be1c3ab02e688285423ef539b45b2052581ac795967d021273a1bc7").unwrap();
+        Digest::from_hex("7a09cd07f813838690684a26eb0c9a4f24ca25919513f293449b5e286ab9f62d").unwrap();
 
     // Batch aggregation verification key / Batch aggregation image id.
-    pub static ref BATCH_AGGREGATION_VK: Digest = Digest::from_hex("5044b1b998bbea99faf23bc096427bb1b08d74b4e38dd7f39c895ca784876706").unwrap();
+    pub static ref BATCH_AGGREGATION_VK: Digest = Digest::from_hex("57f428a039ce0b0d628f9fd9a6a3f7aac6050ff719f05d3f30dee9035b94f078").unwrap();
 }

arm/elfs/batch_aggregation.bin

@@ -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("9acbebc99ed056cad5a823f7c68f03a5ff9c66bb7188346d46e5c41e75078d72")
+        Digest::from_hex("74c0a4f7e37bba523794bb8c174b5faad1d572c56868ba14ebc2204116b01fce")
             .unwrap();
 
     // padding logic verification key / compliance image id
     pub static ref PADDING_LOGIC_VK: Digest =
-        Digest::from_hex("8c61e9baaa940beb83a7e47fe30d3dacc1c0943596262f0b530b79e5bbd505fa")
+        Digest::from_hex("9c7d463f58f113e99ff931a405562973ea9753b41c0bc39603313fe070285b03")
             .unwrap();
 }