Ideal Labs is building tools for publicly verifiable onchain randomness, timelock encryption, and secure delayed transactions.