1. YODA: Enabling computationally intensive contracts on blockchains with Byzantine and Selfish nodes
2. Peter Gavži , Aggelos Kiayias , and Alexander Russell . 2020 . Tight consistency bounds for bitcoin . In Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security. 819--838 . Peter Gavži, Aggelos Kiayias, and Alexander Russell. 2020. Tight consistency bounds for bitcoin. In Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security. 819--838.
3. Harry Kalodner , Steven Goldfeder , Xiaoqi Chen , S Matthew Weinberg , and Edward W Felten . 2018 . Arbitrum: Scalable, private smart contracts. In 27th {USENIX} Security Symposium ({USENIX} Security 18). 1353--1370. Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S Matthew Weinberg, and Edward W Felten. 2018. Arbitrum: Scalable, private smart contracts. In 27th {USENIX} Security Symposium ({USENIX} Security 18). 1353--1370.
4. Demystifying Incentives in the Consensus Computer
5. A brief survey of Cryptocurrency systems