Cryptography, Cryptocurency, Blockchain, Mining.
publicly-verifiable proof contains the Merkle root, the data for the selected entries from the PoW initialization phase, and their commitment openings (Merkle proofs). Common labels from the 100 distinct Merkle paths are eliminated to reduce proof size. Verifying The verifier first derives the same