|
@@ -13,6 +13,8 @@
|
|
|
|
|
|
It is proposed to enable PascalCoin account histories to be cryptographically secured and independently verifiable without needing the blockchain. This fundamental innovation to the SafeBox-model yields astonishing results and opens the door to new use-cases just not possible on UTXO blockchains and DAGs.
|
|
|
|
|
|
+
|
|
|
+
|
|
|
## Motivation
|
|
|
|
|
|
PascalCoin currently allows users to own accounts (PASA) and send/receive operations between those accounts. These accounts are stored in the SafeBox and their states are mutated by operations. These operations are contained within blocks which applied to the SafeBox in an [ACID][3] manner.
|
|
@@ -48,6 +50,8 @@ Under this interpretation, the chain of account states (or a PASA-Chain) is used
|
|
|
|
|
|
With this change, the SafeBox becomes a **Blockchain Container** capable of securing millions of blockchains (1 for each account) where one Proof-of-Work secures them all. An astonishing result, and the first of it's kind for any cryptocurrency.
|
|
|
|
|
|
+
|
|
|
+
|
|
|
See [Embedded Chain Specification](#embedded-chain-specification) for more details.
|
|
|
|
|
|
### PASA as a Decentralized Finite-State-Machine
|