アルゴリズムとかオーダーとか

仕事で勉強したことなどをまとめてます

2019-10-09から1日間の記事一覧

Devcon5 - Day 1 Rough Report

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…