Formally verified features include:
-No loss of funds
-Availability of trading operations
-Accurate order matching
-Orderbook data structure properties
It's a testament to the level of technical soundness that went into the program’s development by @cks_sys
An activist delegation to maximize value to MNGO token holders and reject self-interested funding to cover unrelated Mango DAO liabilities has been initiated.
Join the cause🧵 https://t.co/Riu0zciVYa
@mangomarkets $MNGO
It’s time to change the narrative on crypto. That’s why we built an open source, public good on-chain orderbook. Providing on-chain liquidity just got a lot more competitive
Only work with market makers that are dedicated to an on-chain world
Built by CKS Systems @cks_sys at a time when narratives have shifted from “crypto is going to save the world ” to “crypto is a tool for nihilistic gambling ” Manifest delivers hope that the original values of crypto endure.
Manifest resets the course on-chain.