非HDウォレット情報の Kukai と Temple への import について、メモを書きました。#tezos のウォレット import でトラブっている人は参考にしてください: dailambda.jp/blog/2022-01-1…

Our CEO Jun Furuse was invited to talk of "Blockchain and Formal Verification -- cases of Tezos" at PPL 2022 workshop: jssst-ppl.org/workshop/2022/…

Our CEO Jun Furuse was invited to talk "Blockchain and formal verification - cases of Tezos" at PPL 2022, programming and programming language workshop by JSSST. dailambda.jp/blog/2022-03-0…

We have just updated Optz, an optimizer of #tezos Michelson code. Its optimal code search now supports CAR/CDR/PAIR/UNPAIR opcodes: dailambda.jp/optz-js/ . Document update will follow soon.

Optz Michelson 最適化器のリリースについて、日本語記事を公開しました: dailambda.jp/blog/2022-04-2…

We are working on reducing the overhead of lengthy migrations at Tezos protocol upgrades to an unnoticeable level: dailambda.jp/blog/2022-05-2…

Very likely, we can reduce #tezos gas usage by at least 7% by a very small fix to the protocol. Verifying...

Here is our latest benchmark of #tezos + Plebeia, a storage system based on Merkle Patricia binary tree: dailambda.jp/blog/2022-06-1…

The Merkle Proof API is one of the last major features that we integrated from Plebeia. It is the result of a years-long collaboration between DaiLambda and Tarides to improve the storage system of Tezos. tarides.com/blog/2022-06-1… #functionalprogramming #OCaml #API

#tezos ブロックチェーンのアジア圏向け TezAsia Hackathon が参加登録受付中です。Tezos を知らない人向けのチュートリアルも開催されるようですので、ブロックチェーンで何か始めてみたい方にもおすすめです: unstop.com/competition/te…

We have released Plebeia 2.0.1 Merkle Patricia tree implementation for version controlled disk storages storagehttps://gitlab.com/dailambda/plebeia/-/tree/2.0.1

#kyoto

End of summer

Our CEO did a tutorial of Tezos blockchain and its DApps development at Nagoya Web3 Hackathon held by Nagoya Blockchain dailambda.jp/blog/2022-11-2…

The last day of SPLASH Conference with the opening keynote Atsushi Igarashi!