Tezosに参加しました

7月からDaiLambda社さんのお手伝いとして暗号通貨Tezosの仕事をしています。

Tezosとは

TezosはOCamlとCoqを使って開発されているブロックチェーンプロトコルであり、暗号通貨の名前でもあります。スマートコントラクト言語 Michelson が静的型付き言語であったり、そのインタープリターが純粋関数的に提供されていたり、形式検証に非常に力を入れているような印象があります。

京都に引っ越すの?

引っ越しません。日本のTezosコア開発の拠点は京都にありますが、私は関東の自宅からフリーランスという形でお手伝いしようと考えています。

おわりに

これからもモリモリ証明していきます୧( •̀ㅁ•́๑)૭✧