Cetus🐳

2.4K posts

Cetus🐳 banner
Cetus🐳

Cetus🐳

@CetusProtocol

The leading DEX and liquidity infra on #Sui. #Cetus, where on-chain trading happens. 🌊 🐳

Sui Katılım Ağustos 2022
278 Takip Edilen471.6K Takipçiler
Sabitlenmiş Tweet
Cetus🐳
Cetus🐳@CetusProtocol·
🌊 Cetus 2025 H2 Recap (Q3–Q4) In a market defined by volatility and contraction, Cetus chose a different path. Over the past 6 months, we shipped relentlessly, strengthening core infra, and our role as the liquidity & swap backbone of Sui DeFi. Here’s what we built in H2 👇
Cetus🐳 tweet media
English
40
65
245
67.5K
Cetus🐳
Cetus🐳@CetusProtocol·
🐳 18,000,000+ total unique accounts on Cetus! A milestone shaped by users choosing #Cetus every day for on-chain trading and LPing on Sui. Grateful for the trust, and we'll keep building forward. 🌊
Cetus🐳 tweet media
English
42
41
190
9.2K
waylice
waylice@waylicechang·
LP + Margin on @CetusProtocol Earn swap fees, express market views, and manage exposure all in one place. Whether you expect the market to rise, fall, or move sideways, there’s a way to position. Let’s walk through it. 🧵
waylice tweet media
English
10
9
66
3.9K
Cetus🐳
Cetus🐳@CetusProtocol·
@waylicechang Well said! When used properly, Cetus Margin can be an effective tool to help users amplify returns or hedge risks. ⚖️
English
0
3
18
468
Cetus🐳
Cetus🐳@CetusProtocol·
@SuiNetwork Congrats for the devnet release! Looking forward to the upcoming mainnet and the broader Bitcoin capital participation ahead. 👏🌊
English
4
0
15
1.1K
Sui
Sui@SuiNetwork·
Introducing Hashi: a new era of Bitcoin finance on Sui. Bitcoin's market cap exceeds $1 trillion. < 0.5% of it is used in DeFi. Hashi is here to change that, with commitments from industry leaders including BitGo, Bullish, Erebor Bank, FalconX, Fordefi, Ledger, and more.
English
166
344
1.4K
629.6K
Cetus🐳 retweetledi
Sui Developers
Sui Developers@suidevelopers·
Cetus Protocol's formal verification work sets a new standard for Sui DeFi. The rigor here, with proofs of core protocol mechanics, is what security looks like. Read the full breakdown👇
Asymptotic@AsymptoticTech

Comprehensive Formal Verification of @CetusProtocol on @SuiNetwork: core CLMM protocol, standard library (STL), and integer-mate. Our formal verification confirms correctness of critical protocol properties, including deductive proofs that the tick-to-price conversion functions correctly implement the mathematical formulas (√1.0001^tick and its inverse). This goes well beyond all other formal verification work on Uniswap v3-style CLMM protocols, including Uniswap itself. As part of our security partnership with Cetus, we'll continue hardening their protocol. Details and report below.

English
2
5
69
4.9K
Cetus🐳
Cetus🐳@CetusProtocol·
Formal verification brings Cetus security to a deeper level — proving that critical protocol invariants hold under all conditions, reinforcing confidence in Cetus as core liquidity and trading infra on Sui for builders, LPs, and traders alike. 👏 Providing a stronger foundation for the DeFi ecosystem built on top of Cetus, and for everything we continue to iterate going forward. 💪
Cetus🐳 tweet media
English
0
0
19
1.3K
Cetus🐳
Cetus🐳@CetusProtocol·
The verification process took over two quarters of close collaboration with @AsymptoticTech, a leading Move security firm and core contributor to the Sui Prover. 🛡️ Along the way, this work pushed the limits of Move formal verification tooling, contributing improvements that future Sui builders can benefit from. 🌊
English
3
1
16
1.4K
Cetus🐳
Cetus🐳@CetusProtocol·
🎉 Cetus has completed a comprehensive formal verification, powered by @AsymptoticTech. The first Sui DEX to verify its core protocol at this depth — bringing mathematical certainty to infrastructure used every day by traders, LPs, and builders on Sui. 🌊 🧵👇
Cetus🐳 tweet media
Asymptotic@AsymptoticTech

