東京と台北のサマースクールで授業をしました
Rise of Plebs
In recent months, we DaiLambda have worked on Plebeia, an implementation of sparse Merkle tree disk storage. It is immutable: persistent and functional both in memory and on disk. It is optimized for data with relatively small sizes under 40 bytes which makes it suitable for blockchains such as Tezos. Plebiea can reduce the size of the current state repository of Tezos down to 1/10. More importantly, since Plebeia is a straightforward implementation of sparse Merkle tree, it can provide Merkle proofs of values easily to lightweight wallets which cannot carry the whole states of blockchain.
Plebeia is currently written in OCaml, but we are also porting it to F* for correctness proofs.
[続きを読む]八月末、ブロックチェーンがテーマのサマースクール(x2)をやります。
HashHub Tokyo で Tezos ハンズオンを行いました
東京大学ブロックチェーンイノベーション寄付講座で話してきました
Tezosブロックチェーンと形式検証
本日、東京大学ブロックチェーンイノベーション寄付講座の茂木先生のご招待を受け、弊社代表取締役が「Tezosブロックチェーンと形式検証」というタイトルで発表をしてきました。
[続きを読む]Singularity Hive で Tezos ハンズオンを行いました
本日、大阪の Sigularity Hive で日本で初めての「Tezos ハンズオン」を行いました。
Singularity Hive は大阪にあるブロックチェーン技術に特化したコワーキングスペース(地下鉄心斎橋駅の真上にあります!)で、関西方面でのブロックチェーン技術コミュニティーのために様々なイベントを企画しておられます。この度、Singularity Hive の岡様のご提案を受け、日本で初めてになる Tezos ハンズオンをこちらで開催させていただきました。
[続きを読む]TzScan Open Source: what are missing
Difference from https://tzscan.io
(英語記事) TzScan ブロックエクスプローラのオープンソース版は https://tzscan.io で提供されている機能の一部がありません。 tzscan.io を使った開発を行なっている Tezos デベロッパはその依存について十分に理解する必要があります。
[続きを読む]Blockchain Night #001 で話してきました
Tezos: 自己修正暗号台帳
本日、エバーシステム様、DIWal様が主催された Blockchain Night #001というイベントで弊社代表取締役が「Tezos: 自己修正暗号台帳」というタイトルで発表してきました。
[続きを読む]Tezos Tokyo Meetupで話してきました
Recent Tezos core developments
本日、弊社代表取締役が Tezos Tokyo Meetup で 「Recent Tezos core developments」というタイトルで話してきました。
[続きを読む]