{"height":"190","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fy-nakajo.hatenablog.com%2Fentry%2F2019%2F10%2F09%2F021043\" title=\"Devcon5 - Day 1 Rough Report - \u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3068\u304b\u30aa\u30fc\u30c0\u30fc\u3068\u304b\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","published":"2019-10-09 02:10:43","categories":["Report","Devcon5","Ethereum"],"description":"0. Registration 1. State Channels Sumit: B10 2. An EVM-Based Formal Rules Language: B3 (\u3060\u3068\u304a\u3082\u3046\u3002\u3002) 3. Japanese, Human-Readable Smart Contracts: B3 4. Building a Formally-Verified DApp with the Reach DSL, today!: B3 5. WASM and Rust: Building Blocks for Blockchain: B3 6. Decentralized UX Problem Solvin\u2026","type":"rich","version":"1.0","provider_url":"https://hatena.blog","title":"Devcon5 - Day 1 Rough Report","author_name":"y_nakajo","width":"100%","url":"https://y-nakajo.hatenablog.com/entry/2019/10/09/021043","blog_title":"\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3068\u304b\u30aa\u30fc\u30c0\u30fc\u3068\u304b","provider_name":"Hatena Blog","image_url":null,"blog_url":"https://y-nakajo.hatenablog.com/","author_url":"https://blog.hatena.ne.jp/y_nakajo/"}