Bitcoin + smart contracts = OmniZK.