DaiLambda, Inc.

Tezos operations: how to build, simulate and inject

Sun, 30 Apr 2023 00:00:00 +0000

This article explains the details how Tezos wallets originate (= deploy) smart contracts, without using any wallet, with a working OCaml code!

To read the code you have to be familar with OCaml.

The whole code is available at https://gitlab.com/dailambda/tezos-origination-demo.

RPC via JSON

JSON

We can access Tezos nodes via RPC and they talk in JSON over HTTP. Don’t confuse it with JSON-RPC.

Here is a small module Json to handle JSON data. It is based on Data_encoding. Tezos protocol provides lots of t Data_encoding.t to encode its data to+from JSON and binary and we use them in this example.

Nagoya Web3 Hackathon で Tezos のチュートリアルを行いました

Mon, 21 Nov 2022 00:00:00 +0000

I had “Block chain and how to build Tezos DApps” tutorial at Nagoya Web3 Hackathon organized by Nagoya Web3 Society, using SmartPy and Taquito. It was very challenging for me to cover from the very basics of blockchain to how to use these Tezos tools in a limited time (about 100mins), but the participated teams had smalll but nice ideas to implement in the later session.

先日、名古屋大学Web3研究会主催の Hackathon で Tezos で DApps を書くためのチュートリアルを行いました。

Tezos+Plebeia context subsystem benchmark

Fri, 10 Jun 2022 00:00:00 +0000

Introduction

As Tezos core developers, we DaiLambda and Tarides are working together to improve the perfomance of Tezos context: the version controlled store of Tezos block chain states.

DaiLambda has Plebeia, an append-only style data storage system based on Merkle Patricia binary tree. It is similar to Irmin by Tarides used for the Tezos context but incompatible. DaiLambda and Tarides have worked together to improve the performance of Tezos context subsystem, sometimes using what we have learned from Plebeia. For example, we provided the context tree for faster file access from the middle of the directory tree. Our context flattening done at Hangzhou upgrade speeded up the node by 30%. Recently, we have worked together to provide efficient Merkle proof encoding of Tezos context, using the idea of extender nodes of Plebeia, which will be used for the layer 2 solutions introduced in Tezos Jakarta upgrade.

Proposal of Micheline encoding optimization

Mon, 23 May 2022 00:00:00 +0000

Summary

The encoding of Micheline has several points to be improved. We propose to extend it to reduce the encoding size. Our quick survey shows that the possible size reduction is -22%.

The size reduction directly affects the storage burn fee. It should also improve the context disk access and reduces the storage access gas costs.

The new enconding is not yet implemented. The extension may have runtime overhead of the serialization but we expect it minimum.

Gradual migration to remove garbage files from Tezos context

Sun, 22 May 2022 00:00:00 +0000

Abstract

We are developing a technique of gradual migration to perform huge context modification at a protocol upgrade in multiple blocks to reduce the migration downtime ultimately to an unnoticeable level.

As the first example of this gradual migration, we plan to remove garbage files spendable left in 283K contract directories in Tezos mainnet. They should have been removed at the Babylone upgrade but some were left untouched until today.

Optz Michelson オプティマイザをリリースしました

Wed, 27 Apr 2022 00:00:00 +0000

Optz は Tezos ブロックチェーンのスマートコントラクトで使われている Michelson プログラムの最適化器です。 Optz は Michelson プログラムを入力として受け取り、(可能ならば)最適化を行って同じ動作をするより小さい、効率的な Michelson プログラムを出力します。

First release of Optz Michelson optimizer

Tue, 26 Apr 2022 00:00:00 +0000

We have released Optz, an optimizer of Michelson programs, the base language for Tezos smart contract. It takes a Michelson code as input and then returns a smaller and more efficient equivalent code.

Optimization of Michelson opcode sequences

The optimization consists of 2 parts: rule-based transformation and optimal stack manipulation search by A* algorithm.

Rule based code transformation

Dozens of rewriting rules replace opcodes with better ones, such as:

PAIR; CDR  =>  DROP
   
DIP n { a }; DIP n { b }  =>  DIP n { a; b }
   
SWAP; op  =>  op  # when op is a commutative binary operator
   
NOT; IF { a } { b }  =>  IF { b } { a }

Search for the optimal stack manipulation sequences

