devcon 1 / formal semantics for protocols
- YouTube
- IPFS
- Details
Formal Semantics for Protocols
Duration: 00:16:19
Speaker: Peter McBurney
Type: Talk
Expertise: Advanced
Event: Devcon
Date: Invalid Date
Peter McBurney presents on Formal Semantics for Protocols at Ethereum's DEVCON1.
Categories
- Related
Devcon
Talk
14:40
Backfeed
Matan Field presents on Backfeed (http://backfeed.cc), which develops resilient technology and new economic models to support free, large-scale, systematic collaboration.
Devcon
Talk
16:40
devp2p
Ethereum's Alex Leverington presents on "devp2p", Ethereum's networking protocol.
Devcon
Talk
16:18
Agreement Making in Solidity: A Legal Perspective
Bill Marino of Cornell Tech presents on Agreement Making in Solidity: A Legal Perspective.
Devcon
Breakout
07:57
The paradox of centralized tools doing accounting for decentralized finance
This talk is going to be about a paradox that has been prevalent since the early days of Cryptocurrencies. Cryptocurrencies were made to empower the individual, to be their own bank and to enable financial freedom without having to rely on centralized institutions. The paradox lies in the contradiction that when people want to do accounting or analytics for this new financial system they happily turn to centralized tools. This act enforces the status quo of finance being managed by centralized platforms and goes against the spirit of decentralization, undermining everything we are building. The talk will present multiple examples of this paradox in the world around us, from the way people do analytics (Blockfolio e.t.c.), to the way they do tax accounting (Bitcoin Tax e.t.c.). There will be some theorizing on why this is the case and underline why this is bad for the ecosystem and exceptionally dangerous for the people who utilize such services. Finally potential solutions to this problem will be presented, showing how a tool that performs decentralized financial analytics, accounting and tax reporting should look like in order to respect user's privacy and fit in this new era of decentralized finance we are now entering.
Devcon
Talk
20:03
Introduction to Consensus
Dominic Williams delivers a presentation on an "Introduction to Consensus".
Devcon
Breakout
20:31
Peers and Intermediaries in Indonesia’s P2P economy
While ‘peer-to-peer’ emerged as a technical term, growing traction means it is increasingly used to describe a wide variety of complex socio-economic transactions. Anthropologist Keith Hart observed that “A lot more circulates with money than the goods and services it buys. Money conveys meanings and these tell us how we make the communities we live in.” Arguably, the exchange of digital money also comprises far more than a simple financial transaction, and far more than can be summarised in an elegant acronym. Who are these so-called peers? Who are these (multiple) intermediaries, subtly obfuscated behind the ‘2’, and why do people rely on them? And what does disintermediation mean in such a context? This talk unpacks these questions, by drawing on ethnographic research on the use of digital payments in Yogyakarta, Indonesia. It analyses the various relationships between different types of users and the power and responsibility that the intermediaries have in configuring socio-economic dynamics when developing technology. The talk shows how ‘access’ to financial services and technologies is neither a binary nor static category. Rather, providing a viable technological alternative to conventional financial services means supporting people’s ability to transition flexibly between forms of digital and tangible money.
Devcon
Breakout
19:50
The Invisible Obelisk: Marshall McLuhan and Media Studies on the Blockchain
The so-called Toronto School media theorists, including Harold Innis, Walter Ong, and, most famously, Marshall McLuhan, pioneered a new way of thinking about media and communication technology. For them, innovations like the telegraph and railroad were not merely faster ways of transmitting the same messages that had ridden horseback a century earlier. Instead, they were fundamental re-fashionings of the core of human life, changing the speed, size, and internal dynamics of society itself.Similar transformative potential has been claimed for blockchain technology, specifically for its ability to create unique, non-duplicable data objects. But little thought has been given to exactly whatkind of transformations we're talking about. The Toronto school gives us tools for thinking about the nature of this pending change in detail, such as McLuhan's work on 'warm and cool' media and Innis' work on 'time binding vs. space binding' media. This presentation will be based on this chapter draft: https://medium.com/@dzanemorris/the-invisible-obelisk-mcluhan-on-the-blockchain-part-1-70b668c3778e. It will argue that blockchain tech, because it is both digital and durable, is a truly novel sort of media technology. It will explore how it is different from what came before, and consider some implications for the future. This application was solicited by Maria Paula.
Devcon
Talk
23:22
The Shape of Protocols to Come
Ethereum defies easy categorization—it blends aspects of money, nations, and more, yet doesn't fit neatly into any single category. To build better mental models for understanding Ethereum, we've spent the past two years stepping back and exploring the broader class it belongs to: Protocols. This talk explores the fundamental properties of protocols, strategies for navigating them, and how Ethereum can uniquely contribute to this emerging research field.
Devcon
Talk
26:00
How do we control the material world with smart contracts?
The long term vision for the Ethereum community has always been that car rentals, high finance and Cryptokitties would all co-exist on the same blockchain. However, some assets (like Cryptokitties) are purely digital whereas others are purely material (your house) and automatically subject to fiat regulation. How are we to manage fiat property using crypto tools? Vinay will present the results of several years of research in the practical legal technicalities of controlling fiat property from Ethereum smart contracts, with examples from a variety of real world use cases.
Devcon
Talk
22:18
Future of Open Hardware in a (Verifiable) Decentralised World
Matthias Tarasiewicz present his talk on the Future of Open Hardware in a (Verifiable) Decentralised World.