Integrates datacap token with verified registry actor

actors/datacap/src/state.rs

@@ -3,7 +3,9 @@ use fvm_ipld_blockstore::Blockstore;
 use fvm_ipld_encoding::tuple::*;
 use fvm_ipld_encoding::Cbor;
 use fvm_shared::address::Address;
+use fvm_shared::econ::TokenAmount;
 use fvm_shared::error::ExitCode;
+use fvm_shared::ActorID;
 
 use fil_actors_runtime::{ActorError, AsActorError};
 
@@ -19,6 +21,17 @@ impl State {
             .context_code(ExitCode::USR_ILLEGAL_STATE, "failed to create token state")?;
         Ok(State { registry, token: token_state })
     }
+
+    // Visible for testing
+    pub fn balance<BS: Blockstore>(
+        &self,
+        bs: &BS,
+        owner: ActorID,
+    ) -> Result<TokenAmount, ActorError> {
+        self.token
+            .get_balance(bs, owner)
+            .context_code(ExitCode::USR_ILLEGAL_STATE, "failed to get balance")
+    }
 }
 
 impl Cbor for State {}

actors/datacap/src/testing.rs

@@ -7,14 +7,17 @@ use crate::State;
 
 pub struct StateSummary {}
 
-/// Checks internal invariants of verified registry state.
+/// Checks internal invariants of data cap token actor state.
 pub fn check_state_invariants<BS: Blockstore>(
     state: &State,
-    _store: &BS,
+    store: &BS,
 ) -> (StateSummary, MessageAccumulator) {
     let acc = MessageAccumulator::default();
     acc.require(state.registry.protocol() == Protocol::ID, "registry must be ID address");
-    // TODO: Check invariants in token state.
+    let r = state.token.check_invariants(store);
+    if r.is_err() {
+        acc.add(r.unwrap_err().to_string());
+    }
 
     (StateSummary {}, acc)
 }

actors/verifreg/src/ext.rs

@@ -0,0 +1,44 @@
+use fvm_ipld_encoding::tuple::*;
+use fvm_ipld_encoding::tuple::{Deserialize_tuple, Serialize_tuple};
+use fvm_shared::address::Address;
+use fvm_shared::bigint::{bigint_ser, BigInt};
+
+pub mod datacap {
+    use super::*;
+
+    // TODO: This constant should be imported from FVM once available there.
+    pub const TOKEN_PRECISION: u64 = 1_000_000_000_000_000_000;
+
+    #[repr(u64)]
+    pub enum Method {
+        // Non-standard.
+        Mint = 2,
+        Destroy = 3,
+        // Static method numbers for token standard methods, for private use.
+        // Name = 10,
+        // Symbol = 11,
+        // TotalSupply = 12,
+        BalanceOf = 13,
+        // Transfer = 14,
+        // TransferFrom = 15,
+        // IncreaseAllowance = 16,
+        // DecreaseAllowance = 17,
+        // RevokeAllowance = 18,
+        // Burn = 19,
+        // BurnFrom = 20,
+    }
+
+    #[derive(Clone, Debug, PartialEq, Eq, Serialize_tuple, Deserialize_tuple)]
+    pub struct MintParams {
+        pub to: Address,
+        #[serde(with = "bigint_ser")]
+        pub amount: BigInt,
+    }
+
+    #[derive(Clone, Debug, PartialEq, Eq, Serialize_tuple, Deserialize_tuple)]
+    pub struct DestroyParams {
+        pub owner: Address,
+        #[serde(with = "bigint_ser")]
+        pub amount: BigInt,
+    }
+}