Struct sn_transfers::WalletReplica

pub struct WalletReplica { /* fields omitted */ }

The Replica is the part of an AT2 system that forms validating groups, and signs individual transfers between wallets. Replicas validate requests to debit an wallet, and apply operations that has a valid “debit agreement proof” from the group, i.e. signatures from a quorum of its peers. Replicas don’t initiate transfers or drive the algo - only Actors do.

Implementations

impl WalletReplica

pub fn from_history(
    id: OwnerType,
    replica_id: PublicKeyShare,
    key_index: usize,
    peer_replicas: PublicKeySet,
    events: Vec<ReplicaEvent>
) -> Result<Self, Error>

A new Replica instance from a history of events.

pub fn from_snapshot(
    id: OwnerType,
    replica_id: PublicKeyShare,
    key_index: usize,
    peer_replicas: PublicKeySet,
    wallet: Wallet,
    pending_proposals: HashMap<u64, HashMap<usize, TransferValidationProposed>>,
    pending_debit: Option<u64>
) -> Self

A new Replica instance from current state.

pub fn balance(&self) -> Token

---

––––––––––– Queries –––––––––––––––––

pub fn wallet(&self) -> Option<WalletSnapshot>

pub fn genesis<F: FnOnce() -> Result<PublicKey, Error>>(
    &self,
    credit_proof: &CreditAgreementProof,
    past_key: F
) -> Result<Option<()>, Error>

---

––––––––––– Cmds ———————————––

This is the one and only infusion of money to the system. Ever. It is carried out by the first node in the network.

pub fn test_validate_transfer(
    &self,
    signed_debit: &SignedDebit,
    signed_credit: &SignedCredit
) -> Result<Option<()>, Error>

For now, with test token there is no from wallet.., token is created from thin air.

pub fn validate(
    &self,
    signed_debit: &SignedDebit,
    signed_credit: &SignedCredit
) -> Result<Option<()>, Error>

Step 1. Main business logic validation of a debit.

pub fn register<F: FnOnce() -> Result<PublicKey, Error>>(
    &self,
    transfer_proof: &TransferAgreementProof,
    past_key: F
) -> Result<Option<TransferRegistered>, Error>

Step 2. Validation of agreement, and order at debit source.

pub fn receive_propagated<F: FnOnce() -> Result<PublicKey, Error>>(
    &self,
    credit_proof: &CreditAgreementProof,
    past_key: F
) -> Result<Option<()>, Error>

Step 3. Validation of TransferAgreementProof, and credit idempotency at credit destination. (Since this leads to a credit, there is no requirement on order.)

pub fn apply(&mut self, event: ReplicaEvent) -> Result<(), Error>

---

––––––––––– Mutation ———————————

Mutation of state. There is no validation of an event, it (the cmd) is assumed to have been properly validated before the fact is established (event raised), and thus anything that breaks here, is a bug in the validation..

impl WalletReplica

pub fn propose_validation(
    &self,
    signed_transfer: &SignedTransferShare
) -> Result<Option<TransferValidationProposed>, Error>

Step 1. Main business logic validation of a debit.

Trait Implementations

impl Clone for WalletReplica

fn clone(&self) -> WalletReplica

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WalletReplica

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for WalletReplica

impl PartialEq<WalletReplica> for WalletReplica

fn eq(&self, other: &WalletReplica) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &WalletReplica) -> bool

This method tests for !=.

impl StructuralEq for WalletReplica

impl StructuralPartialEq for WalletReplica