Co-founder Patrick Collins is speaking at the RektHQ summit, with focus on smart contract security education.

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