Weiji Guo has proposed a new opcode, OP_ZKP, for Bitcoin that would enable the network to authorize spending based on off-chain computation as long as acceptable proof is provided. This would additionally equip the Bitcoin script with Turing completeness and allow for the building of payment channels, stablecoin, decentralized exchanges, and DeFi, to name a few potential applications. The new opcode could be implemented with a soft fork and specific details and considerations are laid out in the proposal. The potential uses and implications for computation power services, contract composability, and wallet applications are also discussed.