Ahmad Jawaid
@ahmadjawaid_
Followers
650
Following
117
Media
1
Statuses
27
Co-founder / CTO @bluefinapp. Building DeFi stuff. Prev @Tarjimly, CS @UCBerkeley
Joined January 2020
Just unveiled Bluefin Pro’s trustless architecture leveraging Nautilus TEE, attestations, and Walrus. Hats off to the team – months of building, refining and pushing limits.
1/ In decentralized finance, one trade-off has felt impossible to escape: speed or decentralization. If you want trustless custody, you usually accept high spreads and slippage. If you want low spreads and fast execution, you usually compromise on transparency or custody with
489
357
646
Built something we’ve wanted for a while. BluefinX – a zero-slippage, no-gas, MEV-resistant execution layer that runs competitive quote auctions and enforces execution on-chain, optimizing for price, reliability, and fairness. Let's dive in.
BluefinX is a new liquidity primitive on Sui that gives traders the best on-chain execution prices and unlocks a powerful new execution layer for the Sui ecosystem. In this podcast, Sam (@b1ackd0g), Co-Founder & CTO of Mysten Labs, Geo, Algo Trader at Wintermute, and Ahmad
10
16
89
Building capital efficiency across Bluefin Pro, Spot, and AlphaLend next. Your perps margin and spot positions will auto compound yield.
We are excited to announce that Bluefin is now a strategic stakeholder in @AlphaFiSUI’s AlphaLend product. AlphaLend will integrate directly with Bluefin Spot and Perps, enabling new strategies and unlocking a new level of capital efficiency. AlphaLend is now on Bluefin:.
5
2
22
Some of this has been in motion for some time, but excited for this new collaboration with @AsymptoticTech to get formal verification into our CI, especially where some of our protocol math reduces down to provable invariants. Should be lots more to share here soon.
1/ At Bluefin, we have been investing in deeper security layers across the stack: formal verification, architecture, incentives, and layered defence. We are now partnering with @AsymptoticTech to formally verify integer-mate – the core math library powering AMMs and DeFi systems
3
3
17
👀.
1/ Today, we are excited to announce the launch of Bluefin Spot, powered by the @SuiNetwork! This launch is a significant step towards our vision of building the most powerful decentralized trading system. Swap Now:
1
0
7
@eyezenhour @EmanAbio @SuiNetwork @bluefinapp @0xrooter @suilendprotocol @elliscopef @navi_protocol @kklas_ @kai_finance_sui Taking notes on how to host like @eyezenhour 📝.
1
0
10
All u256 math ops are now formally verified thanks to @AsymptoticTech. On to the remainder.
We’ve completed full formal verification of all u256 math operations from integer-mate, the culprit in the recent Cetus hack. Next, we’re further enhancing Sui Prover’s ability to handle complex bitwise operations needed to complete the proofs for the remaining signed and.
0
0
9
Big fan of the podcast @LoganJastremski and had a great time discussing all things @bluefinapp and @SuiNetwork - thanks for having us on!.
Many Individuals have incorrectly written off new Blockchains without understanding the magic these new ecosystems offer. Today's Podcast sets out to break that Myth. I'm launching my first podcast with @SuiNetwork breakout application @BluefinApp, which did over $4 Billion in
1
0
6
Just landed in Paris! See you soon 🫡.
Our head of business operations @_meetp_ and our CTO @ahmadjawaid_ will participate in two panels at @SuiNetwork Basecamp this week. If you’re in Paris, we would love to see you there!
1
0
6
5/ BluefinX is fully open – anyone can quote, bid, compete for flow, and act as an execution agent. Start integrating now: . Next, we're bringing this to Bluefin Perps – routing liquidations to the most competitive executor in real time.
1
0
3
4/ This wasn’t possible on Sui until a few weeks ago. @Mysten_Labs dropped a new object-level permissioning primitive. With @b1ackd0g, we designed this into a gating mechanism that holds signatures until both sides confirm, preserving atomicity without giving away unilateral.
2
0
4
@moon_shiesty It gives you enforcement without trust - no one can tamper with order logic, price-time priority, or outcomes without it being detectable and provable. Unlike the nasdaq example there’s no central authority coming back to change things, outputs are deterministic and final as.
0
0
3
3/ What this means for users:. • No slippage: quotes are fill-or-kill at the stated price.• No gas: covered by execution agents.• No MEV: pricing and execution happen atomically. And it’s all enforced at the protocol level.
1
0
3
2/ AMMs rely on passive liquidity – prices update after trades. That works in quiet markets, but incurs large slippage when things move fast. The auction model streams live prices from active participants. BluefinX routes across both pools and quotes which are guaranteed, not.
1
0
2
@moon_shiesty The code will be publicly verifiable. Re your q, just the same as any other matching engine, on-chain or not, settling balance to the wrong account. Ensuring high quality, tested, and audited code.
1
0
1