Docs & Research
プロトコル設計、コントラクト監査、Policy 開発ガイド、そして市場構造のリサーチ——F* がオープンに共有するエンジニアリングとリサーチの資料です。より踏み込んだ資料（完全な監査報告書、コンプライアンスホワイトペーパー）は、GitHub と統合チャネルを通じて公開されます。
1956年、32歳の物理学者にして元パイロットが、メモ用紙に半行を書き記した——シャノンの情報理論を資産の成長へと翻訳し、そして自らはその公式を一度も使わなかった。
— Robert B.
1961年、リノ：ソープは72時間で元手を倍にした——数学で商業カジノを打ち破った、史上初の出来事だった。カウンティングはエッジを教え、ケリーはいくら賭けるかを教える。
ビル・グロースは200ドルのブラックジャック・テーブルから始め、その規律を債券デスクへ持ち込み、PIMCO をおよそ2兆ドルへと育てた——彼の「2%ルール」はケリーの本質そのものだ。
米国のカジノからブラックリスト入りした物理学徒ベンターは、ソープのツールキットを携えて香港に降り立ち、競馬を攻略した——17年、数十万回のベット、およそ10億ドル。
LTCM のパートナーには、連続時間版ケリーを作り上げた当人までいた——それなのに、彼らはそれを使わなかった。30倍のレバレッジ、3か月で9割が消えた。フルケリーの現実版だ。
1979年、サミュエルソンはケリーの支持者たちを揶揄するために、ほぼすべてを単音節の単語だけで書いた論文を発表した。70年経ってなお、それを使う者たちは健在だ——そしてその論争こそが、分数ケリーを生んだ。
暗号資産でフルケリーが使われることはほとんどない——なぜか？ 6つの戦略にわたる24か月分のデータで、ボラティリティ・レジームを横断して2分の1・4分の1・8分の1ケリーの実現成長率とドローダウンを定量化する。
— M. Zhao
ステーブルコインの利回りは再構築されつつある——MakerDAO の sUSDS、Ondo の USDY、BlackRock BUIDL。DeFi と RWA にまたがるイールドカーブを描き出す。
— F* Research
過去半年で、主要 L2 間のステーブルコインと ETH の移動は明らかに Base へと傾いた。そのフローの背後にあるインセンティブ構造を紐解く。
— K. Chen
MiCA が EU の暗号資産運用者に求めるもの——そして、法域をまたぐ構造調整を含む F* Protocol の対応。
— J. Park
ケリーだけでは足りない——戦略間の相関こそが、総レバレッジに対する真の制約だ。12か月の実証レポート。
— C. Yi