A* algorithm finds the most optimal sequence of stack manipulation opcodes such as DROP, SWAP, DIG, DUG, DIP, DUP, and the push only opcodes like PUSH and EMPTY_SET. For example, the following opcode sequence :

DIG 1; DUP 1; DUG 2; PUSH c0; DIG 2; PUSH c1; DIG 4

is replaced with a shorter equivalent one:

Optz: Michelson optimizer

Wed, 13 Apr 2022 00:00:00 +0000

Optz is an optimizer of Michelson programs, the base language for Tezos smart contract. It takes a Michelson code as input and then returns a smaller and more efficient equivalent code.

Optimization of Michelson opcode sequences

The optimization consists of 2 parts: rule-based transformation and optimal stack manipulation search by A* algorithm.

Rule based code transformation

Dozens of rewriting rules replace opcodes with better ones, such as:

PAIR; CDR  =>  DROP

DIP n { a }; DIP n { b }  =>  DIP n { a; b }

SWAP; op  =>  op  // when op is a commutative binary operator

NOT; IF { a } { b }  =>  IF { b } { a }

Search for the optimal stack manipulation sequences

After the rule-based transformation, A* algorithm finds the most optimal sequence of stack manipulation opcodes such as DROP, SWAP, DIG, DUG, DIP, DUP, CAR, CDR, PAIR, UNPAIR, and the push only opcodes like PUSH and EMPTY_SET. For example, the following opcode sequence found in an existing contract in Tezos mainnet:

Tezos via JSOO - 03, Structured value

Wed, 13 Apr 2022 00:00:00 +0000

This mini tutorial series shows how to access Tezos network from web browsers using JSOO, js_of_ocaml library. This is the 3rd tutorial. The previous tutorials are available at:

Structured value from Tezos RPC

In the last tutorial, we have got the balance of an account. Tezos account balance is returned as a JSON string like "12345678". We used JS’s JSON parser _JSON##parse to convert it to a JS string, then to an arbitrary precision integer Z.t.

Tezos via JSOO - 02, Account balance

Mon, 11 Apr 2022 00:00:00 +0000

This mini tutorial series shows how to access Tezos network from web browsers using JSOO, js_of_ocaml library. This is the second tutorial. The first one is available at:

01, Node access

Balance of an account

To get the balance of given account, we can use RPC endpoint

GET /chains/main/blocks/<block_id>/context/contracts/<contract_id>/balance

which is described here. Let’s get the balance of the account tz3RDC3Jdn4j15J7bBHZd29EUee9gVB1CxD9 via this RPC. Its URL is https://mainnet.smartpy.io/chains/main/blocks/head/context/contracts/tz3RDC3Jdn4j15J7bBHZd29EUee9gVB1CxD9/balance:

$ curl https://mainnet.smartpy.io/chains/main/blocks/head/context/contracts/tz3RDC3Jdn4j15J7bBHZd29EUee9gVB1CxD9/balance:
"423271651423"

It returns double-quoted string of an integer, the balance of the account in mutez, micro tez. Therefore the above tells us the account has 423,271,651,423 mutez, that is 423,271.651,423 tez.

Tezos via JSOO - 01, Node access

Thu, 07 Apr 2022 00:00:00 +0000

This mini tutorial series shows how to access Tezos network from web browsers using JSOO, js_of_ocaml library.

Please note that this Tezos+JSOO is not a mainstream Tezos off-chain programming at all. Usually it is recommended to use more popular framework such as Taquito. That being said, some people who are proficient in OCaml like us in DaiLambda may find this tutorial interesting.

This tutorial assumes that the reader knows how to use OCaml, Lwt, and JSOO.

ブロックチェーンと形式検証～ Tezos の場合

Sun, 06 Mar 2022 00:00:00 +0000

2022年3月6日、弊社代表取締役古瀬淳が日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022) にて「ブロックチェーンと形式検証～ Tezos の場合」という招待講演を行いました。

現時点での Tezos での形式検証活動のそれなりのサーベイになっていると思いますので、概要と使用したスライドを公開します。

Kukai, Temple での legacy, HD wallet の扱い

Sun, 16 Jan 2022 00:00:00 +0000

非 HD wallet 情報の Kukai と Temple へのインポートについて。

免責

この文書の内容の正確性について、筆者は一切の責任を負いません。読者の自己責任で利用してください。

質問があれば

