Loading…
Thank you for attending TruffleCon 2019!
Feel free to use this scheduler to customize your Truffle experience.
View topics, speakers, time and availability. You can also let us know how each session you attended went so we can make your experience even better! 

Sign up or log in to bookmark your favorites and sync them to your phone or calendar.

Hands-on Workshop [clear filter]
Friday, August 2
 

9:00am

Building Enterprise Blockchain Applications
This workshop shows spinning up the Azure Blockchain service, developing, testing with VSCode+Truffle and doing formal verification with VeriSol of, deploying and interacting (with Drizzle) contracts

This session has an attached slide deck.

Speakers
avatar for Cale Teeter

Cale Teeter

Software Engineer, Microsoft
avatar for Chris Segura

Chris Segura

Sr. Program Manager, Microsoft
avatar for Jason M. Anderson

Jason M. Anderson

Product Lead for Azure Blockchain Service, Microsoft
avatar for Shuvendu Lahiri

Shuvendu Lahiri

Sr. Principal Researcher, Microsoft



Friday August 2, 2019 9:00am - 12:30pm
St. Helens Microsoft Building 33, 16070 NE 36th Way, Redmond, WA 98052, USA

9:00am

Deploying and Interacting with Smart Contracts on Thunder
Speakers
avatar for Tariq Bugrara

Tariq Bugrara

ThunderCore
avatar for Julien Tregoat

Julien Tregoat

Software Engineer, ThunderCore


Friday August 2, 2019 9:00am - 12:30pm
Kodiak Microsoft Building 33, Northeast 36th Way, Redmond, WA, USA

9:00am

Gas Estimation and Optimization Deep Dive
A rich overview of advanced gas topics in Ethereum. Starting with a high-level overview of gas and it's role in Ethereum. Quickly followed by a short background on Gas Estimation and some of the nuances/difficulties (Ex: All but 1/64 rule, gasLeft(), binary searching the VM for estimates etc). Featuring a high-level overview of some techniques developed at Truffle to significantly improve the efficiency of gas estimation (gasExactimation). The second half of the demonstration will be a workshop with hands-on examples of several techniques to optimize contracts.


Speakers
avatar for Nick P.

Nick P.

Blockchain Developer & Engineer, Truffle Blockchain Group
avatar for David Murdoch

David Murdoch

Software Development Lead, Truffle Blockchain Group
Ganache is his middle name...


Friday August 2, 2019 9:00am - 12:30pm
Hood Microsoft Building 33, Northeast 36th Way, Redmond, WA, USA

9:00am

Push It! Push It Real Good: Truffle Teams Intro & Deployments
Be the first to try our easier-than-ever Smart Contract deployments! In addition to this TruffleCon-exclusive first look at Truffle Teams Deployments, we'll cover the entire Truffle Teams life-cycle: setup Truffle Teams, see your tests fail in an automated build, see your tests pass after committing a fix, deploy your build to a testnet, and monitor its transactions. If we have time left over, I will help answer any other questions and even help setup your personal project with Truffle Teams.

This session has an attached slide deck.

Speakers
avatar for Mike Seese

Mike Seese

Truffle Teams Tech Lead, Truffle Suite
Although you’ll often find him wearing several hats, Mike Seese currently serves as the Technical Lead for Truffle Teams. In addition to providing a cohesive integration of Truffle Suite's tools in a collaborative service, he strives to bring the modern development experience to... Read More →



Friday August 2, 2019 9:00am - 12:30pm
Rainier Microsoft Building 33, Northeast 36th Way, Redmond, WA, USA

1:30pm

Formal Verification of Smart Contracts Using KEVM
This workshop introduces the K framework (K), the canonical formal semantics of the Ethereum Virtual Machine (EVM) in K called KEVM, and shows how to use KEVM to formally verify smart contracts at the EVM bytecode level. It also briefly shows how to use KEVM to execute smart contracts in Truffle using the Firefly tool. Our plan is to eventually connect the KEVM verifier with Microsoft's Verisol tool presented in the previous workshop, where the correctness proofs are pushed from high-level Solidity code to low-level EVM bytecode, thus eliminating trust in the Solidity compiler and closing the gap between what is verified and what is executed. Also, through KEVM, we intend to make all the benefits and tools of the K framework available to the users of Truffle.

This session has an attached slide deck.


Speakers
avatar for Grigore Rosu

Grigore Rosu

CEO, Runtime Verification
Grigore Rosu is a professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Formal Systems Laboratory (FSL), and the president and CEO of Runtime Verification, Inc (RV). His research interests encompass both theoretical... Read More →
avatar for Everett Hildenbrandt

Everett Hildenbrandt

Runtime Verification, Inc.



Friday August 2, 2019 1:30pm - 5:00pm
Rainier Microsoft Building 33, Northeast 36th Way, Redmond, WA, USA

1:30pm

How to Build Secure Smart Contracts: A Deep Dive into Automated Tools
In this workshop, Josselin will present how to use modern program analysis techniques to build secure smart contracts. Through hands-on manipulations, we will see how to integrate Slither, a static analysis platform, Echidna, a smart contract fuzzer, and Manticore, a symbolic execution engine, into a Truffle project. The attendees will discover how these techniques work and how to use them efficiently. All the exercises will be performed on open source tools.
Links: https://github.com/crytic/slither
https://github.com/crytic/echidna
https://github.com/trailofbits/manticore

Speakers
avatar for Josselin Feist

Josselin Feist

Senior security engineer, Trail of Bits


Friday August 2, 2019 1:30pm - 5:00pm
St. Helens Microsoft Building 33, 16070 NE 36th Way, Redmond, WA 98052, USA

1:30pm

How to Sweeten the UX of your dApp
Blockchain development is still the new kid on the block *pun intended :) So how do you speed up mass adoption for your dapp? Here at Truffle, we believe thoughtful UX design will be the difference that sets your dapp apart from the rest...so what does that look like? In this workshop, we discuss some of the main user experience design trends, UX best practices, design guidelines and things to consider in order to create a sticky sweet app that people will love.

This session has an attached slide deck.

Speakers
avatar for Shay Magro

Shay Magro

Director of UX/UI, Truffle Blockchain Group
As Truffle’s Director of User Experience Design, Shay is driven by understanding the needs of our users in order to help shape and provide the best product and sweetest service offerings possible. With experience in social media strategy and user experience design, Shay aims to... Read More →
avatar for Josh Quintal

Josh Quintal

Head of Product & Marketing, Truffle
Josh Quintal currently serves as the Head of Product and Marketing at Truffle. Josh is passionate about where the user meets the tech; this led to the creation of two products, Truffle Boxes and Drizzle. He also created "Pet Shop", one of Ethereum's most used beginner tutorials. Fun... Read More →



Friday August 2, 2019 1:30pm - 5:00pm
Hood Microsoft Building 33, Northeast 36th Way, Redmond, WA, USA

1:30pm

RSK Integration with Ganache
n this workshop Alejandro will explain in detail  rsk, it's integration with Ganache which is aimed at making easier for developers using smart contracts, manage the node, and create dapps to the Bitcoin ecosystem through RSK smart contracts platform


Speakers
avatar for Alejandro Banzas

Alejandro Banzas

Product Lead RSK/RIF, IOV labs


Friday August 2, 2019 1:30pm - 5:00pm
Kodiak Microsoft Building 33, Northeast 36th Way, Redmond, WA, USA