Web3 Scholars Summitにて、CertiKの共同創業者であり、イェール大学CS教授のZhong Shao氏が、画期的なフレームワークであるLiDOとLiDO-DAGを発表しました。

このイノベーションは、Jolteon、Narwhal、Bullsharkなどの最新のコンセンサスプロトコルに対して、安全性と活性に関する初の正式な、機械検証済みの証明をもたらします。

LiDOは、高レベルの安全モデルを実装レベルのコードにまで落とし込むことで、検証可能な安全でスケーラブルな、分散型の未来のための基盤を築きます。

セキュリティは、単にエクスプロイトを防ぐことだけではなく、信頼できるシステムを根本から構築することです。