Protocol Architecture

Malalim na pagsusuri sa security model ng Parallax: signatures para sa authorship, PVM para sa semantics, Proof-of-Work para sa time, at Nakamoto consensus para sa canonical history.

Paano nagkakasundo ang mga piyesa
Hinahabi ng Parallax ang cryptography, deterministic execution, proof-of-work timekeeping, at neutral fork-choice sa iisang verifiable pipeline.
Cryptography

Ini-decide ng ECDSA kung sino ang pwedeng kumilos (valid authorship).

Execution (PVM)

Ini-define kung ano ang ginagawa ng mga aksyon (state transitions).

Timestamp Server

Ini-establish kung kailan nangyayari ang aksyon (in-order ng PoW).

Nakamoto

Pinipili kung anong history ang manananaig (heaviest chain).

Digital Signatures
Sino ang pwedeng kumilos: ECDSA over secp256k1 ang nag-a-authenticate ng state transitions.
  • ECDSA over secp256k1 na katulad ng Bitcoin para sa battle-tested security at tooling.
  • Kasama sa transactions ang (r, s, v); narerecover ang sender sa public key → address derivation.
  • Tumatakbo ang validation sa execution pipeline, na sinisiguro ang uniform rules sa lahat ng nodes.
  • Non-repudiation: ina-bind ng signatures ang intents sa keys; replay protection sa pamamagitan ng chain id at nonce.
Signature verification (conceptual)
pseudocode
// 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
Turing-complete Scripting (PVM)
Ano ang ibig sabihin ng aksyon: deterministic EVM-compatible execution sa ilalim ng Bitcoin-like monetary rules.
  • Opcode parity sa EVM (CALL/SSTORE/etc.), gas-metered deterministic execution.
  • Iniimbak ang state sa Merkle Patricia Trie; nag-co-commit ang block header sa stateRoot at receiptsRoot.
  • Programmability sa loob ng scarcity: 21M cap, halving ⇒ minamana ng execution ang hard money.
  • Light-client friendly sa pamamagitan ng inclusion proofs at deterministic replay ng blocks.
Block → Execution → Roots
pseudocode
// 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
Timestamp Server
Kailan nangyayari ang aksyon: ginagawang cryptographic resource ng PoW ang time at inoorder ang events.
  • Bawat block ay nag-co-commit sa previous header hash ⇒ verifiable temporal chain.
  • Ina-bind ng Proof-of-Work (XHash) ang cost sa time; ipinapatupad ng recomputation ang arrow of time.
  • Objective ordering nang walang trusted clocks; pinipigilan ng median-time-past ang timestamp abuse.
  • Lumalaki ang security kasabay ng cumulative difficulty; ang backdating ay nagiging economically infeasible.
Header linkage
pseudocode
// Block header sketch
header = {
  parentHash,
  stateRoot,
  txRoot,
  time,
  nonce,
  difficulty,
  mixHash,      // XHash result
}
assert(block.parent.hash == parentHash)
assert(XHash(header) < target(difficulty))
Nakamoto Consensus
Anong history ang mananaig: ang heaviest valid chain by cumulative work ay canonical.
  • Pinipili ng heaviest-chain rule ang canonical history sa pamamagitan ng cumulative PoW (difficulty sum).
  • Probabilistic finality: bumababa nang exponential ang reorg risk sa lalim (k-confirmations).
  • Layunin ng difficulty retargeting (XHash) ang ~10-minutong blocks gamit ang median-time-past.
  • Economically neutral: walang staking o privileged validators — open PoW lang.
Fork-choice (conceptual)
pseudocode
// Choose chain with max cumulative work
best = argmax(chains, sum(block.work for block in chain))
Pipeline

End-to-end na flow

Ang signed transaction ay pumapasok sa mempool → nagpro-propose ang miner ng block → deterministically nag-e-execute ang PVM → nag-co-commit ang header sa state/receipts → pinapatunayan ng XHash ang work → ina-adopt ng network ang heaviest valid chain. Ang scarcity (21M, halvings) ang sumusuporta sa lahat ng execution.

1
Sign
2
Execute
3
Commit
4
Prove
5
Select