Merge pull request #171 from anoma/xuyang/remove_nif

remove nif

Author: XuyangSong

Cargo.lock

@@ -78,7 +78,6 @@ We have the following feature flags in arm lib:
 | `bonsai`                    |                           | Enables RISC0 bonsai sdk                                                       |
 | `client`                    |                           | Enables RISC0 client sdk                                                       |
 | `cuda`                    |                           | Enables CUDA GPU acceleration for the prover. Requires CUDA toolkit to be installed.                                                       |
-| `nif`                      |                           | Enables Erlang/Elixir NIF (Native Implemented Function) bindings                                                                |
 | `aggregation_circuit`      |                           | A specific feature for (pcd-based) aggregation circuits |
 | `aggregation`              | `aggregation_circuit`, `transaction`       | Enables proof aggregation (only succinct proofs can be aggregated) |
 
@@ -93,9 +92,6 @@ arm = { version = "0.12.0", features = ["aggregation"] }
 
 # Logic-circuit-only usage
 arm = { version = "0.12.0", default-features = false }
-
-# Elixir Anoma SDK
-arm = { version = "0.12.0", features = ["nif"] }
 ```
 
 

README.md

@@ -16,7 +16,6 @@ rand = "0.8"
 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"] }
 thiserror = "2.0.6"
 
@@ -28,7 +27,6 @@ slab = "0.4.11"
 default = ["transaction", "prove"]
 transaction = ["compliance_circuit", "dep:sha3"]
 compliance_circuit = []
-nif = ["dep:rustler"]
 prove = ["risc0-zkvm/prove"]
 bonsai = ["risc0-zkvm/bonsai"]
 cuda = ["risc0-zkvm/cuda"]

arm/Cargo.toml

@@ -23,7 +23,6 @@ pub mod nullifier_key;
 pub mod proving_system;
 pub mod resource;
 pub mod resource_logic;
-mod rustler_util;
 #[cfg(feature = "transaction")]
 pub mod transaction;
 pub mod utils;

arm/src/lib.rs

@@ -1,11 +1,7 @@
 use risc0_zkvm::Digest;
-#[cfg(feature = "nif")]
-use rustler::NifStruct;
 use serde::{Deserialize, Serialize};
 
 #[derive(Clone, Debug, Default, Serialize, Deserialize)]
-#[cfg_attr(feature = "nif", derive(NifStruct))]
-#[cfg_attr(feature = "nif", module = "Anoma.Arm.LogicInstance")]
 pub struct LogicInstance {
     pub tag: Digest,
     pub is_consumed: bool,

arm/src/logic_instance.rs

@@ -5,9 +5,6 @@ use crate::{
 use risc0_zkvm::Digest;
 use serde::{Deserialize, Serialize};
 
-#[cfg(feature = "nif")]
-use rustler::NifStruct;
-
 /// This is a trait for logic constraints implementation.
 pub trait LogicCircuit: Default + Clone + Serialize + for<'de> Deserialize<'de> {
     // In general, it's implemented as `Self::default()`
@@ -20,8 +17,6 @@ pub trait LogicCircuit: Default + Clone + Serialize + for<'de> Deserialize<'de>
 }
 
 #[derive(Clone, Default, Serialize, Deserialize)]
-#[cfg_attr(feature = "nif", derive(NifStruct))]
-#[cfg_attr(feature = "nif", module = "Anoma.Arm.TrivialLogicWitness")]
 pub struct TrivialLogicWitness {
     pub resource: Resource,
     pub action_tree_root: Digest,