IOHK Enables Smart Contracts on Bitcoin via BitVMX
IOHK introduces a UPLC‑to‑RISC‑V compiler and the BitVMX optimistic verifier to enable expressive, scalable smart contracts on Bitcoin without changing its core protocol.
iohk.io/en/blog
🔗
Bringing expressive smart contracts and decentralized applications to Bitcoin with a new toolset
By combining a serialized smart contract format (Untyped Plutus Core – UPLC), a clever interpreter architecture (Control, Environment, Continuation (CEK) machine), and a widely supported open-source reduced instruction set architecture (RISC-V), IO is building a connection from the expressive world of Cardano smart contracts to the solid base layer of Bitcoin. At the center of this is BitVMX, an optimistic verification system for Bitcoin that leverages RISC-V to safely execute off-chain logic.