スマートコントラクト

隔離された分析のために Ink! スマートコントラクトとして再実装し、Polkadot のパレット Balances を形式検証に備える。

分散型取引所（DEX）プロトコルにゲーム理論モデリングを適用し、設計上の弱点や戦略的な攻撃ベクトルを特定する方法を探求します。Uniswap、SushiSwap、Cetus、KyberSwapにおける参加者のインセンティブと戦略について議論し、ゲーム理論がどのようにエクスプロイトを明らかにし、より安全なDEX設計に貢献できるかを解説します。