Blockchain, Smart Contracts, Database, Electrical Engineering.
Virtual Machine (a subset of EVM functionality). So does Bitshares. And more. The Interledger Protocol (ILP) has a subset protocol called crypto-conditions (CC) to cleanly specifies these combinational circuits. CC is good to know of because it’s becoming an internet standard via the IETF. It’s