Dogecoin Developers Propose OP_CHECKZKP to Enable Zero-Knowledge Verification

Dogecoin developers introduced a draft Dogecoin Improvement Proposal (DIP) on GitHub proposing OP_CHECKZKP, a new opcode aimed at bringing native on-chain verification of zero-knowledge proofs to the Dogecoin network ¹. The upgrade seeks to enable trustless Layer-2 scaling frameworks, such as zk-rollups, without requiring changes to the network's base consensus model or introducing a general Turing-complete virtual machine ¹. At the time of writing, $DOGE traded at $0.0958, gaining 2.6% over the preceding 24 hours.

The proposed implementation repurposes the unused opcode 185 (0xB9), historically known as OP_NOP10 ¹. By redefining an existing no-operation code, the proposal functions as a backward-compatible soft fork: legacy nodes evaluate the byte as a standard OP_NOP, while updated nodes will invalidate any script where the zero-knowledge proof fails verification ¹. Under successful verification, the opcode leaves input data on the stack, ensuring that execution continues without altering legacy stack expectations ¹.

Multi-Mode Proof Support

According to the draft specification, OP_CHECKZKP relies on an extensible mode selector to support multiple cryptographic proof mechanisms ¹. Mode 0 specifies verification of Groth16 proofs on the BLS12-381 curve with two public inputs, utilizing verification logic developed from previous community research by QED ¹. Mode 1 provides support for PLONK proofs generated via Halo2 using the KZG commitment scheme on the BN256 curve, integrating protocol parameters from OpenVM ¹. Under Mode 1, inputs are bounded by strict limits, including a maximum proof length of 4,096 bytes, a verifying key size cap of 8,192 bytes, and a maximum of 64 public inputs ¹.

The initiative addresses performance bottlenecks in Dogecoin's native scripting language, which lacks the capability to verify off-chain compute operations efficiently ¹. By delegating complex application computations to off-chain provers and verifying succinct proofs on-chain, proponents argue Dogecoin can accommodate decentralized finance and gaming activity without inflating node requirements or block verification times ¹. This development follows community-led efforts to expand utility, such as when DogeOS launched an EVM-compatible public testnet for Dogecoin to facilitate smart contracts ¹.