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

 2021-02-21に投稿

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. [続きを読む]
blockchain  tezos  scaml  zk 

Release of SCaml 1.0 Pyramid

 2020-01-01に投稿

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. [続きを読む]
blockchain  tezos  ocaml  smart contract  compiler 

SCaml: It's not a scam.

 2019-12-07に投稿

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. [続きを読む]
blockchain  tezos  ocaml  smart contract  compiler 

Tezos Hands-on Kit

 2019-09-03に投稿

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. [続きを読む]
blockchain  tezos  talk