コミュニティで知見を共有するため、質問は Tezos Japan telegram にてお願いします。ただし、ボランティアベースですので回答の確約はできません。

新オフィスへの移転のお知らせ

Mon, 01 Nov 2021 00:00:00 +0000

この度、弊社ダイラムダ株式会社は登記所在地を移転いたしました。

新登記所在地: 京都府京都市東山区三条通北裏白川筋西入石泉院町４０５番地２

京都の正式な住所は長くなりがちです。次のものもお使いいただけます。

Running Tezos node with small memory like 8GB

Thu, 07 Oct 2021 00:00:00 +0000

This artcile explains how to reduce the memory usage of Tezos node, without changing the code at all.

Note: this is not to claim that 8GB is the minimum requirement to run current Tezos node.

Use `--singleprocess` option

By default, Tezos node runs 2 processes, the main process and the validator process, to execute the block validation and the other jobs in parallel. Unfortunately this increases the memory usage.

Tezosの内部挙動を理解する - ブロック検証編

Wed, 29 Sep 2021 00:00:00 +0000

概要

Tezosも含めたBitcoinやEthereumなどのブロックチェーンにおいては、口座間の送金やスマートコントラクト呼び出しなどの現在のブロックチェーンの状態に対する差分操作がブロックとして表現されます。

Tezos reconstruction benchmark by replay

Thu, 01 Jul 2021 00:00:00 +0000

We DaiLambda are working on improving Tezos blockchain storage layer called context. The context stores versions of blockchain states including balance and smart contracts.

Objective

We want to benchmark Tezos context reconstruction of the recent blocks, say 10000.

Only recent blocks, not from the genesis.
Blocks must be preloaded to exclude the network costs.

Currently we have 2 ways to replay blocks: reconstruct and replay.

`tezos-node reconstruct` commits to the context, but is always from the genesis

tezos-node reconstruct reconstructs the contexts from the genesis. It takes too long time for benchmark, several days or a week. We also do not want to benchmark the context reconstruction of the old cemented blocks, since a running node does not build contexts only from floating blocks.

Tezosはここから始まった。Position paper, white paper和訳

Wed, 12 May 2021 00:00:00 +0000

3年前、Tezos プロジェクトに参加する際に、 Tezos ICO にあたって書かれた position paper, white paper の和訳を作りました。これを掲載していたサイトが無くなりましたので、ここに掲載しておきます。

ZoKraTez: How to play Zero Knowledge Proofs using ZoKrates and Tezos

Sun, 21 Feb 2021 00:00:00 +0000

NOTE: This works with ZoKrates 0.6.3. In a recent ZoKrates release 0.7.14, zokrates export-verifier fails for the combination of bls12-381 and g16. See Wokraround for new Zokrates for details.

Step-by-step information to use Zokrates with Tezos.

Tezos has upgraded its protocol to 008 Edo. It supports BLS12-381 elliptic curve which permits zero knowledge proofs in Tezos. Cool! However, there are not much examples of them today. How can we play with ZK? Unfortunately, Edo does not tell us much since it only implements types and opcodes to verify BLS12-381 pairings. Building these pairs and how to convert your idea of ZK to Tezos code are off chain, therefore they are not in the code of Tezos node.

Tezosのウォレットトラブル対処とウォレット移行

Sun, 14 Feb 2021 00:00:00 +0000

免責

この文書の内容の正確性について、筆者は一切の責任を負いません。読者の自己責任で利用してください。

最終更新日: 2021-09-28

更新日があまりに古い場合、この文章に書かれていることは古すぎて現状からかけ離れている可能性があります。

SCamlによるTezosプログラミング#7

Tue, 16 Jun 2020 00:00:00 +0000

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

今回はもう少し複雑は SCaml コントラクトを書いてみます。

SCamlによるTezosプログラミング#6

Mon, 15 Jun 2020 00:00:00 +0000

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

今回はもう少し複雑は SCaml コントラクトを書いてみます。

SCamlによるTezosプログラミング#5

Sun, 14 Jun 2020 00:00:00 +0000

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

今回はついに SCaml でTezosのスマートコントラクトを書きます!

SCamlによるTezosプログラミング#4

Sat, 13 Jun 2020 00:00:00 +0000

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

今回はTezosスマートコントラクトのプログラムを書くにあたって押さえておくべきデータ型についてです。いつになったら SCaml を書き始められるのか…

