スマートコントラクトの脆弱性対策に向けた形式検証手法の新たなアプローチ
プログラミング言語に形式仕様の構造を直接組み込むことで、スマートコントラクトの開発に革命をもたらし、その脆弱性を根絶できる可能性がある。
Blogs
UniswapX と 1inch Fusion で実現する Pocket Exchange
本稿は、UniswapX の RFQ→排他→公開ダッチという二段階型と 1inch Fusion の古典的ダッチ方式を比較し、インテント型スワップが MEV・失敗・流動性分断を抑える仕組みを要約します。
Polkadot パレット Balances を形式検証に備える
隔離された分析のために Ink! スマートコントラクトとして再実装し、Polkadot のパレット Balances を形式検証に備える。
完全準同型暗号（FHE）入門
復号することなく暗号化データ上で計算を実行できる暗号技術、完全準同型暗号（FHE）の入門。
Rust におけるゼロコストな「タグレスイニシャル」GADTスタイルの Enum
enum と never 型を用いてゼロコスト抽象化を実現する「タグレスイニシャル」パターンの Rust 実装を深掘りし、最適化されたアセンブリ出力を示します。
DEXプロトコルにおけるゲーム理論的評価
分散型取引所（DEX）プロトコルにゲーム理論モデリングを適用し、設計上の弱点や戦略的な攻撃ベクトルを特定する方法を探求します。Uniswap、SushiSwap、Cetus、KyberSwapにおける参加者のインセンティブと戦略について議論し、ゲーム理論がどのようにエクスプロイトを明らかにし、より安全なDEX設計に貢献できるかを解説します。
Rust における自動推論可能な抽象メソッド
PhantomData ベースのヒント技法を用いてジェネリクスを自動推論し、カーソルベースの抽象 Method トレイトを定義する方法を解説します。
組込みシステムに適したCライブラリの選択：Newlib, picolibc, nanolib, dietlibc
glibcのような標準ライブラリが大きすぎる、または複雑すぎるリソース制約環境向けに設計された、Newlib、picolibc、nanolib、dietlibcといった特殊なC標準ライブラリを解説します。
Rust における継続渡しスタイル (CPS) の簡略化
本記事では、ローカルメモリポインタと「矢印」ステートメントを活用して抽象的なプログラムを宣言する、先進的な CPS（継続渡しスタイル）の実装例を探ります。
コンパイラにおけるアリーナベースの割り当て
アリーナベースの割り当ては、大きなメモリ ブロックを事前割り当てし、そのブロックから多数の小さなオブジェクトをすばやく切り出すメモリ管理戦略です。