DaiLambda

@SentryAndLegate Thanks for asking! The blog post was the starting point, an idea without any implementation with a performance estimation. We made a working PoC in 2022. We hope we can work on the actual proposal in 2023, possibly for N.

@dailambda Hello @dailambda, did this end up in L or M?

Here is our survey of how smart contract data are encoded in #tezos blockchain. We found that having a new encoding should reduce the storage burn fee by 22%! dailambda.jp/blog/2022-05-2…

The last day of @splashcon with the opening keynote @50storms!

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

@cedretaber Thanks for the great post of SCaml!

記事を投稿しました！ Tezos でスマートコントラクトを作る 1 [OCaml] on #Qiita qiita.com/cedretaber/ite…

End of summer

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

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

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

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

We are currently working on the implementation of this new encoding. Hopefully it will be ready for protocol L.

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

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

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

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 uses 2 optimization methods. Rule-based rewriting and exhaustive search of the optimal stack operations. It reduces the size of contracts by 5% in average for the smart contracts recently deployed to Tezos Mainnet. You can try Optz here: dailambda.jp/optz-js/

We have released Optz, an optimizer for Michelson programs for #tezos smart contracts. dailambda.jp/optz/

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…

Our CEO Jun Furuse was invited to talk of "Blockchain and Formal Verification -- cases of Tezos" at PPL 2022 workshop: #invited1" target="_blank" rel="nofollow noopener">jssst-ppl.org/workshop/2022/…