Blockchain

Tezos ブロックチェーン のためのスマートコントラクト記述言語 SCaml、チュートリアルの第3回目です。

今回はTezosブロックチェーンにアクセスするコマンドラインウォレット tezos-client の実習です。

Tezos ブロックチェーン のためのスマートコントラクト記述言語 SCaml、チュートリアルの第2回目です。

今回はブロックチェーンとTezosの概観です。

Tezos ブロックチェーン のためのスマートコントラクト記述言語 SCaml、チュートリアルの第1回目です。(この内容は 2020-03-21 にやった SCaml ハンズオンの資料を手直ししたものです。)

今回は演習の準備です。

SCaml という Tezos ブロックチェーン のためのスマートコントラクト記述言語とコンパイラを作って元旦にリリースしました。

• コンセプトの紹介(英語)
• リリースのお知らせ(英語)
• プロジェクトページ
• レポジトリ
• 第0回: コンセプトの説明
• 第1回: 準備
• 第2回: 概観
• 第3回: ウォレット操作
• 第4回: スマートコントラクトのデータ型
• 第5回: はじめての SCaml コントラクト
• 第6回: もう少し複雑なコントラクト。パラメータとストレージ
• 第7回: 投票コントラクトを書いてみる

Happy new year! We have just done our first release of SCaml, version 1.0 “Pyramid”.

SCaml is yet another OCaml compiler to Michelson VM used for Tezos blockchain.

SCaml’s primary goal is to build a fully working high-level programming language for smart contracts with the least efforts. For this purpose we have decided to make it over an existing language and chose OCaml as the base. We avoided adding any extra language feature. Primarily it was to reduce the development cost, however we soon found several benefits of keeping it a strict subset of OCaml. OCaml programmers can write smart contracts in SCaml immediately without lots of surprises. Tools around OCaml can be used for SCaml almost for free, and so on. For more details, please read our previous post “SCaml: it’s not a scam”.

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 を使った簡単な実習を行いました。 内容もどちらも同じ。言語が日本語と英語くらいの違いしかありません。

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

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