- 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: Building Blocks for Blockchain: B3
- 6. Decentralized UX Problem Solving with Bounties Network and Rimble: B3
0. Registration
registration done. 4gのsimカードも配ってた。チケット高いだけある。
— Yukishige Nakajo(1ウェイ教) (@nakajo) October 8, 2019
英語しか飛び交ってないから海外きたみたいやw#devcon5 pic.twitter.com/Q8xe5FtSA4
チケットは事前に準備してたので、registrationは難なく突破。
I got it.#devcon5 pic.twitter.com/sHRJKTdTvM
— Yukishige Nakajo(1ウェイ教) (@nakajo) October 8, 2019
次に、おみやげも無事にゲット。これも会場向かう途中にALISの石井さんに@sot528教えてもらってたので。(QR必要ですよ!ってのも教えてもらっていたけど、registrationで使うチケットとのことだと思ってたら、実はswagは別のチケットQR発行されてるの知らなくてワタワタしたのは内緒w)
ちなみに、おみやげの中に「タオル」があったんだけど、このタオル、ジャパニーズタオル(手ぬぐい)と普通のタオルから選べる形式だった。で、swag受付してる人がなぜか手ぬぐい推しで、手ぬぐい選ぶとすっごい勢いで いいね!してきてたのが印象的だったw 普通のタオルに変えようとしたらまじで!?って顔もしてくるしw
1. State Channels Sumit: B10
https://t.co/b7PiibXAdS
— Yukishige Nakajo(1ウェイ教) (@nakajo) October 8, 2019
connext のスピーチ中。human usuableなstate channelの話。というかconnext v2の話ぽい。
2収監後にリリースなのかな?#devconv #devcon5
残りの問題点。
— Yukishige Nakajo(1ウェイ教) (@nakajo) October 8, 2019
1. Treat the channel just like a wallet.
2. Transfers to offline recipients.
3. Plug-in state backup for the user.
最後うつせなかった。。。。#devcon #devconv #devcon5
フードコーナーとか少しぶらぶらした後、B10ルームのstate channels sumitに参加。connextがちょうどスピーチ中だったかな?
2. An EVM-Based Formal Rules Language: B3 (だとおもう。。)
smart contract search engine.https://t.co/PtdDM7U6pB#devcon #devcon5
— Yukishige Nakajo(1ウェイ教) (@nakajo) October 8, 2019
llvmつかってewasmバイナリーにコンパイルする話だったぽい。#devcon #devcon5 pic.twitter.com/lXSzikfOvT
— Yukishige Nakajo(1ウェイ教) (@nakajo) October 8, 2019
smart contract search engineとsollだったかな?LLVMのコードを中間コードとして挟むことで、SolidityをEVMとWASMの両方のbytecodeにコンパイルする話だった。途中から入ったので、多分、rule engine的な話があったんだろうけど聞けてない。。。
3. Japanese, Human-Readable Smart Contracts: B3
human readable code. by lexon#efdevcon #devcon #devcon pic.twitter.com/bVDiQ4F7Ja
— Yukishige Nakajo(1ウェイ教) (@nakajo) October 8, 2019
http://demo.lexon.tech/apps/editor/ ここで試せる。パッと見たときにcoffee scriptっぽい(coffee scriptのtest環境と見た目が似てたからw)って思った。
自然言語に近いコードをSolidityにtranslateするもの。日本語の場合が云々って話をしてた。その後、近くに座ってた人が日本語打てる?って聞いてきたので一緒に日本語で試してみたけど、まだ、日本語はtranslateできないっぽい。
日本語 -> 英語がpairでマッピングはできないからその辺りを決めていかないと難しいねーって話をした。(なお会話は全て日本語w)
伝言ゲームでスマコン作られてるのが今。#efdevcon #devcon pic.twitter.com/osGyKdWjIl
— Yukishige Nakajo(1ウェイ教) (@nakajo) October 8, 2019
それがこうなると。 pic.twitter.com/9Ks0ibcJNQ
— Yukishige Nakajo(1ウェイ教) (@nakajo) October 8, 2019
まとめの話。この辺も興味深かった。code is lawに繋がっていくと。
4. Building a Formally-Verified DApp with the Reach DSL, today!: B3
普通のアプリより簡単に作れるDaapsとな。。。 pic.twitter.com/VUPhrwxGQw
— Yukishige Nakajo(1ウェイ教) (@nakajo) October 8, 2019
普通のアプリの”ように”Dappsが作れるようになりますよって話。
live codingしてくれてたんだけど、結構内容が面白くて見入ってて写真とってないや。。。
新しい言語でコードを記述していく形のもの。形式証明もするので関数型に近い表記方法だった。
すごい!と思ったのは1つのコードで、on/off-chain コード生成とformal verificationがされていたこと。素直に感動した。
5. WASM and Rust: Building Blocks for Blockchain: B3
わし!#efdevcon #devcon #devcon5 pic.twitter.com/0ZKKwa8nNA
— Yukishige Nakajo(1ウェイ教) (@nakajo) October 8, 2019
WASIについて知らなかったけど、花村さんが良いページをツイートしてくれていたので掲載。
— Nao Hanamura (@naomasabit) October 8, 2019
WASIを搭載?ベース?にした新しいブロックチェーンの紹介だった。ちょっと思ってたのと違った。(多分多くの人が同じ感想だったのか、最初は人が多かったのが、新しいブロックチェーンの話ってわかるとかなりの人数席を立ってた。。。。)
スピーカーが学生で初めてのdevcon参加ってのに色々衝撃を受けた。すげー。。。
6. Decentralized UX Problem Solving with Bounties Network and Rimble: B3
rimboを使ったプロジェクト。
— Yukishige Nakajo(1ウェイ教) (@nakajo) October 8, 2019
issuehuntと似てるね。というか多分同じ。https://t.co/OjFyyD0rJr#efdevcon #devcon #devcon5
最後は、UXというかもろにUIのためのライブラリ群とそれを使ったプロジェクトの話(?)っぽかった。門外漢だったので英語もさっぱりわからなかった。(聞き慣れた単語が少なすぎて。。。)
なんとなく、雰囲気としてはUX問題はあるから、みんなで解決しようねみたいな話なのかなぁ・・・・?って思った。
「UX」ってタイトルについてたからなのか、それまでのセッションとは違って、見た目からオサレな人が多かった。
以上、自分のツイット見返しての雑なDevcon5 - 1日目のまとめでした。
セッション数がすごい多いので、一人じゃ聞きたいものすら時間被ってて聞けない。。。。後から出てくるみんなのレポートが凄く楽しみ!!