Blockchain

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.

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

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 コントラクトを書いてみます。

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

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

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

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