paper: Introduction I am going to be talking about batching techniques for accumulators with applications to interactive oracle proofs and blockchains. I'll maybe also talk about how to make these proofs even smaller. The main thing that we are going to focus on today is the bitcoin state and th...

ASIC design for mining # Introduction My name is David Vorick. I am lead developer of Sia, a decentralized cloud storage solution. I come from the software side of the world, but I got into hardware. I think from the perspective of cryptocurrency developers. I am also CEO of Obelisk, which is a ...

Introduction Hi. I am Alessandro Chiesa, a faculty member at UC Berkeley. I work on cryptography. I'm also a chief scientist at Starkware. I was a founder of zcash. Today I will like to tell you about recent work in cryptographic proof systems. This is joint work with people at Starkware, UC Berkel...

Introduction If you find a bug in a smart contract, it's really hard to mitigate that bug. In formal verification, we really look for bugs. We can identify subtle bugs, like reentrancy attacks, ownership violation, incorrect transactions, bugs due to updated code. We also want to assure the absence...

Economic analysis of the bitcoin payment system # Introduction I am an economist. I am going to stop apologizing about this now that I've said it once. I usually study market design. Bitcoin gives us new opportunities for how to design marketplaces. Regarding the talk title, we don't want to cla...

bloXroute: A network for tomorrow's blockchain # Introduction Hi. I am Souyma and I am here to talk with you about Bloxroute. The elephant in the room is that blockchains have been claimed to solve everything like credit cards, social media, and global micropayments. To handle credit card payment ...

Introduction There are two parts to this talk. The first part of the talk will be building, like all the pieces we put into making the implementation of bulletproofs. We'll talk about the group we used, the Ristretto group and ristretto255 group. I'll talk about parallel lelliptic curve arithmetic,...

Quentin Le Sceller (Grin Dev Team), Ignotus Peverell (Grin Dev Team), Yeastplume (Grin Dev Team), Antioch Peverell (Grin Dev Team), HashMap (Grin Dev Team), John Tromp (Grin Dev Team), Daniel Lehnberg (Grin Dev Team) Our first talk is from the Grin project. It was just launched a few weeks ago. O...

I have one announcement to make before we start the session. If you feel like after all of these talks that the thing you really need is a drink, then there's help. Chainlink is hosting the Stanford Blockchain Conference happy hour at The Patio which is the most famous bar in Palo Alto. It doesn't m...

Blockchain upgrades as a coordination game # Introduction My name is Stephanie Hurder. Today I am going to talk about my paper, blockchain upgrade as a coordination game. This takes an economic lense to the question of how to design blockchain governance. This work was done at Prysm Group and my...

Threshold signatures Threshold signature schemes are schemes where n parties and at least t are necessary and sufficient for signing. They want to make sure that t parties are necessary. Any threshold signature scheme typically has 3 protocols: key generation, signing, and verifying. In key genera...

Please welcome Vitalik who needs no introduction. Introduction Okay. I have 20 minutes. I will get right to it. Vlad gave a presentation on some of his research into CBC Casper and how CBC Casper can be extended into sharding contexts. This presentation will be about taking some of the existing r...

slides: Introduction Thank you everyone. It's exciting to be here speaking about formal verification. The road to complete security of smart contracts is a sensationalist title. I'll be spending a few moments making a huge disclaimer. Disclaimer This can only be interpreted as a very long r...

Introduction Handle is a aggregation protocol for large scale byzantine committees. This is work with my colleagues in addition to myself. Why aggregate? Distributed systems often require gathering statements about large subsets of nodes. However, processing (filtering, aggregating...) measureme...

# Introduction I am here to talk about a design pattern that I don't like. You see HTLCs a lot. You see them in a lot of protocols for cross-chain atomic exchanges and payment channel networks such as lightning. But they have some downsides, which people aren't all familiar with. I am not affiliate...

info:

Jeremy: Our next speaker really needs no introduction. However, I am obligated to deliver an introduction anyway. I'm not just trying to avoid pronouncing his name which is known to be unpronounceable. I am pleased to welcome Pieter Wuille to stage to present on miniscript. # Introduction Thanks, ...

Introduction Synchronous with a chance of partition tolerance. Thank you for inviting me. I am going to be talking about some new updates. It's joint work with my collaborators. The problem is state-machine replication, sometimes called blockchain or consensus. These terms are going to be the same ...

Opening remarks We will be starting in 10 minutes. I would like to ask the first speaker in the first session for grin to walk to the back of the room to get your microphone ready for the talk. It's 9 o'clock and time to get started. Could everyone please get to their seats? Alright, let's do this...

Plasma Cash: Towards more efficient Plasma constructions Shi: Okay, we're going to start the next session. Please return to your seats. I have an important announcement before the session starts. Because of the fire code, we can't allow people standing room. Please go to the overflow rooms at the...

Privacy preserving multi-hop locks for blockchain scalability and interoperability paper: Introduction This is joint work with my collaborators. Permissionless blockchains have some issues. The permissionless nature leads to the transaction rate that they have. This limits widespread adopti...

Introduction Good morning. I am here to talk to you about Quisquis which is a new design for an anonymous cryptocurrency. This talk is going to focus on the transaction layer. We don't talk about consensus or smart contracts or higher applications. Outline I am going to talk about bitcoin and an...

Introduction Thank you for the introduction. I have a secret. I am not an economist, so you'll have to forgive me if I don't have your favorite annotations today. I have my own annotations. I originally gave a predecessor to this talk in Japan. You might notice my title here is a haiku: these are p...

State channels as a scaling solution for cryptocurrencies # Introduction I am an assistant professor at King's College London. There are many collaborators on this project. Also IC3. Who here has heard of state channels before? Okay, about half of the audience. Let me remove some misconceptions ...

Introduction This is joint work with George Danezis who couldn't be here today and also cofounded Chainspace. Among all the possible challenges we may have on a blockchain, this talk will be about how to build strong sybil resistance. We would consider a subset of the problem, how will we bootstrap...

Welcome to the first session after lunch. We call this the post-lunch session. The first part is on STARKs by Eli Ben-Sasson. Introduction Thank you very much. Today I will be talking about STARK proofs of DEXes. I am chief scientist at Starkware. We're a one-year startup in Israel that has raise...

paper: Introduction This talk is about proofs of space and tight proofs of space. Proof of Space A proof-of-space is an alternative to proof-of-work. Applications have been proposed like spam prevention, DoS attack prevention, sybil resistance in consensus networks which is most relevant to t...

Urkel trees: An optimized and cryptographically provable key-value store for decentralized naming Boyma Fahnbulleh (Handshake) (boymanjor) # Introduction Hello my name is Boy Fahnbulleh. I have been contributing to Handshake. I've worked on everything from building websites to writing firmware ...