Alex Xiong (@alex_xiong_) 's Twitter Profile
Alex Xiong

@alex_xiong_

Another Look™ at cryptographic engineering made simple, revisited. @EspressoSys

ID: 2911905230

linkhttps://github.com/alxiong calendar_today27-11-2014 13:21:08

494 Tweet

1,1K Followers

478 Following

Ellie Davidson ☕️ (@ellierdavidson) 's Twitter Profile Photo

I love Espresso’s work all the time, but Based Espresso has me excited like nothing else. All I want to do is talk about it with people. It’s seriously so neat!

Alex Xiong (@alex_xiong_) 's Twitter Profile Photo

lol, the amount of time i used to debug python code could allow me to compile rust equivalent many times over Most time wasted on either writing ugly if-else for handling various second-guessed incoming types or breakpointing in debugger to inspect type at runtime 🤦🏻‍♂️

Espresso ☕️ (@espressosys) 's Twitter Profile Photo

After two years of R&D, five testnets & integration plans with >20 chains, we’re excited to announce the Espresso Network is now live on mainnet! This launch is a major milestone, both for our team and along the path to making Ethereum composable again. Read on to learn more ☕️

Tom Gur (@tomgur) 's Twitter Profile Photo

Excited to share this new paper with Jack O'Connor and Nick Spooner! We improve our ZK-PCP construction to cover all of NEXP (with exponential proofs), scale it to NP with polynomial proofs, and obtain O(1)-locality via composition--yielding a ZK analogue of the PCP theorem. 1/3

Excited to share this new paper with Jack O'Connor and <a href="/_nickspoon/">Nick Spooner</a>! We improve our ZK-PCP construction to cover all of NEXP (with exponential proofs), scale it to NP with polynomial proofs, and obtain O(1)-locality via composition--yielding a ZK analogue of the PCP theorem. 1/3
Ron Rothblum (@ronrothblum) 's Twitter Profile Photo

1/ Excited, but frankly quite worried, about a new work with the wonderful 🏴 levochka.eth 🏴 💙💛🇮🇱☀️🦁🗡️ and Dmitry Khovratovich: ia.cr/2025/118 We break soundness of a standard protocol (essentially commit to witness and run GKR) by constructing a circuit for which we can prove a false statement.

jill | espresso ☕ (@jillrgunter) 's Twitter Profile Photo

Incredibly proud of everything the Espresso team has shipped in the last 4 years, so a little recap: 1/ ☕️⛓️: a chain purpose-built for fast, secure cross-chain confirmations (& performant DA) Running on permissioned mainnet since November, first chains integrating now 👇

Alex Xiong (@alex_xiong_) 's Twitter Profile Photo

It's intoxicating to see masters of their craft having total command of their instruments. mesmerizing youtube.com/watch?v=TURkB9…

Alex Xiong (@alex_xiong_) 's Twitter Profile Photo

Unreal to live in Silicon Valley moment. I tasked Google Gemini App to fix a specific function, explicit target It went off, doing AGI level thinking for 10mins, Then I’m glad to see it reported “All tests passing!” Then, hmmm… why 0 tests? Ah, entire file incl tests deleted.

Unreal to live in Silicon Valley moment. 

I tasked <a href="/GeminiApp/">Google Gemini App</a> to fix a specific function, explicit target

It went off, doing AGI level thinking for 10mins, 

Then I’m glad to see it reported “All tests passing!”

Then, hmmm… why 0 tests?

Ah, entire file incl tests deleted.