devcon 2 / remix and other ethereum development tools
Duration: 00:17:02
Speaker: Yann Levreau
Type: Talk
Expertise: Advanced
Event: Devcon
Date: Invalid Date
Dapp Development using Remix, Mist, and Geth
Yann Levreau and Rob Stupay give their talk titled, "Dapp Development using Remix, Mist, and Geth"
What would Solidity 1.0 and 2.0 look like?
Solidity has quite a long history already, especially in terms of "crypto years". Yet, the project has not yet reached the "magical" 1.0 release. This talk is discussing what the language could look like reaching 1.0; and going beyond reaching 2.0.
Updates from the Solidity Team
In this talk we will give an overview of what the Solidity team has worked on in 2017/2018 and what our plans our for the next year. It will cover features, challenges and plans.
Symbolic Computation for Fun and for Profit
How symbolic computation in EVM / Solidity works, end-to-end. I'll try to give insights on problems that can be solved efficiently, forming constraints, relaxations, how to build custom solvers from scratch, and produce computer proofs. We'll be saving gas!
Solidity, Vision and Roadmap
Dr. Gavin Wood and Dr. Christian Reitwiessner present the vision and roadmap of Solidity, the smart contract programming language.
Truebit - Trying to Fool a Blockchain
How to use interactive verification for offloading computations, providing help in scaling and giving a proper incentivisation scheme for doing computationally-intensive work.
Hardhat 3 Preview: Overhauled & Rust-Powered
The Hardhat team has been working continuously over the past two years to redesign and rewrite Hardhat from the ground up, including a major migration to Rust. This talk will explore the problems and solutions that the upcoming release of Hardhat 3 will focus on: performance, Solidity tests, correct L2 network simulation, and a comprehensive deployment system.
Truffle Development Ecosystem and Future of Ethereum Development Tools
Truffle Development Ecosystem and Future of Ethereum Development Tools A presentation on the Truffle development ecosystem which encompasses a number of different tools including the Truffle development framework. There will be a demo of new features as well as talk about future plan, keeping an eye toward writing code that benefits the whole Ethereum community and not just Truffle users, focusing on development processes, blockchain simulations, testing, using live chain data for testing and development, and on-chain package management.
Import Geth Ethereum from Go and beyond
Teaser presentation about using go-ethereum as a library in other projects: running embedded nodes; interfacing native DApps; Android and iOS support.
Formal Verification of Smart Contracts
Yoichi Hirai gives their talk on Formal Verification of Smart Contracts.