Una mirada profunda al modelo de seguridad de Parallax: firmas para la autoría, PVM para la semántica, Proof-of-Work para el tiempo y consenso Nakamoto para la historia canónica.
ECDSA decide quién puede actuar (autoría válida).
Define qué hacen las acciones (transiciones de estado).
Establece cuándo ocurren las acciones (ordenadas por PoW).
Selecciona qué historia prevalece (cadena más pesada).
// 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))
Una transacción firmada entra en la mempool → el minero propone un bloque → la PVM ejecuta de forma determinista → la cabecera se compromete a estado/recibos → XHash demuestra el trabajo → la red adopta la cadena válida más pesada. La escasez (21M, halvings) sustenta toda la ejecución.