Bitcoin + hợp đồng thông minh = OmniZK.