devcon 7 / challenges developing and maintaining open source software in web3
Duration: 00:09:05
Speaker: Everett Hildenbrandt
Type: Lightning Talk
Expertise: Beginner
Event: Devcon
Date: Nov 2024
KEVM: Overview and Progress Report
Since the IC3 Crypto Boot Camp, we have been extending the KEVM semantics in several directions. At the time, we only supported the VMTests from the Ethereum Test Suite, it was somewhat difficult to write properties and proofs about programs in EVM, and EVM-PRIME was a simple demonstrative toy language. This session will cover the progress so far in addressing these issues, as well as our goals and intentions for the semantics moving forward. In particular, we are focused on providing tools to ease the process of writing and proving specifications about programs written in high-level languages. Everett Hildenbrandt is a CS PhD student at University of Illinois Urbana-Champaign studying formal methods and programming languages. He is focused on improving the scalability of symbolic reasoning for applications in both distributed and physical systems. In the context of blockchain systems, he is interested in formalizing the semantics of both the underlying languages used and the consensus protocols. To this end, he recently led the KEVM project which developed an executable mathematical model of the EVM in the K Framework.
Austin Griffith – Intro to Scaffold-ETH 2 and SpeedRunEthereum!
In this session, we’re going to dive into Scaffold-ETH v2, a toolkit we built to make developing on Ethereum way easier. We’ll take a look at how it works, why it’s super useful for quickly spinning up projects, and how we can use it to tinker with smart contracts and hook up the frontend. ⚙️ Scaffold-ETH 2 is built using NextJS, RainbowKit, Foundry/Hardhat, Wagmi, Viem, and Typescript. Whether you’re new or experienced, we’ll get you to SpeedRunEthereum!
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.
Build and deploy an onchain app in 80 minutes!
We will tinker with Solidity, build out a frontend, deploy the contract, and ship an app onchain—all in 80 minutes with state-of-the-art tooling.
Building FullStack apps on Ethereum - SpeedRunEthereum3
In this session, we’ll build a fullstack app on Ethereum using Scaffold-ETH v2. We’ll follow along SpeedRunEthereum, a set of challenges that helps you quickly get hands-on with building on Ethereum. Together, we’ll create a simple Decentralized Staking App—an app that lets users lock up their tokens & earn rewards. This session is great for both beginners and more experienced devs looking to level up their skills and get practical with Ethereum.
Prize-Worthy: An Ethereum Python Hackathon Guide
An interactive and beginner-friendly Ethereum Python Speedrun tailored for hackathons, hosted by the EF Python team. Quickly get up to speed with fundamental building blocks, then stack them into a live application. By the end of this workshop, you'll have a clear idea of how to get your own projects off the ground.
Formal Verification
Phil Daian, Everett Hildenbrandt, Yoichi Hirai, Loi Luu, & Reto Trinkler discuss Formal Verification.
Build your first onchain game with MUD in 5 minutes
Have you ever wanted to build a game that runs fully onchain, but didn’t know where to start? In this lightning talk, Alvarius will walk you through the basics of MUD, an application framework designed for games and autonomous worlds, and build a minimal onchain game from scratch. Learn the basics, learn the tooling, and learn where to go to keep learning and building after this session.
Building developer communities 101
Even though there are a large number of communities in the web3 space, most of them get into the events trap and lose out on building an organic builder community. In my lightning talk, I will cover a series of tips and tricks from my experience of building developer communities.
Learn Huff to become an EVM chad
Become an EVM chad by learning Huff, a low level assembly language for the EVM! On top of being able to write super duper optimized smart-contracts, Huff will teach you how the EVM works under the hood and will let you master high level languages like Solidity or Vyper.