Cool stuff. Are there any cryptocurrencies that take advantage of this property? Seems like a good area for exploration, implementing cryptographically verifiable logic gates over p2p transports.