Merge pull request #167 from anoma/xuyang/refactor_arm

refactor arm

Author: XuyangSong

.github/workflows/ci.yml

@@ -119,7 +119,7 @@ jobs:
             .
 
       - name: Run tests (main workspace)
-        run: cargo test --workspace --features test
+        run: cargo test --workspace
 
   test-release:
     name: Test Release
@@ -138,5 +138,5 @@ jobs:
             .
 
       - name: Run release tests (main workspace)
-        run: cargo test --workspace --release --features test
+        run: cargo test --workspace --release
         timeout-minutes: 60

Cargo.lock

@@ -2,6 +2,9 @@
 resolver = "2"
 members = [
     "arm",
+    "arm_tests/arm_test_witness",
+    "arm_tests/arm_test_app",
+    "arm_gadgets"
 ]
 
 [profile.bench]

Cargo.toml

@@ -17,6 +17,10 @@ This is a shielded resource machine implementation based on [Risc0-zkvm](https:/
   - **trivial_logic**: Minimal logic circuit example, also used in padding resources
   - **proof aggregation (batch_aggregation, sequential_aggregation)**: Circuits for single-run aggregation and IVC-based aggregation, respectively
 
+- **`arm_gadgets/`**: It provides a range of commonly used components for resource logic circuits, such as verifiable encryption and ECDSA signature authentication.
+
+- **`arm_tests/`**: It encompasses a basic resource logic instantiation and transaction tests.
+
 ## ARM-RISC0 Application Examples
 
 Several application examples are available at [here](https://github.com/anoma/arm-risc0-examples), including the simple counter application, token transfer application, and the kudo application.
@@ -32,7 +36,7 @@ Note: The installation of the Risc0 toolchain is required only if you intend to
 
 ### Build and Test
 
-* Compile `arm` lib
+* Compile `arm` libs
 
 ```bash
 cargo build
@@ -78,8 +82,6 @@ We have the following feature flags in arm lib:
 | `composite_prover`         |                           | Fastest option producing linear-size proofs, and supports compression via recursion                                                                 |
 | `groth16_prover`           |                           | Generates groth16 proofs(requires x86_64 machines)                                                                              |
 | `nif`                      |                           | Enables Erlang/Elixir NIF (Native Implemented Function) bindings                                                                |
-| `test_circuit`             |                           | A simple circuit implementation for testing |
-| `test`                     |                           | Includes tx and action tests; some test APIs are available outside the arm lib(Binding lib and Elixir SDK). |
 | `aggregation_circuit`      |                           | A specific feature for (pcd-based) aggregation circuits |
 | `aggregation`              | `aggregation_circuit`, `transaction`       | Enables proof aggregation (with constant-sized proofs by default) |
 |`fast_aggregation`          | `aggregation`               | Faster aggregation with linear-sized proofs without compression
@@ -165,7 +167,7 @@ The _sequential_ strategy aggregates sequentially, in an IVC style.
 use arm::aggregation::AggregationStrategy;
 
 assert!(tx.aggregate_with_strategy(AggregationStrategy::Sequential).is_ok());
-``` 
+```
 
 **Warning:** Once again, aggregation erases all the individual proofs from `tx` and replaces them with the (single) aggregation proof in a dedicated field. This is why the transaction must be `mut`. This is true independently of the strategy used.
 

README.md

@@ -13,16 +13,13 @@ serde_with = "3.14.1"
 k256 = { version = "=0.13.3", features = ["arithmetic", "serde", "expose-field", "std", "ecdsa", "hash2curve"], default-features = false }
 sha3 = { version = "0.10", optional = true }
 rand = "0.8"
-aes-gcm = "0.10"
 bincode = "1.3.3"
 hex = "0.4"
 lazy_static = "1.5.0"
 rustler = { version = "0.36.2", optional = true }
 bytemuck = { version = "1.12", features = ["derive"] }
-alloy-primitives = "1.0.23"
-alloy-sol-types = "1.0.23"
 thiserror = "2.0.6"
-zeroize = { version = "1.8.2" }
+
 # To fix the dependency warnings
 tracing-subscriber = "0.3.20"
 slab = "0.4.11"
@@ -38,8 +35,6 @@ nif = ["dep:rustler"]
 prove = ["risc0-zkvm/prove"]
 bonsai = ["risc0-zkvm/bonsai"]
 cuda = ["risc0-zkvm/cuda"]
-test_circuit = []
-test = ["transaction", "test_circuit"]
 aggregation = ["aggregation_circuit","transaction"]
 aggregation_circuit = []
 fast_aggregation = ["aggregation"]

arm/Cargo.toml

@@ -3,7 +3,6 @@ pub mod action;
 pub mod action_tree;
 #[cfg(feature = "aggregation")]
 pub mod aggregation;
-pub mod authorization;
 #[cfg(any(feature = "compliance_circuit", feature = "aggregation_circuit"))]
 pub mod compliance;
 #[cfg(feature = "transaction")]
@@ -12,9 +11,7 @@ pub mod compliance_unit;
 pub mod constants;
 #[cfg(feature = "transaction")]
 pub mod delta_proof;
-pub mod encryption;
 pub mod error;
-pub mod evm;
 #[cfg(feature = "aggregation_circuit")]
 pub mod hash;
 pub mod logic_instance;
@@ -27,10 +24,6 @@ pub mod proving_system;
 pub mod resource;
 pub mod resource_logic;
 mod rustler_util;
-#[cfg(feature = "test_circuit")]
-pub mod test_logic;
-#[cfg(feature = "test")]
-pub mod tests;
 #[cfg(feature = "transaction")]
 pub mod transaction;
 pub mod utils;