DaiLambda (@dailambda) header
DaiLambda (@dailambda) profile picture

DaiLambda

@dailambda

DaiLambda, Inc.

 Kyoto, Japan
dailambda.jp
Joined May 2018
  • Tweets58
  • Following2
  • Followers244
20Media
Photo by DaiLambda (@dailambda)Photo by DaiLambda (@dailambda)Photo by DaiLambda (@dailambda)Photo by DaiLambda (@dailambda)Photo by DaiLambda (@dailambda)Photo by DaiLambda (@dailambda)Photo by DaiLambda (@dailambda)Photo by DaiLambda (@dailambda)Photo by DaiLambda (@dailambda)Photo by DaiLambda (@dailambda)
– at Sakyo-ku, Kyoto
Image from DaiLambda (@dailambda)
1
3
The last day of @splashcon with the opening keynote @50storms! – at Auckland, New Zealand
7
8
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-21…
Nagoya Web3 Hackathon で Tezos のチュートリアルを行いました

Nagoya Web3 Hackathon で Tezos のチュートリアルを行いました

I had “Block chain and how to build Tezos DApps” tutorial at Nagoya Web3 Hackathon organized by Nagoya Web3 Society, using SmartPy and Taquito. It was very challenging for me to cover …

dailambda.jp
9
2
13
End of summer
Image from DaiLambda (@dailambda)
2
10
#kyoto
Image from DaiLambda (@dailambda)
1
7
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/tezas…
11
16
DaiLambda retweeted
Tarides (@tarides_) profile picture
Tarides@tarides_14 Jun 2022
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-13-… #functionalprogramming #OCaml #API
Adding Merkle Proofs to Tezos

Adding Merkle Proofs to Tezos

Extended Tezos storage system to support compact Merkle proofs in Jakarta Protocol, enhancing network scalability with efficient trust infrastructure.

tarides.com
18
37
Here is our latest benchmark of #tezos + Plebeia, a storage system based on Merkle Patricia binary tree: dailambda.jp/blog/2022-06-10…
Tezos+Plebeia context subsystem benchmark

Tezos+Plebeia context subsystem benchmark

Introduction As Tezos core developers, we DaiLambda and Tarides are working together to improve the perfomance of Tezos context: the version controlled store of Tezos block chain states. DaiLambda...

dailambda.jp
9
19
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-23…
Proposal of Micheline encoding optimization

Proposal of Micheline encoding optimization

Summary The encoding of Micheline has several points to be improved. We propose to extend it to reduce the encoding size. Our quick survey shows that the possible size reduction is -22%. The size …

dailambda.jp
3
15
23
We are currently working on the implementation of this new encoding. Hopefully it will be ready for protocol L.
5
Very likely, we can reduce #tezos gas usage by at least 7% by a very small fix to the protocol. Verifying...
1
8
45
We are working on reducing the overhead of lengthy migrations at Tezos protocol upgrades to an unnoticeable level: dailambda.jp/blog/2022-05-22…
Gradual migration to remove garbage files from Tezos context

Gradual migration to remove garbage files from Tezos context

Abstract We are developing a technique of gradual migration to perform huge context modification at a protocol upgrade in multiple blocks to reduce the migration downtime ultimately to an unnoticea...

dailambda.jp
5
12
Optz Michelson 最適化器のリリースについて、日本語記事を公開しました: dailambda.jp/blog/2022-04-27…
Optz Michelson オプティマイザをリリースしました

Optz Michelson オプティマイザをリリースしました

Optz は Tezos ブロックチェーンのスマートコントラクトで使われている Michelson プログラムの最適化器です。 Optz は Michelson プログラムを入力として受け取り、(可能ならば)最適化を行って同じ動作をするより小さい、効率的な Michelson プログラムを出力します。

dailambda.jp
2
3
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.
3
3
We have released Optz, an optimizer for Michelson programs for #tezos smart contracts. dailambda.jp/optz/
Optz: Michelson optimizer

Optz: Michelson optimizer

Optz is an optimizer of Michelson programs, the base language for Tezos smart contract. It takes a Michelson code as input and then returns a smaller and more efficient equivalent code. Optimization …

dailambda.jp
3
19
68
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/
4
10
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-06…
ブロックチェーンと形式検証 ～ Tezos の場合

ブロックチェーンと形式検証 ～ Tezos の場合

2022年3月6日、弊社代表取締役 古瀬 淳 が 日本ソフトウェア科学会 第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022) にて「ブロックチェーンと形式検証 ～ Tezos の場合」という招待講演を行いました。 現時点での Tezos での形式検証活動のそれなりのサーベイになっていると思いますので、概要と使用したスライドを公開します。

dailambda.jp
3
1
7
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/…
2
6
非HDウォレット情報の Kukai と Temple への import について、メモを書きました。#tezos のウォレット import でトラブっている人は参考にしてください: dailambda.jp/blog/2022-01-16…
Kukai, Temple での legacy, HD wallet の扱い

Kukai, Temple での legacy, HD wallet の扱い

非 HD wallet 情報の Kukai と Temple へのインポートについて。 免責 この文書の内容の正確性について、筆者は一切の責任を負いません。読者の自己責任で利用してください。 質問があれば コミュニティで知見を共有するため、質問は Tezos Japan telegram にてお願いします。ただし、ボランティアベースですので回答の確約はできません。

dailambda.jp
2
2
5
Tezos Tokyo Meetup で弊社代表取締役が 011 Hangzhou へ至る #Tezos ブロックチェーンアップグレードの歴史を振り返りました。スライドはこちら: dailambda.jp/slides/2021-12-…
1
5
7
PDF はこちらです: dailambda.jp/slides/2021-12-…
2
Load more