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