The Smart Contract is the the immutable computer program that automatically executes all part of a agreement between the two parties. The Smart Contracts are written in a high-level programing language like solidity then compile to the bytecode for execution. The machine code is completely isolate from the network, file system, and any processes of the host computer, every node in the KardiaChain network runs a KVM instance which allows them to agree on executing a contract.