The summer school will take place from September 2nd, 2019 to including September 5th, 2019.
|Monday, September 2||Tuesday, September 3||Wednesday, September 4||Thursday, September 5|
|8:30 - 9:00||Opening Remarks|
|9:00 - 10:30||Aniket Kate||Christian Cachin||Patrick McCorry||Hubert Ritzdorf|
|10:30 - 11:00||Break||Break||Break||Break|
|11:00 - 12:30||Rainer Böhme||Permissioned Blockchains: What, Why, How (Angelo De Caro)||Sebastian Faust||Proof Systems for Sustainable Blockchains: How to Prove You Waste Space and Time (Krzysztof Pietrzak)|
|12:30 - 14:00||Lunch||Lunch||Lunch||Lunch|
|14:00 - 15:30||NOCUST - A Securely Scalable Commit-Chain (Arthur Gervais)||Bryan Ford||Pascal Berrang||Algorand: A Secure, Scalable and Decentralized Blockchain (Jing Chen)|
|15:30 - 16:00||Break||Break||Break||Break|
|16:00 - 17:30||Hackathon: Liquidity||Hackathon: Nimiq||Hackathon: NuCypher||Hackathon: Research Institute|
|17:45 - 19:00||Poster Session||Lightning Talks||Social Event||Concluding Remarks|
Details about the social event are currently being finalized.
NOCUST - A Securely Scalable Commit-Chain
To scale permissionless blockchains, one potential approach known as Layer 2 scaling is to off-load transactions from the blockchain. The Blockchain is then used only as a resource, in case of disputes. Commit-chains are layer 2 solutions that as opposed to side-chains do not require any additional consensus mechanism to operate. Therefore, it inherits security from the parent blockchain. This talk will cover NOCUST, a securely scalable commit-chain construction. We will show how NOCUST can grow in practice to over one billion users with small operating costs. We will demonstrate how the system can function securely while users stay custodian of their assets entirely. Further, Layer 2 is an excellent opportunity to fix some of the significant issues with blockchain’s user experience. Currently, transactions are slow to process, require block confirmations and users need to pay complex gas fees. With NOCUST, transactions are confirmed almost instantly and do not expect any gas fees to be paid. This presentation is relevant for hackers and developers because it will provide the tools, such as the NOCUST SDK, for them to build scalable blockchain applications with the enhanced user experience.
Arthur Gervais is Co-founder and CEO of Liquidity Network; a leading Layer 2 project on top of Ethereum which provides transfer and swap platform for any token. Arthur obtained his Ph.D. from ETH Zurich on the topic of blockchain security and was also co-founder of the smart contract formal verification tool securify.ch. He is an accomplished academic speaker, specializing in three areas: IT-security, privacy, and scalability. One of his most recently published papers is NOCUST - a securely scalable commit-chain, is similar to a side-chain, but doesn’t require an additional consensus mechanism and solely relies on the security of its parent-chain. Please also see more at Arthur’s site arthurgervais.com.
Permissioned Blockchains: What, Why, How
Permissioned blockchains allow a well identifiable set of participants to run blockchain technology in a setting where the involved parties require some means of identifying each other while not necessarily fully trusting the other members of the network. This represents an emerging alternative to permissionless blockchains (in which anybody can participate, e.g., Bitcoin, Ethereum) that better addresses the needs of business applications of blockchain technology and distributed ledgers. In this talk, we will explore permissioned blockchain technologies with a focus on the Hyperledger Project, a prominent open-source initiative under the patronage of the Linux Foundation, dedicated to bringing blockchain technologies to businesses.
Angelo De Caro joined the Storage Systems group of IBM Research – Zurich in May 2015. His research is focused on the Hyperledger fabric and the privacy and cryptography of the blockchain. Angelo received his PhD in Computer Science in 2013 from the University of Salerno, in Italy, under the supervision of Prof. Carlo Blundo and Prof. Giuseppe Persiano. After his PhD, he worked with Dr. Tatsuaki Okamoto at NTT, Japan, in 2013 and with Prof. Michel Abdalla at École normale supérieure, France, in 2014-2015. Angelo has been also engaged in several EU projects including ECRYPTII (European Network of Excellence in Cryptology II) and TREDISEC (Trust-aware, REliable and Distributed Information SEcurity in the Cloud). His research interests are in theoretical cryptography and its applications to the blockchain and the cloud.
Proof Systems for Sustainable Blockchains: How to Prove You Waste Space and Time
The security of Bitcoin’s blockchain requires that honest miners constantly dedicate more computational power towards securing the blockchain than is available to a potential adversary. This leads to a massive waste of energy; at its hitherto peak, the electricity used for Bitcoin mining equaled the electricity consumption of Austria. In this lecture I will discuss how disk-space, instead of computation, can be used as a resource to construct a more sustainable blockchain. We will discuss definitions and constructions of “proofs of space” and “verifiable delay functions”, and how they can be used to construct a Blockchain with similar dynamics and security properties as the Bitcoin blockchain.
Krzysztof Pietrzak is a cryptographer and since 2011 professor at the Institute of Science and Technology Austria (IST Austria). His research spans theoretical and applied aspects of information security, more recently also in the blockchain space. He is the recipient of an ERC starting and consolidator grant and three Eurocrypt best paper awards.
Algorand: A Secure, Scalable and Decentralized Blockchain
Blockchains stand to revolutionize the way a modern society operates. They can secure all kinds of traditional transactions, such as payments, in the exact order in which the transactions occur; and enable totally new transactions, such as cryptocurrencies and smart contracts. They can remove intermediaries and usher in a new paradigm for trust. As currently implemented, however, blockchains scale poorly and cannot achieve their enormous potential. Algorand is the first blockchain that is truly secure, scalable and decentralized. It is permissionless and works in a highly asynchronous environment. It dispenses with “proof of work” and “miners” and requires only a negligible amount of computation. Moreover, its transaction history does not “fork”, guaranteeing immediate finality of a transaction the moment the transaction enters the blockchain.
Jing Chen is Chief Scientist and Head of Theory Research at Algorand, and Assistant Professor in the Computer Science Department at Stony Brook University. Her main research interests are distributed ledgers, game theory, and algorithms. Jing received her bachelor and master’s degrees in computer science from Tsinghua University, and her PhD in computer science from MIT. She did a one-year postdoc at the Institute for Advanced Study, Princeton. Jing received the NSF CAREER Award in 2016.