Use calldata inscriptions as contract parameters and .country top domains as service staking. Simply substitute all variables and shortcut all logics from a program template – like a whole-program-optimization or partial evaluation in compilers.
No transaction indexing, web frontend, contract signing, wallet support. No upgradable contract, security council, governance tokens, emergency votes.
E.g. How to secure tokens for recurring transactions against key loss? First, send $100k tokens to the contract’s custody address to initialize. Second, either of predefined wallets A or B can send some token to the contract’s reload address to trigger sending $100 to a predefined hot wallet C.
Speaker: OCaml meta-compiler, now bringing formal security to Web3 with minimal dependent types.
Stephen Tse has been obsessed with protocols and compilers since high school. He coded in OCaml for 15 years, and graduated with a doctoral degree in security protocols and formal verification at Penn. Stephen worked at Microsoft Research, Google Maps infrastructure, and Apple Maps search ranking.
EthDenver 2022 main stage, https://www.youtube.com/watch?v=mU8YrwOBz50
Mcon 2021 with Paller, https://www.youtube.com/watch?v=F602HTBzzBk
LisCon 2021 side event, https://www.youtube.com/watch?v=osrElJAHN0E
EthDenver 2021 online, https://www.youtube.com/watch?v=ZUamr7wDZfM
Shanghai 2019 main stage, https://www.youtube.com/watch?v=p28BtJcj2wY
49 miles per hour for a swallow, but 200 milliseconds with 1-second finality for $spork.
Zi Wang worked on Google Chrome, Google X, Android and Nexus from 2006-2015. He was Google’s first global creative director for its hardware and founded a Google research lab. Zi founded Quantum Bakery, a startup partnering with Google, Corning and Toyota on ambient intelligence.
Zi Wang worked on Google Chrome, Google X, Android and Nexus from 2006-2015. He was Google’s first global creative director for its hardware division and co-founded a Google research lab.
Zi founded Quantum Bakery, a startup partnering with Google, Corning and Toyota to develop consumer products with ambient intelligence. He holds a bachelor’s degree in computer science and a master’s degree in economics.