git
ask
hub
Privacy
Terms
Sign in with GitHub
neutrinomic/demo_sr9_dex
↗
Language ·
Motoko
Simplify and Visualize This Repo
Scan the safety of this repo
Self Host this repo
Check out more work of Developer: neutrinomic
Ask anything about this repo to start.
Walk me through the SR9 properties this DEX proves at compile time, especially the conservation equation across external ledger calls.
Show me how the swap function recomputes prices against current reserves and enforces the minimum-output limit.
Explain the deposit and withdraw flows and how local balances are debited before the external ICRC transfer.
Trace what the controller principal can do, from whitelisting ledgers to retiring one with explicit dust consent.
Adapt this demo into a small tutorial canister that just exposes the verified swap function with two whitelisted ledgers.
Full explanation on explaingit →
📎
Send
By chatting or signing in you agree to the
Terms
and chat-message logging (revocable in
History
).