Tezosはここから始まった。Position paper, white paper和訳
3年前、Tezos プロジェクトに参加する際に、 Tezos ICO にあたって書かれた position paper, white paper の和訳を作りました。これを掲載していたサイトが無くなりましたので
[続きを読む]
ZoKraTez: How to play Zero Knowledge Proofs using ZoKrates and Tezos
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のウォレット移行
免責 この文書の内容の正確性について、筆者は一切の責任を負いません。読者の自己責任で利用してください。 最終更新日: 2021-04-03 更新日があまりに古い場合、
[続きを読む]
SCamlによるTezosプログラミング#4
Tezos ブロックチェーン のためのスマートコントラクト記述言語 SCaml、チュートリアルの第4回目です。
今回はTezosスマートコントラクトのプログラムを書くにあたって押さえておくべきデータ型についてです。いつになったら SCaml を書き始められるのか…
[続きを読む]SCamlによるTezosプログラミング#3 ウォレット基本操作
Tezos ブロックチェーン のためのスマートコントラクト記述言語 SCaml、チュートリアルの第3回目です。
今回はTezosブロックチェーンにアクセスするコマンドラインウォレット tezos-client の実習です。
SCamlによるTezosプログラミング#2 概観
SCamlによるTezosプログラミング#1 準備
Tezos ブロックチェーン のためのスマートコントラクト記述言語 SCaml、チュートリアルの第1回目です。(この内容は 2020-03-21 にやった SCaml ハンズオンの資料を手直ししたものです。)
今回は演習の準備です。
[続きを読む]SCamlによるTezosプログラミング#0
SCaml という Tezos ブロックチェーン のためのスマートコントラクト記述言語とコンパイラを作って元旦にリリースしました。 コンセプトの紹介(英語) リリースの
[続きを読む]
Release of SCaml 1.0 Pyramid
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.
[続きを読む]
SCaml: It's not a scam.
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.
[続きを読む]