Mathematically Proven

Research &
Publications

Formally verified in Lean 4. Four theorems with zero unproven assumptions. The mathematics behind antifragile volatility harvesting.

Formally Verified Theorems

Proven in Lean 4, the gold standard for mathematical verification. Each theorem provides mathematical certainty about the protocol's behavior.

1

Positive Expected Value

Rebalancing premium exceeds transaction costs when volatility σ > 25.5%

2

Bounded Maximum Drawdown

Maximum drawdown ≤ 64% of underlying asset drawdown

3

LP Fee Floor Protection

Minimum 3% annual return from liquidity provision fees alone

4

Convex Payoff Structure

Strategy gains from both upward and downward price movements

Zero unproven assumptions. Mathematical certainty.

Publications

Deep dive into the mathematics, verification, and implementation of CHAOS.

CHAOS Whitepaper

Comprehensive analysis of the CHAOS protocol including mathematical framework, game theory, formal verification, backtest results, and risk analysis.

47 pagesFeatured

Formal Verification Proof Paper

Complete Lean 4 formal proofs of the four core theorems. Zero unproven assumptions. Mathematical certainty.

23 pagesFeatured

Investor Brief & Litepaper

Executive summary for investors. Key metrics, performance data, and market opportunity.

8 pages

GitHub Repository

Full source code, Lean 4 proofs, and implementation details

Ready to See It in Action?

Explore the protocol with real-time portfolio management and governance features.