.@CertoraInc la oss få det gjort.
toly 🇺🇸
toly 🇺🇸23. mai 2025
I would love if this was formally verified. I think a true onchain IPO would need to minimize risk across all parts of the price discovery process.
4,3K