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.
Gavel
Gavel23.5.2025
The Gavel AMM is audited 3 times, source-available, and verifiably built. Source code and SDK are available here:
38,94K