devcon 6 / symbolic computation for fun and for profit
- YouTube
- IPFS
- Details
Symbolic Computation for Fun and for Profit
Duration: 00:26:47
Speaker: Hari
Type: Talk
Expertise: Intermediate
Event: Devcon
Date: Oct 2022
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!
- Related
Devcon
Panel
53:04
The Showdown: Best Ethereum Language
This session will be an unconventional panel discussion. Instead of being boring and repeating the same things, we will spice things up a bit. The goal is to decide which is the best language for Ethereum. How do we find that out? Though a combination of "pub quiz" and on-stage activity (e.g. tug-of-war) between members of different language teams. The audience can chime in as well.
Devcon
Talk
24:59
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.
Devcon
Talk
33:04
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.
Devcon
Talk
27:00
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.
Devcon
Talk
11:52
Ethereum Meets the Outdoors
This talk will introduce Sikorka. It’s a system that allows smarts contracts to be deployed out in the open air. Users can interact with smart contracts deployed around them or deploy their own. We will see how Sikorka works, some of its use cases, the work done so far and what remains to be done.
Devcon
Talk
10:35
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.
Devcon
Lightning Talk
07:22
What's next in EVM
What is the future of the EVM? This talk will include an overview of proposals to the EVM, many listed and some detailed. It will try to explain the likely hood of adopting them and what needs to be done to make sure they get adopted.
Devcon
Workshop
1:24:46
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.
Devcon
Talk
17:35
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.
Devcon
Talk
42:00
Solidity, Vision and Roadmap
Dr. Gavin Wood and Dr. Christian Reitwiessner present the vision and roadmap of Solidity, the smart contract programming language.