比特币 + 表达逻辑 = OmniZK。

我们正在为比特币引入智能合约功能，同时又不损害其核心原则。

可能性无穷无尽。