Web 3.0 for developers

Agenda


Stage 1


11:00 - 12:00

Registration and Networking

 

12:00 - 12:05

Welcome remarks - ICC Team

 

12:05 - 12:50

Yaron Velner Formal Verification Researcher

Hello Solidity - We present the basic smart contract principles and what can be done and cannot be done with a smart contract.

Then we survey the solidity programming language and popular IDEs for it.

The session will be hands-on and attendees should install some packages before the talk.

Check out relevant links

 

12:50 - 14:40

The Hitchhiker's Guide to ZK: An Aleo Developer Workshop- Part 1&2

ZK application Howard Wu Co-Founder , Anthony DiPrinzio Head of Growth Aleo.org


Join Aleo for a preview of decentralized private applications built on Aleo Testnet3. This event will provide an overview of zero-knowledge and showcase how this technology will The workshop will cover the latest technical developments on snarkOS, snarkVM, & Leo. Attendees are encouraged to participate in open discussion, and join the growing cohort of developers building in the Aleo ecosystem. form the building blocks for the next wave of decentralized applications. During the workshop, Howard Wu (CTO & Co-founder) and Anthony DiPrinzio (Head of Growth) will demonstrate writing, running, and deploying ZK applications on Aleo.

Check out relevant links

 

14:40 - 15:25

Alberto Garoffolo, CTO @ Horizen Labs

zk-SNARK & Cross chain transfers

The following lecture will be about Lutos and Zendo:

Latus is a specific sidechain construction that leverages zk-SNARK techniques to establish decentralized and verifiable cross-chain transfers.

Zendoo is a universal construction for Bitcoin-like blockchain systems that allows the creation and communication with sidechains of different types without knowing their internal structure.


 

15:25 - 16:05

Panel Web 3.0: The infrastructure of opportunities

Alberto Garoffolo, CTO @ Horizen Labs, Howard Wu Co-Founder & CTO @ Aleo, Lior Rutenberg CTO @ SSV:Moriah Waterland, Web3.0 Architect Moderator: Shauli Rejwan, Co-Founder @ ICC

 

16:05 -16:35

Lunch Break

 

16:40 -17:20

Yaron Velner, Formal Verification Researcher

Smart contracts attacks and bugs

"what could possibly go wrong?" - Smart contract bugs led to losses of hundreds of millions of dollars. In this talk, we survey common attack vectors, bugs and anti patterns in smart contracts, and how to try and avoid them.

 

17:20-17:45

Ash Schap, Chief Strategy Officer @Risc Zero

Hyper structures: Free Infrastructure for the new internet

 

17:45 - 18:10

Panel Web3.0 Product and UX

Liora shlomi product manager , Zerion wallet. Esfir Eppelbaum, Co-founder and Chief Product Research and innovation focused on Web3, Tomer Weiss, Web 3 Product Manger.

 

18:10 - 19:00

Roy Osherove, Web 3.0 Developer - Test Driven Smart Contracts

Smart Contracts come with their own set of problems that require our attention. Not only can they have regular ol’ logical bugs, they are also immutable. A fine reason to pay much more attention to the tests we write, as well as to the security of our contracts. In this talk Roy Osherove focuses on writing test driven solidity code using Hardhat, Mocha, ethers and JavaScript, along with a few tips and tricks to keep the tests readable and maintainable over time. Target audience: mid and experienced solidity developers


 

19:00-21:30

Happy Hour


Stage 2



11:00 - 12:00

Registration and Networking

 

12:00 - 12:05

Welcome remarks - ICC Team

 

12:10 - 12:40

Sean Katz, Product Manager @ Stealth mode startup

# Hello World, it's Cosmos

In this session we’ll overview Cosmos from the lens of developers, bringing high-level concepts into code snippets & demos, and leaving you with pointers to get started

 

12:40 - 13:40

Eliezer Steinbock CEO, Exodia

Introduction to ERC 20 and ERC 721: How to build your own NFT contract

Eliezer discusses the different Ethereum token types, common mechanisms added to NFT mints and some new additions to the standard such as ERC721R.

 

13:50 - 14:35

Shahaf Antwarg Co Founder & CTO @ NFTrade - Web 3.0 events (logs) the Graph

 

14:35 - 15:20

Niv Mroch. Blockchain Developer @ SSV

Ethereum Staking - Become A Validator

Check out relevant links

 

15:25 - 16:05

Join Panel on stage 1

 

16:05-16:35

Lunch Break

 

16:40-17:25

David Ben Shimol, Co-Founder & CTO @ Grappa

Web3 messaging is a busy space with multiple approaches and solutions. Grappa develops reputation-based attestation models that allow messaging based on value. This workshop looks into how traditional communication infrastructures are being transformed in the web3 era. During this session, we will discuss the implementation of end-to-end messaging that enables private and secure interaction by harnessing zero knowledge proofs. Additionally, we would look at the problem space Grappa is tackling.

Check out relevant links

 

17:25-18:05

Hadar Rottenberg , Tech Lead @ GoodDollar

Bridges & DeFi - "Bridges architecture and their security models

Over a billion dollars have been stolen from bridges in the past year wshich makes it the to category in Defi hacks.

We'll cover the basic bridge architecture and the main security models employed by bridges.

On the last part we'll look at solidity code samples from a few bridges."


 

18:05-18:50

Nir Duan, Co-Founder & CEO @ Sayfer

Bridges Hacking 101 - Building bridges is a dangerous business.


Want to know how to think like a hacker? Want to learn a battle-tested methodology on how to attack bridges and other complex Web3 projects?

The following lecture will be a semi-interactive walk-through of how hackers (That's what we do!) approach to attack and exploit a bridge to steal its funds.

BONUS - We will reveal a new bridge hack we found for the first time!!

 

18:50-19:10

Chagit Riftin Saar, web3 product design

 

19:10-21:30

Happy Hour