v0.13.0

Author: XuyangSong

Cargo.lock

@@ -85,13 +85,13 @@ We have the following feature flags in arm lib:
 
 ```toml
 # Default configuration
-arm = "0.12.0"
+arm = "0.13.0"
 
 # Proof aggregation (a single succinct proof per transaction)
-arm = { version = "0.12.0", features = ["aggregation"] }
+arm = { version = "0.13.0", features = ["aggregation"] }
 
 # Logic-circuit-only usage
-arm = { version = "0.12.0", default-features = false }
+arm = { version = "0.13.0", default-features = false }
 ```
 
 

README.md

@@ -1,6 +1,6 @@
 [package]
 name = "arm"
-version = "0.12.0"
+version = "0.13.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("1dac4bff516acbec855e97481821c15915078edaed44887cf48024170a0a107e").unwrap();
+        Digest::from_hex("1d8fee9852b3b56d5cb0f541f81ac28f5759a2b32a1d9a86af433f50e1f28375").unwrap();
 
     // Batch aggregation verification key / Batch aggregation image id.
-    pub static ref BATCH_AGGREGATION_VK: Digest = Digest::from_hex("7c6613ccbc2040175c40f107ada70abebeb31ff060a466a0e1155313471928f8").unwrap();
+    pub static ref BATCH_AGGREGATION_VK: Digest = Digest::from_hex("5eeeb4e5b4db4548d6c0e21c35b54041cdceda63700b060470826ee2c92740a1").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("90a9f98fb03385c5f0346778c57ba26578694dfa33c543bd700587ca5f789105")
+        Digest::from_hex("3787d91b04dd8491427a81343a4a39b22d6fcf3bd5bcbb097f473dbac1a3f538")
             .unwrap();
 
     // padding logic verification key / compliance image id
     pub static ref PADDING_LOGIC_VK: Digest =
-        Digest::from_hex("c3f7e55666d59dc58cf31582c05f0088b947310070c6c63cf03f7b15b12c4d5f")
+        Digest::from_hex("dede92a189d174073c2d6656e57daaf801ce863d6a8444c5e837fb3d155b2fc5")
             .unwrap();
 }