Tezos

Since 2019-09, DaiLambda has worked on a small secret project called SCaml, a compiler for smart contracts for Tezos blockchain. Now reaching its pre-release status, we have revealed its existence in Tezos Smart Contracts: Programming Languages and Formal Verification on 2019-11-22.

SCaml is a statically typed purely functional programming language. It is a strict subset of OCaml, which is wildly used in computer science and finance including Tezos protocol implementation. It compiles a subset of OCaml to Michelson, stack based VM language for Tezos smart contracts.

In the last week of August 2019, I have done 2 summer class courses about “Blockchain and Formal verification” in Tokyo and Taipei.

The course consisted of 4 hours of lecture and 2 hours of “Tezos hands-on”. Blockchain is a live technology, and I believe we should provide some real experience – hands-on – if we teach something about it. I have done 4 Tezos hands-on including the above 2 already in this year and each time provided a hands-on kit, so that the attendants can play with Tezos as easy as possible. And there is no point to keep it secret. Here it is:

8月の最後の週、東京と台北でサマースクールの授業を二本持たせていただきました:

PPLサマースクール2019 「ブロックチェーンと形式検証」

8/26、 於 芝浦工業大学芝浦キャンパス

FLOLAC'19 「邏輯、語言與計算」暑期研習營

8/29、於 台湾大学

PPLのサマースクールは一日だけ、単一のテーマのものです。 FLOLACは10日連続のサマースクールの講義最終日に一日いただきました。 どちらも全長6時間、4時間私が喋った後は2時間 Tezos を使った簡単な実習を行いました。 内容もどちらも同じ。言語が日本語と英語くらいの違いしかありません。

In recent months, we DaiLambda have worked on Plebeia, an implementation of sparse Merkle tree disk storage. It is immutable: persistent and functional both in memory and on disk. It is optimized for data with relatively small sizes under 40 bytes which makes it suitable for blockchains such as Tezos. Plebiea can reduce the size of the current state repository of Tezos down to 1/10. More importantly, since Plebeia is a straightforward implementation of sparse Merkle tree, it can provide Merkle proofs of values easily to lightweight wallets which cannot carry the whole states of blockchain.

Plebeia is currently written in OCaml, but we are also porting it to F* for correctness proofs.

暑い。

先日、福岡に行きました。ブロックチェーンじゃないです。子供が 野球見たいxラーメン食べたい と四六時中言っているので福岡まで行ってきたんです。結果ホークスは負けました。ラーメンは美味しいいうて食べてました。

本日、東京の HashHub で「Tezos ハンズオン」を行いました。

HashHub は東京本郷にあるブロックチェーン特化したコワーキングスペースで、ブロックチェーン関連イベントなども定期的に開催されています。今回はこのHashHub様のスペースをお借りしてハンズオンを行いました。大粒の雨の中、申し込みをされた方の大半に参加いただきました。ありがとうございます。

本日、東京大学ブロックチェーンイノベーション寄付講座の茂木先生のご招待を受け、弊社代表取締役が「Tezosブロックチェーンと形式検証」というタイトルで発表をしてきました。

本日、大阪の Sigularity Hive で日本で初めての「Tezos ハンズオン」を行いました。

Singularity Hive は大阪にあるブロックチェーン技術に特化したコワーキングスペース(地下鉄心斎橋駅の真上にあります!)で、関西方面でのブロックチェーン技術コミュニティーのために様々なイベントを企画しておられます。この度、Singularity Hive の岡様のご提案を受け、日本で初めてになる Tezos ハンズオンをこちらで開催させていただきました。

(英語記事) TzScan ブロックエクスプローラのオープンソース版は https://tzscan.io で提供されている機能の一部がありません。 tzscan.io を使った開発を行なっている Tezos デベロッパはその依存について十分に理解する必要があります。

本日、エバーシステム様、DIWal様が主催された Blockchain Night #001というイベントで弊社代表取締役が「Tezos: 自己修正暗号台帳」というタイトルで発表してきました。