Plebeia in Tezos

 2020-05-11に投稿

Plebeia is a functional storage system using Merkle Patricia tree implemented purely in OCaml. It is meant to be used for Tezos blockchain.

Here are our updates since the last article:

  • Optimized the storage size down to 80% since the last version, using its refactored path conversion scheme and hash-consing.
  • Less than 70% of the current Tezos storage size by Irmin2.

The code of Plebeia is available in GitLab. Plebeia integrated Tezos node is also available.

[続きを読む]
tezos  dev  plebeia 

社員募集について

 2020-04-29に投稿

注意: これは過去の募集です。現在は募集をしておりません。新たに募集する場合は新しくお知らせ致します。

弊社ダイラムダ株式会社で一緒に働いてくださる方を若干名募集します。

[続きを読む]
recruiting  tezos  ocaml 

SCamlによるTezosプログラミング#0

 2020-02-01に投稿

SCaml という Tezos ブロックチェーン のためのスマートコントラクト記述言語とコンパイラを作って元旦にリリースしました。

[続きを読む]
blockchain  tezos  ocaml  smart contract  compiler  scaml 

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. Primarily it was to reduce the development cost, however we soon found several benefits of keeping it a strict subset of OCaml. OCaml programmers can write smart contracts in SCaml immediately without lots of surprises. Tools around OCaml can be used for SCaml almost for free, and so on. For more details, please read our previous post “SCaml: it’s not a scam”.

[続きを読む]
blockchain  tezos  ocaml  smart contract  compiler