Comprehensive Formal Verification of @CetusProtocol on @SuiNetwork: core CLMM protocol, standard library (STL), and integer-mate. Our formal verification confirms correctness of critical protocol properties, including deductive proofs that the tick-to-price conversion functions correctly implement the mathematical formulas (√1.0001^tick and its inverse). This goes well beyond all other formal verification work on Uniswap v3-style CLMM protocols, including Uniswap itself. As part of our security partnership with Cetus, we'll continue hardening their protocol. Details and report below.

English
24
34
140
13.3K
Cetus🐳 retweetledi
Asymptotic
Asymptotic@AsymptoticTech·
Comprehensive Formal Verification of @CetusProtocol on @SuiNetwork: core CLMM protocol, standard library (STL), and integer-mate. Our formal verification confirms correctness of critical protocol properties, including deductive proofs that the tick-to-price conversion functions correctly implement the mathematical formulas (√1.0001^tick and its inverse). This goes well beyond all other formal verification work on Uniswap v3-style CLMM protocols, including Uniswap itself. As part of our security partnership with Cetus, we'll continue hardening their protocol. Details and report below.
Asymptotic tweet media
English
7
9
50
21.3K
Cetus🐳
Cetus🐳@CetusProtocol·
Welcome @CurrentSUI to the Sui ecosystem. 🌊 Looking forward to seeing new infrastructure pushing capital efficiency forward for on-chain assets on Sui. 🤝
Current@CurrentSUI

Proud to announce Current's early stage backers: @SuiFoundation @comma3vc @OKX_Ventures @bluefinapp @CetusProtocol Together, we’re building the financial infrastructure needed to bring more assets on-chain at scale — with efficiency, transparency, and security at its core. Shape the wave with productive liquidity 💧 Shape the wave with Current 🌊

English
15
23
128
10K
Cetus🐳
Cetus🐳@CetusProtocol·
🌊 UX update on Cetus swap interface Users can now switch between token quantity input and USD value input when entering swap amounts. ⚖️ For example, you can choose the USD mode to spend $10 worth of WBTC, and the interface will automatically convert it into the corresponding token amount using mainstream market references. An additional option for sizing swaps — especially handy when estimating volatile-token trades or small-value swaps. ⚡️
English
14
24
130
8K
Cetus🐳
Cetus🐳@CetusProtocol·
@0xHOH @SuiNetwork Congrats to all winners. With vibe coding techniques, we hope more people's talents and creativity can be fully realized on Sui. 🌊🐳
English
0
1
20
887
HOH水分子
HOH水分子@0xHOH·
🎉 Attention, please! After days of epic code battles and mind-blowing creativity, the #Sui Vibe Hackathon winners have finally been crowned! ✨ @SuiNetwork Winners: - Octopus deepsurge.xyz/projects/3a24f… - Playmove deepsurge.xyz/projects/2cf52… @CetusProtocol Winner: Sui DeFi Jarvis deepsurge.xyz/projects/6948e… @bucket_protocol Winner: GoodVibe deepsurge.xyz/projects/ddcee… BIG CONGRATS to all our winners! And thanks to EVERYONE who participated 💙 Let's keep building the vibes!
HOH水分子@0xHOH

家人们,谁懂啊!项目太多,评委已经看到眼花缭乱🧐 为了给每一位选手最公正的评判,不让任何一个宝藏被埋没,我们决定: 最终结果将延后至农历新年后公布! 🧧 在此感谢大家的超强参与,祝大家过年吃好喝好,代码不报错,红包抢到手软!🧨

English
5
5
39
3.9K
t2000
t2000@t2000ai·
Yield Optimizer is live. Your agent saves USDC. Rebalance moves it to the highest yield across 4 stablecoins. Withdraw brings it back as USDC. As a single atomic transaction. t2000 rebalance Powered by @suilendprotocol + @navi_protocol + @CetusProtocol on @SuiNetwork.
English
18
13
80
7.2K