An experimental Bitcoin programmability layer — every state transition is proven correct by a RISC Zero ZK receipt, not a validator vote.