Set to become the first formally verified smart contract compiler, allowing mathematical proof that the compilation pipeline preserves contract logic and proving contract logic correctness.

Acquired by Pumpfun as part of their cross-chain trading terminal operations.