Transcripts

Back

Blockchain Protocol Analysis Security Engineering 2017

blockchain protocol analysis security engineering

/

2017

date icon

3 Feb 2017

Scalable Smart Contracts Via Proofs And Single Use Seals
date icon

slides: Introduction I am petertodd and I am here to break your blockchain. It's kind of interesting following a talk like that, in some ways I'm going in a more extreme direcion for consensus. Do we actually need consensus at all? Can we make a more robust system by eliminating it to the ma...

blockchain protocol analysis security engineering

/

2017

date icon

3 Feb 2017

Security Analysis of the Lightning Network
date icon

slides: Introduction My name is Laolu Osuntokun and I work on lightning stuff. I go by roasbeef on the internet. I work at Lightning Labs. I am going to be giving an overview of some security properties and privacy properties of lightning. State of the hash-lock Before I start, I want to go o...

blockchain protocol analysis security engineering

/

2017

date icon

26 Jan 2017

Covenants - Structuring Multi Transaction Contracts in Bitcoin
date icon

Slides: Intro Hey everyone. How is it going? Happy to be going last right now given that I had all these wonderful speakers before me to explain so much of what I am about to tell you. I’m going to talk to you today about structuring multi-transaction contracts in Bitcoin. I think there is a lot...

blockchain protocol analysis security engineering

/

2017

date icon

26 Jan 2017

Ivy: A Declarative Predicate Language for Smart Contracts
date icon

Intro Hi I’m Dan Robinson, I’m one of the Product Architects at Chain which is an enterprise blockchain infrastructure company for financial institutions. We have a full stack blockchain protocol and what I am going to talk about is part of that that also can be used for other applications includin...

blockchain protocol analysis security engineering

/

2017

date icon

26 Jan 2017

Post’s Theorem and Blockchain Languages: A Short Course in the Theory of Computation
date icon

Intro Hi. My name is Russell O’Connor. I am here to talk to you about Post’s theorem, the theory of computation and its applications to blockchain languages. There is a bit of a debate about whether Turing complete languages are appropriate or not for doing computations, whether the DAO fiasco is r...

Transcripts

Community-maintained archive to unlocking knowledge from technical bitcoin transcripts

Transcripts

Explore all Products

ChatBTC imageBitcoin searchBitcoin TLDRSaving SatoshiBitcoin Transcripts Review
Built with 🧡 by the Bitcoin Dev Project
View our public visitor count
We'd love to hear your feedback on this project?Give Feedback