Work

Off-chain management and state-tracking of smart programs on blockchain for secure and efficient decentralized computation