Confronting the Carbon-Footprint Challenge of Blockchain[J] ENVIRONMENTAL SCIENCE & TECHNOLOGY Shi, Xiaoyang Xiao, Hang Liu, Weifeng Lackner, Klaus. S. Buterin, Vitalik Stocker, Thomas F.
A Solicitous Approach to Smart Contract Verification[J] ACM TRANSACTIONS ON PRIVACY AND SECURITY 2023(26) Otoni, Rodrigo Marescotti, Matteo Alt, Leonardo Eugster, Patrick Hyvarinen, Antti Sharygina, Natasha
Incentives in Ethereum's hybrid Casper protocol[J] INTERNATIONAL JOURNAL OF NETWORK MANAGEMENT 2020(30) Buterin, Vitalik Reijsbergen, Daniel Leonardos, Stefanos Piliouras, Georgios