5th International Symposium on Foundations and Applications of Blockchain 2022 (FAB 2022)

We survey some of the amazing progress in Blockchain technology in the last 5 years: from foundations like consensus protocols, execution models, and zero-knowledge proofs, to why these foundations are critical for applications like decentralized finance and web3. The main part of the talk will try to envision the future of Blockchains: how will the “Endgame” look like? What foundations are we still missing? We argue that for Blockchains to thrive and reach Billions of users, we should expect a much more regulated landscape to emerge and discuss some exciting opportunities in reg-crypto and RegDeFi. An example of this direction is our new work on UTT which is a decentralized Ecash system with accountable privacy. 2012 ACM Subject Classification Theory of computation → Distributed algorithms; Applied computing → Digital cash; Computer systems organization → Dependable and fault-tolerant systems and networks

[1]  N. Bertrand,et al.  Brief Announcement: Holistic Verification of Blockchain Consensus , 2022, ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing.

[2]  V. Gramoli,et al.  CollaChain: A BFT Collaborative Middleware for Decentralized Applications , 2022, ArXiv.

[3]  Andy E. Williams.  Human-Centric Functional Modeling and the Unification of Systems Thinking Approaches , 2021, Journal of Systems Thinking.

[4]  Sangeetha Abdu Jyothi,et al.  Solar superstorms: planning for an internet apocalypse , 2021, SIGCOMM.

[5]  Alfonso Cevallos,et al.  Overview of Polkadot and its Design Considerations , 2020, IACR Cryptol. ePrint Arch..

[6]  Fernando Pedone,et al.  Smart Contracts on the Move , 2020, 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

[7]  Mohammad Javad Amiri,et al.  SharPer: Sharding Permissioned Blockchains Over Network Clusters , 2019, SIGMOD Conference.

[8]  Yijie Wang,et al.  SSChain: A full sharding protocol for public blockchain without data migration overhead , 2019, Pervasive Mob. Comput..

[9]  Emin Gün Sirer,et al.  Scalable and Probabilistic Leaderless BFT Consensus through Metastability , 2019, ArXiv.

[10]  Ning Zhang,et al.  A Survey of Distributed Consensus Protocols for Blockchain Networks , 2019, IEEE Communications Surveys & Tutorials.

[11]  Vincent Gramoli,et al.  The Attack of the Clones against Proof-of-Authority , 2019, NDSS.

[12]  Yusuke Aoki,et al.  SimBlock: A Blockchain Network Simulator , 2019, IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS).

[13]  Michel Raynal,et al.  DBFT: Efficient Leaderless Byzantine Consensus and its Application to Blockchains , 2018, 2018 IEEE 17th International Symposium on Network Computing and Applications (NCA).

[14]  Mariana Raykova,et al.  RapidChain: Scaling Blockchain via Full Sharding , 2018, CCS.

[15]  Vincent Gramoli,et al.  Impact of Man-In-The-Middle Attacks on Ethereum , 2018, 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS).

[16]  Philipp Jovanovic,et al.  OmniLedger: A Secure, Scale-Out, Decentralized Ledger via Sharding , 2018, 2018 IEEE Symposium on Security and Privacy (SP).

[17]  Ee-Chien Chang,et al.  Towards Scaling Blockchain Systems via Sharding , 2018, SIGMOD Conference.

[18]  Brad Chase,et al.  Analysis of the XRP Ledger Consensus Protocol , 2018, ArXiv.

[19]  Silvio Micali,et al.  Algorand: Scaling Byzantine Agreements for Cryptocurrencies , 2017, IACR Cryptol. ePrint Arch..

[20]  George Danezis,et al.  Chainspace: A Sharded Smart Contracts Platform , 2017, NDSS.

[21]  Vincent Gramoli,et al.  The Balance Attack or Why Forkable Blockchains are Ill-Suited for Consortium , 2017, 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

[22]  Emin Gün Sirer,et al.  Short Paper: Service-Oriented Sharding for Blockchains , 2017, Financial Cryptography.

[23]  Prateek Saxena,et al.  A Secure Sharding Protocol For Open Blockchains , 2016, CCS.

[24]  Laurent Vanbever,et al.  Hijacking Bitcoin: Routing Attacks on Cryptocurrencies , 2016, 2017 IEEE Symposium on Security and Privacy (SP).

[25]  Bryan Ford,et al.  Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing , 2016, USENIX Security Symposium.

[26]  Westone,et al.  Home Page , 2004, 2022 2nd International Conference on Intelligent Cybernetics Technology & Applications (ICICyTA).

[27]  Miguel Oom Temudo de Castro,et al.  Practical Byzantine fault tolerance , 1999, OSDI '99.

[28]  Nancy A. Lynch,et al.  Consensus in the presence of partial synchrony , 1988, JACM.

[29]  Andy E. Williams.  Breaking through the barriers between centralised collective intelligence and decentralised general collective intelligence to achieve transformative social impact , 2021, International Journal of Society Systems Science.

[30]  Andy E. Williams.  Cognitive Computing and its Relationship to Computing Methods and Advanced Computing from a Human-Centric Functional Modeling Perspective , 2021, SCRS CONFERENCE PROCEEDINGS ON INTELLIGENT SYSTEMS.

[31]  Petr Kuznetsov,et al.  RandSolomon: optimally resilient multi-party random number generation protocol , 2021, ArXiv.

[32]  Andy E. Williams.  Defining a continuum from individual, to swarm, to collective intelligence, and to general collective intelligence , 2021, International Journal of Collaborative Intelligence.

[33]  Snowflake to Avalanche : A Novel Metastable Consensus Protocol Family for Cryptocurrencies Team Rocket , 2018 .

[34]  David Mazières.  The Stellar Consensus Protocol: A Federated Model for Internet-level Consensus , 2015 .

[35]  Daniel Davis Wood,et al.  ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER , 2014 .

[36]  S. Nakamoto,et al.  Bitcoin: A Peer-to-Peer Electronic Cash System , 2008 .