Bitcoin's Post-Quantum Migration: From P2PK to P2MR
After reading the NIST post-quantum standards, FIPS 204 and FIPS 205, I started looking for chain-specific migration efforts. Bitcoin is a natural starting point: it has the most valuable UTXO set, the most value secured by classical signatures, and a long history of conservative script upgrades. The two draft proposals that caught my attention are BIP360 and BIP361. BIP361 is the broader migration plan: after a future post-quantum output type exists, it proposes a staged sunset for legacy ECDSA/Schnorr usage. BIP360 is the more interesting technical step. It proposes Pay-to-Merkle-Root, or P2MR, a new output type that keeps the useful parts of Taproot script trees while removing Taproot’s key path. ...
ZKVMs in Practice: A Technical Overview
Zero-knowledge virtual machines (ZKVMs) are proof-generating replicas of familiar software stacks. You run your Rust, C++, or Move program once, and the ZKVM produces a compact receipt that anyone—even a smart contract with limited compute—can check in milliseconds. Because they turn heavyweight replays into quick proof checks, ZKVMs already anchor privacy-preserving DeFi flows, compliance attestations, oracle feeds, and rollups that need to prove arbitrary business logic without rewriting everything as circuits. ...