Completed a full audit and formal verification for predictdotfun, providing mathematical proof that their contracts behave as intended.