.@CertoraInc să o facem.
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