Tutorial

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:

• 01, Node access
• 02, Account balance

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.

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.

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.

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

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