Ein tiefer Einblick in das Sicherheitsmodell von Parallax: Signaturen für die Autorschaft, PVM für die Semantik, Proof of Work für die Zeit und Nakamoto-Konsens für die kanonische Historie.
ECDSA entscheidet, wer handeln darf (gültige Autorschaft).
Legt fest, was Aktionen bewirken (Zustandsübergänge).
Bestimmt, wann Aktionen stattfinden (geordnet durch PoW).
Wählt aus, welche Historie sich durchsetzt (schwerste Kette).
// Pseudocode: PVM-side validation sketch
verify(tx):
msg = keccak256(encodeTxForSig(tx))
pub = ecrecover(msg, tx.v, tx.r, tx.s)
require(address(pub) == tx.from)
require(tx.nonce == account.nonce)
// gas accounting & state updates proceed
// Conceptual block processing
for (tx of block.txs):
result = PVM.execute(tx, state)
commit:
stateRoot = MPT(state)
receiptsRoot = MPT(receipts)
header.stateRoot = stateRoot
header.receiptsRoot = receiptsRoot
// Block header sketch
header = {
parentHash,
stateRoot,
txRoot,
time,
nonce,
difficulty,
mixHash, // XHash result
}
assert(block.parent.hash == parentHash)
assert(XHash(header) < target(difficulty))
// Choose chain with max cumulative work
best = argmax(chains, sum(block.work for block in chain))
Eine signierte Transaktion gelangt in den Mempool → der Miner schlägt einen Block vor → die PVM führt deterministisch aus → der Header committed auf Zustand und Quittungen → XHash weist die Arbeit nach → das Netzwerk übernimmt die schwerste gültige Kette. Knappheit (21M, Halvings) liegt allem zugrunde.