SCamlによるTezosプログラミング#3 ウォレット基本操作

Fri, 15 May 2020 00:00:00 +0000

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

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

SCamlによるTezosプログラミング#2 概観

Thu, 14 May 2020 00:00:00 +0000

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

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

SCamlによるTezosプログラミング#1 準備

Wed, 13 May 2020 00:00:00 +0000

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

今回は演習の準備です。

Plebeia in Tezos

Mon, 11 May 2020 00:00:00 +0000

Plebeia is a functional storage system using Merkle Patricia tree implemented purely in OCaml. It is meant to be used for Tezos blockchain.

Here are our updates since the last article:

Optimized the storage size down to 80% since the last version, using its refactored path conversion scheme and hash-consing.
Less than 70% of the current Tezos storage size by Irmin2.

The code of Plebeia is available in GitLab. Plebeia integrated Tezos node is also available.

社員募集について

Wed, 29 Apr 2020 00:00:00 +0000

注意: これは過去の募集です。現在は募集をしておりません。新たに募集する場合は新しくお知らせ致します。

弊社ダイラムダ株式会社で一緒に働いてくださる方を若干名募集します。

SCamlによるTezosプログラミング#0

Sat, 01 Feb 2020 00:00:00 +0000

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

Release of SCaml 1.0 Pyramid

Wed, 01 Jan 2020 00:00:00 +0000

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”.

SCaml: It's not a scam.

Sat, 07 Dec 2019 00:00:00 +0000

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.

設立一周年を迎えて

Sat, 14 Sep 2019 00:00:00 +0000

この度、弊社が設立一周年を迎えました。

昨年の五月に起業を決断し、七月、夏の日差しに大文字山の緑が映えているのを見て会社の名前とロゴを決めたのを記憶しています。海外の非営利財団からのオープンソースソフトウェア研究開発委託を本業とする、という特殊な事業内容のため、いろいろな調査や発注元との調整などであっとういう間に時間が流れ、登記を行なったのが九月でした。そこからの立ち上がりに一番苦労しましたが、幸い良い縁にいくつも恵まれまして、秋口からは全力で楽しく仕事を始めることができ、今に至っています。お力添えいただいた皆様のおかげです。厚く御礼申し上げます。

Tezos Hands-on Kit

Tue, 03 Sep 2019 00:00:00 +0000

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:

東京と台北のサマースクールで授業をしました

Sat, 31 Aug 2019 00:00:00 +0000

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

PPLサマースクール2019 「ブロックチェーンと形式検証」: 8/26、於芝浦工業大学芝浦キャンパス
FLOLAC'19 「邏輯、語言與計算」暑期研習營: 8/29、於台湾大学

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

Rise of Plebs

Thu, 08 Aug 2019 00:00:00 +0000

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.

八月末、ブロックチェーンがテーマのサマースクール(x2)をやります。

Wed, 07 Aug 2019 00:00:00 +0000

暑い。

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

HashHub Tokyo で Tezos ハンズオンを行いました

Sat, 15 Jun 2019 00:00:00 +0000

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

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

京都大学内オフィスに登記を移転しました

Sat, 01 Jun 2019 00:00:00 +0000

この度、弊社の登記所在地を京都大学のベンチャーインキュベーションセンターKUViC内オフィスに移転しました:

新登記所在地: 京都府京都市左京区吉田本町36番地1京都大学国際科学イノベーション棟
ベンチャーインキュベーションセンター内

オフィス住所は今まで通り、次の短めの物もお使いいただけます:

東京大学ブロックチェーンイノベーション寄付講座で話してきました

Mon, 20 May 2019 00:00:00 +0000

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

Singularity Hive で Tezos ハンズオンを行いました

Sat, 11 May 2019 00:00:00 +0000

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

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

TzScan Open Source: what are missing

Fri, 10 May 2019 00:00:00 +0000

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

Blockchain Night #001 で話してきました

Wed, 27 Feb 2019 00:00:00 +0000

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

Tezos Tokyo Meetupで話してきました

Tue, 05 Feb 2019 00:00:00 +0000

本日、弊社代表取締役が Tezos Tokyo Meetup で「Recent Tezos core developments」というタイトルで話してきました。

岐阜大学で話してきました

Thu, 31 Jan 2019 00:00:00 +0000

