Transaction Verification Algorithm (TVA)

Transaction Verification Algorithm (TVA):

1. Proof-of-Existence of sender and receiver

   1. Check if address exists in local Actor DB (should be done for sender and receiver);

   2. Check digital signature of transaction (done for sender) via EdDSA algorithm;

   3. Check sender status (user or smart contract);

If at least one step fails, transaction will be denied.

1. Proof-of-Existence of entities:

   1. Sender and receiver balances (in blockchain);

   2. Edited directories and files (in ExDFS);

2. Proof-of-Allowance:

   1. Sender and receiver balances are >= 0 after transaction (in blockchain);

   2. Edited or created file is in ownership of sender or sender is marked as editor for the file (in ExDFS);

If all proofs are true, transaction is verified and put into block.

TVA Scheme

Each verifier put its ID and signature in the block.

Block is distributed by verifiers via network.

Network neighbors of verifiers check created blocks and approve their consistence. They become “approvers”.