ciro @C17HL

Great to work with the Robinhood team on native perps and stocks integration. As @vladtenev and @JohannKerbrat mentioned, Lighter and Robinhood will continue to deepen the collaboration over time. Join us for the investor update tomorrow for more! 🇺🇸 x.com/Lighter_xyz/st…

Lighter @Lighter_xyz

2 months ago

Robinhood Wallet now offers native in-app perps trading powered by Lighter, enabling users to trade perpetuals and tokenized stocks on a new Lighter instance built for Robinhood Chain, using USDG as its quote asset.

48 80 599 208K 45

45 63 535 181K 27

View Details

ciro @C17HL

2 months ago

@linenmito @variational_io I saw your PnL, were you dn?

1 0 1 29 0

View Details

ciro @C17HL

2 months ago

@crypto_gateway Hyperliquid

0 0 0 188 0

View Details

Vladimir Novakovski @vnovakovski

2 months ago

Lighter's custom ZK circuits have been formally verified by Zellic. Dive into the math here! x.com/zellic_io/stat…

Zellic @zellic_io

2 months ago

We formally verified custom Plonky2 gates used in @Lighter_xyz, a fully verifiable decentralized exchange. Our approach? Export the constraints from Rust, generalize parameters, write a specification in Lean, then create machine-checkable proofs for soundness and completeness.

1 6 55 30K 13

12 29 217 24K 13

View Details

Lighter @Lighter_xyz

2 months ago

Advanced TWAP Orders are now live on Lighter! You can set randomization, aggressiveness, slice frequency, and more.

17 36 272 61K 22

View Details

ciro @C17HL

2 months ago

@camarones3000 La figa brother

0 0 0 33 0

View Details

ciro @C17HL

2 months ago

@scottmelker Hyperliquid

0 0 0 36 0

View Details

Peter Mintzberg @PeterMintzberg

2 months ago

When clients hear that 99% of @HyperliquidX fees go back to the protocol via buybacks¹, the value of $HYPE just clicks Hyperliquid's token burn mechanism resembles buybacks in traditional equity markets. As supply falls, each $HYPE token represents a bigger piece of the network That is one of many reasons for our conviction. We launched $HYPG to bring clients low-cost exposure to $HYPE² Hyperliquid

23 25 227 18K 20

View Details

ciro @C17HL

3 months ago

@imyuk0 - @Lighter_xyz - app.lighter.xyz/trade/ETH?refe… - @HyperliquidX

0 0 0 44 0

View Details

Lighter @Lighter_xyz

3 months ago

Announcing Lighter RFQ in beta! Available on the web app on eligible RWA markets. Enter and exit larger positions in one click with lower slippage and better pricing.

79 62 610 160K 74

View Details

Lighter @Lighter_xyz

3 months ago

Lighter's escape hatch just got independently verified: if the sequencer ever dies, you can generate a ZK proof and withdraw directly on Ethereum. Thanks to @l2beat for the writeup on our fully verifiable and permissionless onchain trading infrastructure.

L2BEAT 💗 @l2beat

3 months ago

For the first time, all ZK circuits used by Lighter perp DEX L2 were regenerated from sources by L2BEAT! Now you don’t have to trust the Lighter team to perform a permissionless emergency exit. 👇Learn more in the thread👇

15 53 334 184K 37

43 71 586 69K 37

View Details

ciro @C17HL

3 months ago

@x256xx Lighter brother. Gamble without fee

0 0 0 37 0

View Details

ciro @C17HL

3 months ago

@vnovakovski @satoshiheist @SenatorTimScott Super nova

0 0 0 113 0

View Details

ciro @C17HL

3 months ago

@chameleon_jeff @HyperliquidPC El jefe

0 0 0 9 0

View Details

ciro @C17HL

3 months ago

@ajey_eth Fuegoooo puro

0 0 0 67 0

View Details

ajey.lit (Perp Dex arc) @ajey_eth

3 months ago

People say “bro Lighter has a single sequencer so how can anyone trust it?” But I think most people still don’t understand where the real innovation of Lighter actually is. Most ZK rollups only prove the final balances. Example: > Rahul had 5 ETH > Aman had 0 > Rahul sent 2 ETH > Now Rahul = 3 ETH > Aman = 2 ETH That only proves the settlement was valid. But Lighter doesn’t just prove balances.It proves whether the entire trade execution itself was fair. Example: > Imagine you placed a BTC buy order at 100k > At that moment the orderbook had: - one seller at 100k - another seller at 101k > Logically the exchange should match the 100k seller first. Lighter’s ZK proof verifies: - when your order exactly arrived - what orders existed in the book at that moment - whether the matching engine followed the correct rules - whether someone unfairly got priority - whether you were intentionally given a worse price If the sequencer tries to cheat, the proof simply cannot be generated. And Ethereum directly rejects that state update. Ethereum is not running the exchange.It simply acts like the final boss/judge.Lighter processes thousands of trades offchain for speed. Then all those trades get compressed into a tiny cryptographic proof and that proof gets verified on Ethereum. > The math is simple: - valid proof = balances update - invalid proof = rejected completely And even if the sequencer disappears tomorrow or the website shuts down, users are still not stuck. Because the contracts live on Ethereum L1.Users can directly call “Force Withdrawal”. And if the sequencer still doesn’t respond, the system enters Exodus Mode.After that users can withdraw funds directly from the Ethereum bridge contract. frontend down does not mean your funds are gone. That’s the actual difference between “trust us bro” exchanges and mathematically verifiable infrastructure like Lighter. That’s it. Lighter 🕯️

Vladimir Novakovski @vnovakovski

3 months ago

@toly @aaalexhl In case you forgot - Lighter is fully verifiable and you acknowledged your mistake before. Guess there was a 6 month long context window.

14 17 202 17K 1

2 4 41 4K 5

View Details

Circle @circle

3 months ago

Circle 🤝 @Lighter_xyz Circle has partnered with Lighter to make USDC the default and preferred stablecoin across Lighter’s products. This includes: → Spot and perpetual trading → Settlement → Liquidations → Onboarding flows As onchain markets scale, trusted dollar infrastructure becomes core market infrastructure.