v0.11.0

Author: XuyangSong

Cargo.lock

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

README.md

@@ -1,6 +1,6 @@
 [package]
 name = "arm"
-version = "0.10.0"
+version = "0.11.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("a1bb441ce15ef0fb1dacde24752bd48302a5b65e930ad62109134bdbacd6e97a").unwrap();
+        Digest::from_hex("087798837419c6e8615047eea7862131565b3b2d8656414aa6ccb9957d1a782d").unwrap();
 
     // Batch aggregation verification key / Batch aggregation image id.
-    pub static ref BATCH_AGGREGATION_VK: Digest = Digest::from_hex("df6dabb66cfd982cb4df5ba18d0454f10859b347dac774aa54d573b07090d79b").unwrap();
+    pub static ref BATCH_AGGREGATION_VK: Digest = Digest::from_hex("469a6236407cc8647a0ec92fb3c73d444b597e9638fa67dd7df4fd356c9d8b99").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("0f8d676ba2ca27a39ea857bd0ad858df240e6f4d44e5801025e7b66602f4288f")
+        Digest::from_hex("3a7953535604ff0606b3e82ea96a43a23eec622cb4981259eaefe07e8bb29783")
             .unwrap();
 
     // padding logic verification key / compliance image id
     pub static ref PADDING_LOGIC_VK: Digest =
-        Digest::from_hex("abaab9e4ec0a18d567a9f0221e48dc59f689964aeff5b9cc806a7b61706798b2")
+        Digest::from_hex("cf101e46f2c332e92b9e63912af9da5faef4be85d4f956d457236a7f15f677bf")
             .unwrap();
 }