2019-10-01から1ヶ月間の記事一覧
1. Optimization techniques for EVM implementations 2. (e)WASM Code Golfing - Below Par with Nim 3. Yul, eWasm, Solidity: Progress and Future Plans 4. Wasm Precompiles for Eth 1.x 5. EVM Roundtable: Everything You Wanted to Ask, But Were Af…
1. Welcome Ceremony ~ key note sessions 2. Eth 1.x Explained 3. Eth 2.0 tldr 4. Ewasm: Past, Present, Future 5. Lightning Fast Light Clients for the Future of Ethereum 6. Eth 2.0 Light Clients: How Light is Light? 7. How Do We Make Dapps a…
0. Registration 1. State Channels Sumit: B10 2. An EVM-Based Formal Rules Language: B3 (だとおもう。。) 3. Japanese, Human-Readable Smart Contracts: B3 4. Building a Formally-Verified DApp with the Reach DSL, today!: B3 5. WASM and Rust: B…