devcon 2 / the browser solidity ide
Duration: 00:12:45
Speaker: Christian Reitwiessner
Type: Other
Expertise: Advanced
Event: Devcon
Date: Invalid Date
Introduction to Snarks
Blockchains are a hostile world were all information is public and computations are expensive. A technology called zkSNARKs is coming to the rescue: It allows both a tremendous speedup in verifying the correctness of a computation while at the same time it hides the private details from prying eyes. This talk tries to give an idea about how and why it works.
Formal Verification for Solidity
Christian Reitwiessner & Yoichi Hirai speak on Formal Verification for Solidity.
Blockchain Model Canvas
Blockchain Model Canvas
Shh! Whisper
Ethereum's Co-Creator Dr. Gavin Wood presents on Whisper (https://github.com/ethereum/wiki/blob...), the 'pitch black' P2P messaging protocol. Apologies for the poor video framing, individual slides can be found here - http://www.slideshare.net/gavofyork/w...
Casper the Friendly GHOST: A correct-by-construction blockchain
Vlad Zamfir presents their talk titled, "Casper the Friendly GHOST: A correct-by-construction blockchain"
New and future Features of Solidity
Update on how Solidity evolved in the recent months also showcasing features of Solidity in general and giving a roadmap for the future.
Farcaster frames: building embeddable Ethereum apps
Frames are an open standard for creating embeddable, interactive apps in social media feeds and on the web. They help solve one of the hardest problems for Ethereum dapp developers: distribution. Although frames originated on Farcaster, it's now possible to build cross-platform frames that work on Farcaster, Lens, XMTP, and the open web. In this hands on workshop we'll introduce the core concepts behind frames and build a simple frame app that interacts with a smart contract.
Keynote: Nomic Foundation’s vision for Ethereum’s tooling ecosystem
Nomic Foundation is the nonprofit behind Hardhat. Nomic’s co-founder and CTO will walk you through Nomic’s long-term vision for a community-driven developer tooling ecosystem for Ethereum.
Augur
Dr. Jack Peterson presents on Augur (http://www.augur.net/), an open-source, decentralized prediction market built on Ethereum.
Digital Identity
Christian Lundkvist of ConsenSys (https://consensys.net/) presents on digital identity.