Register and share your invite link to earn from video plays and referrals.

Asymptotic
@AsymptoticTech
Asymptotically verifying all software infrastructure Audit & Formal Verification Partner of Sui Foundation
53 Following    978 Followers
The @CurrentSUI team is thorough when it comes to security. Before their upgrade, we made sure all the i’s were dotted and the t’s were crossed. Their on-chain code matches what we audited and formally verified. See our live report of the protocol here
Show more
Scheduled Maintenance Completed The scheduled maintenance has been successfully completed. The protocol upgrade to support the latest Pyth Oracle upgrade has been deployed as planned, and all post-upgrade checks have been completed. All Current functions are now fully operational, and normal protocol operations have resumed. User funds remained unaffected throughout the maintenance. Thank you for your patience and support.
Show more
In March, Hashi was first introduced: a new way to put $BTC to work on Sui without moving it off the Bitcoin network. Today, Hashi testnet is live.
0
94
994
187
Forward to community
Comprehensive Formal Verification of the @CetusProtocol DLMM We formally verified the core protocol and the router strategies built on it: swaps, positions, the math kernel, and the bin grid itself. Together with the CLMM verification we published in March, both of Cetus's AMMs are now comprehensively formally verified. @suidevelopers, check it out!
Show more
great to see the Sui Move Prover help keep 💧 protocols secure
@SuiNetwork @EvanWeb3 @EmanAbio @SuiNetwork_VN @SuiNetwork_TR @SuiNetworkNG @suidevelopers @WalrusProtocol @DeepBookonSui we ran Sui Move Prover against 1,726 lines of Move across 25 structs and 62 functions.
Show more
Comprehensive Formal Verification of the @bluefinapp CLMM on @SuiNetwork (heads up, @suidevelopers) We machine-checked the core mechanisms behind Bluefin's concentrated-liquidity AMM (pools, positions, and swaps, down to the math that swap solvency rests on) and proved they behave as specified. This is part of our ongoing security partnership with Bluefin.
Show more
Sui public mainnet just reached a peak of 6M+ TPS. Watch the livestream to see.👇
0
128
1.4K
470
Forward to community
→ @bluefinapp has been amazing as a security partner. We've been working together to create the processes and on-chain governance that ensure every package upgrade passes multiple security checks, including formal verification, before it ships. The team is extremely thoughtful about security on all levels: from formal verification to supply-chain defense to human processes.
Show more
Security has been a first-class citizen for both Bluefin and Suilend. Suilend was among the first lending protocols to build withdrawal rate limits directly into the protocol at inception, a standard we independently developed across Bluefin's own infrastructure. Their contracts have been audited by @osec_io, one of our long-standing audit partners, and formally verified by @Certora. That foundation is strong and complements our own posture. We've spent years thinking through and refining our risk models, including liquidation engines, isolated markets, oracle integrity, and black swan event behavior, all of which we'll be leveraging to refine how risk is handled here. It will also draw on our real-time security partners, OtterSec and @AsymptoticTech, which we'll use for all enhancements and to include their verification attestations for contract upgrades. The same engineering standards we hold at Bluefin will apply across both platforms: defense in depth from the contract layer through operations, institutional multisig custody, timelocked upgrades gated by audit-partner co-signers and a guardian pause, withdrawal limits sized to the real worst-case outflow, among the broader set of controls that make up our security standard.
Show more
We're looking forward to seeing everyone in person again! 👯
Sui Basecamp is back. October 7-8. Marina Bay Sands, Singapore 🇸🇬 with @token2049. The next $5 trillion in transactions won’t be human. The agentic future will be built on Sui. Build with us.
Show more
More institutional partners joining Hashi ahead of its global testnet. Excited to see this elegant approach to BTC collateral on Sui take shape. And proud to help keep it secure through formal verification.
Show more
Hashi is a native Sui primitive turning ~$1T of idle $BTC into productive financial collateral. Ahead of its global testnet launch this July, @CumberlandSays, @swissborg, and @0xfluid are the latest to join 20+ partners in the Hashi ecosystem.
Show more