Blogs

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

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

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

免責

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

質問があれば

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

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

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.

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

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.

免責

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

最終更新日: 2021-09-28

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

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

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

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

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