Une plongée en profondeur dans le modèle de sécurité de Parallax : les signatures pour l'auctorialité, la PVM pour la sémantique, la preuve de travail pour le temps, et le consensus Nakamoto pour l'histoire canonique.
ECDSA décide qui peut agir (auctorialité valide).
Définit ce que font les actions (transitions d'état).
Établit quand les actions ont lieu (ordonnées par PoW).
Sélectionne quelle histoire prévaut (chaîne la plus lourde).
// 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))
Une transaction signée entre dans le mempool → le mineur propose un bloc → la PVM exécute de manière déterministe → l'en-tête engage l'état et les reçus → XHash prouve le travail → le réseau adopte la chaîne valide la plus lourde. La rareté (21M, halvings) sous-tend l'ensemble de l'exécution.