本日、岐阜大学の今井先生のご紹介で、弊社代表取締役が「ブロックチェーンと形式検証」というタイトルで学生さん向けに話をしてきました。

Tezos幻想を解く

Tue, 25 Dec 2018 00:00:00 +0000

2018年末時点で Tezos に関して目にするよくある誤解について指摘しました。

Tezos実践: プロトコルの注入とアクティベーション

Wed, 05 Dec 2018 00:00:00 +0000

Tezos のプロトコルアップデートがどう動くか、サンドボックスノードで実際に見てみました。

Tezosのコア開発に正式に参加しました

Sat, 01 Dec 2018 00:00:00 +0000

本日、弊社ダイラムダ株式会社は Tezos SouthEast Asia との間に Tezos コア技術研究開発およびアジアにおける　Tezos 技術普及活動に関する受託契約を結びました。

京都大学内オフィスを開設しました

Thu, 01 Nov 2018 00:00:00 +0000

この度、京都大学のベンチャーインキュベーションセンターKUViCにオフィスを開設しました。

弊社代表取締役の Tezos Japan 理事就任のお知らせ

Thu, 01 Nov 2018 00:00:00 +0000

本日、弊社代表取締役古瀬淳は Tezos Japan 一般社団法人の科学担当理事に就任いたしました。

Tezos実践: ノードをsandboxed modeで立ち上げて遊ぶ

Wed, 17 Oct 2018 00:00:00 +0000

Tezos のサンドボックスモードは実際のネットワークとは接続せずに、そのノードだけで完結したテスト環境を提供します。このサンドボックスを使って Tezos の基本的なトークン移動を試してみます。

Tezos実践: TezosのスマートコントラクトをMichelson modeを使って書こう

Fri, 12 Oct 2018 00:00:00 +0000

Tezos のスマートコントラクトは Michelson という VM で動いていますが、この VM オプコードを記述してみます。支援ツールとして Emacs の Michelson モードを使います。

ML(言語)勉強会 ML Day#2で話をしました

Mon, 17 Sep 2018 00:00:00 +0000

ML(言語)勉強会、ML Day#2 に参加し、”ML for Money Language” という話をしてきました。

ML は今流行りの Machine Learning ではなく、関数型プログラミング言語の Meta Language と言われる一派を指します。この ML は堅牢なシステムを記述することができ、また、形式検証のための基礎言語として長年の歴史があることから、高い安全性が求められる暗号通貨の世界でも取り上げられることが多くなりました。ML が使えると暗号通貨業界でも活躍できますよ、という話です。

社名と社ロゴについて

Sat, 28 Jul 2018 00:00:00 +0000

ダイラムダは「大λ」です。

私が25年くらい前に所属していた京都大学数理解析研究所の関数型言語研究グループのホームページを作った時に、冗談で大文字山の写真を大の字をλ計算のλに変えたMt. Lambda(ラムダ山)というものを作ってページの上に貼り付けました。

開業ご挨拶

Sat, 21 Jul 2018 00:00:00 +0000

四半世紀前に学生として暮らしていた京都で、縁あって暗号通貨 Tezos の基礎研究開発を行う会社を作ることになりました。よろしくお願いいたします。

Mon, 01 Jan 0001 00:00:00 +0000

Proof of Work

課題: Hack the secret key

設定

Secp256k1 は楕円曲線暗号システムで、そこで定義される巡回群 G の位数は、

p = 115792089237316195423570985008687907852837564279074904382605163141518161494337

です。その上での ECDSA を考えます。 ECDSA の定義はスライドを見てください。

問題

ID には NUS:xxxxxxxxx を入れてください。xxxxxxxxx はあなたの学籍番号です

ID:

公開鍵 pk を持つ人があなたに幾つかの署名付きメッセージ (h_i, sign_i) を送ってきました。(データが表示されるまでに少し時間がかかります)

ここからこの人の秘密鍵を割り出して提出してください。

ヒント

使っている秘密鍵は10桁以下の数です。恐ろしく大きい数字が出てきた場合は計算が間違っています

ツール

G の位数 p を法とした計算は大変なのでツールを置いておきます:

+
= (mod p)

-
= (mod p)

*
= (mod p)

/
= (mod p)

検算も置いておきます

署名

秘密鍵 sk:
公開鍵 pk:
乱数 k:
メッセージ h:
署名:

