I Tsabary, M Yechieli, A Manuskin… - 2021 IEEE symposium …, 2021 - ieeexplore.ieee.org
Smart Contracts and transactions allow users to implement elaborate constructions on
cryptocurrency blockchains like Bitcoin and Ethereum. Many of these constructions …