Parallax의 보안 모델에 대한 심층 분석: 작성 권한을 위한 서명, 의미론을 위한 PVM, 시간을 위한 작업증명, 정규 역사를 위한 나카모토 합의.
ECDSA는 누가 행동할 수 있는지를 결정합니다(유효한 작성 권한).
행동이 무엇을 하는지를 정의합니다(상태 전이).
행동이 언제 일어나는지를 확립합니다(PoW로 순서 결정).
어떤 역사가 우세한지를 선택합니다(가장 무거운 체인).
// 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))
서명된 트랜잭션이 멤풀에 진입 → 채굴자가 블록을 제안 → PVM이 결정론적으로 실행 → 헤더가 상태/영수증을 커밋 → XHash가 작업을 증명 → 네트워크가 가장 무거운 유효 체인을 채택. 희소성(2,100만, 반감기)이 모든 실행을 뒷받침합니다.