検証

公開鍵 pk_x:
　　　 pk_y:
メッセージ h:
署名 r:
署名 t:
結果:

Mon, 01 Jan 0001 00:00:00 +0000

slides

Tezos: 008 Edo protocol

DaiLambda, Inc.

Jun FURUSE/古瀬淳

Tezos Tokyo Meetup, 2021-02-26

自己紹介

古瀬淳 @camlspotter / @camloeba

Mon, 01 Jan 0001 00:00:00 +0000

slides

OCaml PPX

DaiLambda, Inc.

Jun FURUSE/古瀬淳

Kyoto, 2021-04-09

What is PPX?

OCaml PreProcessor eXtension framework

Mon, 01 Jan 0001 00:00:00 +0000

slides

POS ブロックチェーン (LPoS)
エネルギー消費低。Mining ではなく Baking
スマートコントラクト (Michelsonスタックマシーン)
オンチェーンガバナンス
NFT が流行っているようです

ブロックチェーン状態 (TzStats)

DaiLambda, Inc.

Tezos operations: how to build, simulate and inject

RPC via JSON

JSON

Nagoya Web3 Hackathon で Tezos のチュートリアルを行いました

Tezos+Plebeia context subsystem benchmark

Introduction

Proposal of Micheline encoding optimization

Summary

Gradual migration to remove garbage files from Tezos context

Abstract

Optz Michelson オプティマイザをリリースしました

First release of Optz Michelson optimizer

Optimization of Michelson opcode sequences

Optz: Michelson optimizer

Optimization of Michelson opcode sequences

Rule based code transformation

Search for the optimal stack manipulation sequences

Tezos via JSOO - 03, Structured value

Structured value from Tezos RPC

Tezos via JSOO - 02, Account balance

Balance of an account

Tezos via JSOO - 01, Node access

ブロックチェーンと形式検証 ～ Tezos の場合

Kukai, Temple での legacy, HD wallet の扱い

免責

質問があれば

新オフィスへの移転のお知らせ

Running Tezos node with small memory like 8GB

Use --singleprocess option

Tezosの内部挙動を理解する - ブロック検証編

概要

Tezos reconstruction benchmark by replay

Objective

tezos-node reconstruct commits to the context, but is always from the genesis

Tezosはここから始まった。Position paper, white paper和訳

ZoKraTez: How to play Zero Knowledge Proofs using ZoKrates and Tezos

Tezosのウォレットトラブル対処とウォレット移行

免責

最終更新日: 2021-09-28

SCamlによるTezosプログラミング#7

SCamlによるTezosプログラミング#6

SCamlによるTezosプログラミング#5

SCamlによるTezosプログラミング#4

SCamlによるTezosプログラミング#3 ウォレット基本操作

SCamlによるTezosプログラミング#2 概観

SCamlによるTezosプログラミング#1 準備

Plebeia in Tezos

社員募集について

SCamlによるTezosプログラミング#0

Release of SCaml 1.0 Pyramid

SCaml: It's not a scam.

設立一周年を迎えて

Tezos Hands-on Kit

東京と台北のサマースクールで授業をしました

Rise of Plebs

八月末、ブロックチェーンがテーマのサマースクール(x2)をやります。

暑い。

HashHub Tokyo で Tezos ハンズオンを行いました

京都大学内オフィスに登記を移転しました

東京大学ブロックチェーンイノベーション寄付講座で話してきました

Singularity Hive で Tezos ハンズオンを行いました

TzScan Open Source: what are missing

Blockchain Night #001 で話してきました

Tezos Tokyo Meetupで話してきました

岐阜大学で話してきました

Tezos幻想を解く

Tezos実践: プロトコルの注入とアクティベーション

Tezosのコア開発に正式に参加しました

京都大学内オフィスを開設しました

弊社代表取締役の Tezos Japan 理事就任のお知らせ

Tezos実践: ノードをsandboxed modeで立ち上げて遊ぶ

Tezos実践: TezosのスマートコントラクトをMichelson modeを使って書こう

ML(言語)勉強会 ML Day#2で話をしました

社名と社ロゴについて

開業ご挨拶

課題: Hack the secret key

設定

問題

ヒント

ブロックチェーンと形式検証～ Tezos の場合

Use `--singleprocess` option

`tezos-node reconstruct` commits to the context, but is always from the genesis