Parallaxが採用するメモリハードなProof of Work。Ethash系のHashimotoに、ParallaxのASERTベース難易度、コンセンサスルール、エポック処理を組み合わせたもの。
xhash/consensus.goとParallaxのチェーン設定に基づきます。| 項目 | 値 / 挙動 | 備考 |
|---|---|---|
| ハッシュ関数 (シール) | Legacy Keccak-256 | 特定のヘッダフィールドに対するRLP |
| ターゲットマッピング | target = ⌊(2^256−1)/D⌋ | 結果は ≤ target でなければならない |
| MixDigest | 計算されたdigestと等しくなければならない | 不一致 ⇒ PoW無効 |
| MTP | 直近11個の中央値 | Time > MTP(parent) を強制、未来ドリフトは ≤ 300秒 |
| エポック長 | 設定で定義 (例: 720ブロック) | キャッシュ/DAG再生成の頻度を決定 |
| 難易度アルゴリズム | ASERT (ブロック単位、アンカーベース) | aserti3-2d。コンセンサスがDを計算し、XHashがPoWを通じてそれを強制 |
SealHash(header):
enc = [
header.ParentHash,
header.Coinbase,
header.Root,
header.TxHash,
header.ReceiptHash,
header.Bloom,
header.Difficulty,
header.Number,
header.GasLimit,
header.GasUsed,
header.Time,
header.Extra,
header.EpochStartTime,
]
if header.BaseFee != nil:
enc.append(header.BaseFee)
return keccak256(rlp.encode(enc))
mine(header, cacheOrDataset):
target = floor((2^256 - 1) / header.Difficulty)
nonce = random64()
loop:
(mix, res) = hashimoto(cacheOrDataset, SealHash(header), nonce)
if mix == header.MixDigest and Big(res) <= target:
return nonce
nonce = (nonce + 1) mod 2^64
verifySeal(h):
require(h.Difficulty > 0)
if fulldag:
(mix, res) = hashimotoFull(dataset(epoch(h.Number)), SealHash(h), h.Nonce)
else:
(mix, res) = hashimotoLight(datasetSize(h.Number), cache(epoch(h.Number)), SealHash(h), h.Nonce)
require(mix == h.MixDigest)
target = floor((2^256 - 1) / h.Difficulty)
require(Big(res) <= target)
if newEpoch(height):
regenerate cache
if mining full: regenerate dataset
verifyDifficulty(h, parent, anchor):
expected = CalcAsertDifficulty(config, anchor, parent, h)
require(h.Difficulty == expected)