LayerX

[【公式】バクラク by LayerX @bakuraku_layerx]

LayerX主催「バックオフィスAIサミット」開催🚀✨

経営、経理、人材・組織、現場のAI活用まで。
AIエージェントが仕事を終わらせる時代のバックオフィス再設計✍️📊

📅2026年6月19日 (金) 14:00〜
📌大手町三井ホール

▼セッション詳細・申込▼
https://t.co/6Z8nnkpdNw

#バックオフィスAIサミット

[LayerX @LayerXcom]

We support CBC Casper. @nrryuya @VladZamfir Thank you for your great works, presentation and having a comment about us!

[Ryuya Nakamura @nrryuya]

We finally finished the formal verification of a finality detection algorithm of CBC Casper in Isabelle/HOL.
Last-minute work for #DEVCON5
https://t.co/fz4J6NvyYA

[LayerX @LayerXcom]

We’re delighted to have had Research Meetup last night at the #devcon site. A lot of famous researchers and developers participated and made presentations.

[LayerX @LayerXcom_en]

R&D team implemented Plasma MVP in Vyper.
https://t.co/LrsF6OdU1Z