Launched the Credible Layer product on January 28, 2026, which uses an invariant model to provide security for onchain transactions by encoding safety properties and automatically removing transactions that violate them.