devcon 6 / compositionality the 10x engineer secret sauce
- YouTube
- IPFS
- Details
Compositionality: The 10x Engineer Secret Sauce
Duration: 01:52:11
Speaker: Fabrizio Romano Genovese, Philipp Zahn
Type: Workshop
Expertise:
Event: Devcon
Date: Oct 2022
Proponents of blockchains argue that compositionality is a key feature. What is compositionality though? Maybe surprisingly, there is a rich mathematical framework in which the concept can be made precise as a theory of systems. In this workshop, we provide a primer of that theory and we showcase two practical applications based on it: compositionality in game theory (open games) and in formal verification (automata). The workshop is aimed at devs. There are no mathematical prerequisites.
- Related
Devcon
Talk
17:05
Nano-payments on Ethereum
Piotr Janiu of Golem (http://golemproject.net/) presents on Nano-payments on the Ethereum blockchain
Devcon
Talk
30:33
A Modest Proposal for Ethereum 2.0
Vitalik Buterin gives his talk titled, "A Modest Proposal for Ethereum 2.0"
Devcon
Lightning Talk
07:19
MEV NFT: ERC-721 Fork for Blocking Atomic Arbitrage
Inspiration MEV (miner extractable value) is an issue that often times disbenefits the smaller consumers or traders. While traditional MEV research is mostly focussed on sandwich trades, we focus on one specific type of extractable value: MEV NFT! Let's illuminate the dark forest. In the talk we present a novel way to analyse and detect NFT arbitrage for more transparency. With that research we design a ERC-721 token that blocks malicious bots and could benefit consumers.
Devcon
Talk
09:40
Liquidity on Blockchains
Casey Detrio presents on Liquidity on Blockchains with Batch Auctions and Smart Markets.
Devcon
Talk
13:41
Synthetic Assets
Dominic Williams presents on Synthetic Assets at Ethereum's DEVCON1.
Devcon
Talk
20:54
A Standardized Business Model for Decentralized Insurance
We at Etherisc are building the first decentralized insurance on the blockchain. Decentralized means that we are not building a company only, but a standardized protocol and a platform on which many participants can build insurance products and trade risks.
Devcon
Talk
19:18
Dai Stablecoin
The process of developing the Dai Stablecoin System has matured significantly over the course of the last year. We innovated in the Ethereum community by being the first project to release a well-defined reference implementation, written in Haskell, for our proposed system. This effort has helped with the simplification of the system’s design, increased project efficiency, and has attracted the attention of formal verificiation specialists who now want to focus on Maker. It is becoming more and more likely that Maker will be the first non-trivial decentralized application to be formally verified before launch. In this proposed presentation, I would like to talk about the usefulness of rigorous specification and external reference implementations for the benefit of other Ethereum projects.
Devcon
Talk
21:39
Programmable Incentives: Intro to Cryptoeconomics
Karl Floersch presents their talk titled, "Programmable Incentives: Intro to Cryptoeconomics"
Devcon
Breakout
06:03
A review of short term interest rates of tokens in the Ethereum Defi space, why they exist and how to interact with those smart contracts
This a review of the current interest rate economics in the Ethereum space. A quick look at loanscan.io will show tons of projects interacting with each other to create lending and borrowing opportunities. We are here to review why they exist and show on a practical level how to interact with these smart contracts. Most use cases will be earning a high-interest rate or getting a loan of a cryptocurrency.How do you make sure your money is safe, what risks are you taking, how is this different than lending/borrowing money in the "real" world? We will go through a practical example of taking USD and entering the crypto world, interacting with a smart contract and earning interest. The hope is to teach anyone to do this in 10 minutes.
Devcon
Breakout
21:16
Economics of Ethereum 2.0
This will be a presentation reviewing the Ethereum 2.0 Economics for an average validator. The talk will highlight the validator economics based on the current spec that can be expected for Phase 0 and Ethereum 2.0 at a mature state. The presentation will result in a call for community feedback on the proposed economics, which will be done through a public facing Ethereum 2.0 calculator built by the EF and ConsenSys.