stepit

New work with @GalArnon42, Ale and Eylon! We show a few tricks to verify m evaluations of a univariate polynomials of degree d in time O(m + d) instead of the naive O(m*d) or O((m+d) * log^2(m + d)). This has applications to speeding the STIR verifier and PCS batching (and more?)

The Real Reason Anthropic built a Compiler youtu.be/6QryFk4RYaM?si… via @YouTube

Engineering skills are moving from P to NP.

I never imagined that computational complexity theory would be so fascinating

it's been almost half a year since i've written anything on here one of the biggest reasons is that twitter (do we still call it that?) has become somewhat overwhelming and depressing for me i guess i've always been a bit of a pessimist, but it seems like the rate of shit going extremely wrong has been accelerating dramatically recently, and every time i open the app to try to post i see something horrifying or jealousy-inducing and get sucked in and end up closing out in half an hour kind of fucked up for the rest of the day but i also think i've lost something significant by cutting off my main point of connection to the outside world at large, which is something i'd like to rectify going forward just to get the things out of the way that i'll probably be talking about so i'm not afraid to say it anymore: - i've been spending a lot of time learning to play music. currently learning piano, drums, and production in ableton. i'm very new at this but i'm honestly proud of many of the things i've made. - i'm increasingly horrified by the rate of ai progress and our lack of technological and social infrastructure to ensure that that goes well. i think we probably have one or two years left of anything vaguely normal looking left. - that belief makes it very, very hard to orient and find meaning in things. i.e. music. why learn to haltingly play the e flat major scale when suno is already better at piano then i'll likely ever be? - there are people, i suspect a lot of them who are going to read this post, who think this belief means i'm deluded or weak and i'm an example of how a dangerous ideology can ruin lives. they may be right. i really don't think so though. - i suspect the reason more people aren't feeling this way is that it is too horrifying to look at head on, and/or accepting it as real would imply too many very inconvenient or upsetting life changes, so we choose to look the other way. we've been doing this with death since time immemorial. - i'd like to help people wake up, though, and i'll be trying to do that more in the coming weeks and months

Where is your “don’t trust, verify” when you blindly trust your LLM code?

Lean

We need non USD backed stables.

Reconciliation with reality

Today marks an inflection in the Ethereum Foundation's long-term quantum strategy. We've formed a new Post Quantum (PQ) team, led by the brilliant Thomas Coratger (@tcoratger). Joining him is Emile, one of the world-class talents behind leanVM. leanVM is the cryptographic cornerstone of our entire post-quantum strategy. After years of quiet R&D, EF management has officially declared PQ security a top strategic priority. Our journey began in 2019, with the "Eth3.0 Quantum Security" presentation at StarkWare Sessions. Since 2024, PQ has been central to the @leanEthereum vision. The pace of PQ engineering breakthroughs since then has been nothing short of phenomenal. It's now 2026, timelines are accelerating. Time to go full PQ: → PQ ACD: Antonio Sanso (@asanso) kicks off a bi-weekly All Core Devs PQ transactions breakout call next month. These sessions focus on user-facing security, covering dedicated precompiles, account abstraction, and longer-term transaction signature aggregation with leanVM. → PQ foundations: Today we are announcing a $1M Poseidon Prize to harden the Poseidon hash function. We are betting big on hash-based cryptography to enjoy the strongest and leanest cryptographic foundations. Check out our other $1M PQ initiative, the Proximity Prize. → PQ devnets: Multi-client PQ consensus devnets are live! Shoutout to pioneers @zeamETH, @ReamLabs, @PierTwo_com, @geanclient, @ethlambda_lean, as well as established consensus teams Lighthouse, Grandine, and soon Prysm. This incredible teamwork is coordinated by @corcoranwill via weekly PQ interop calls. → PQ workshops: Building on last year's PQ workshop in Cambridge (see photo), the EF is hosting another 3-day PQ event in October. Top experts from around the world will convene. In addition, a PQ day is set for March 29 in Cannes just ahead of EthCC. → PQ FV and AI: Last week Alex Hicks (@alexanderlhicks) ran a specialised maths AI for 8 hours, at a $200 cost. It one-shotted a formal proof one of the hardest lemmas in the foundations of hash-based snarks. Mind-blowing. Applied cryptography will never be the same. → PQ roadmap: A comprehensive breakdown of the EF's proposed PQ strategy will be shared soon™ on pq[.]ethereum[.]org. The roadmap targets a full transition in coming years with zero loss of funds and zero downtime. Stay tuned :) → PQ education: The ZKPodcast (@zeroknowledgefm) is producing a 6-part video series on Ethereum's PQ strategy. EF Enterprise Acceleration is also preparing material for enterprises and nation-states. Finally, Ethereum is now represented on the PQ advisory board that Coinbase announced yesterday. Believe in something. Believe in PQ security.

If you are one of those bad engineers who still insist on pressing fingers to a keyboard to write code, you will probably want these Solidity snippets for your vim config: github.com/0xstepit/dotfi…

@gogoDiego Epic ahaha

<C-o> + motion = <3

For anyone confused about our pivot away from @cosmos, it’s quite simple; Tough times make strong men. We’ve been grinding away, trying to make things work for years and quite frankly chewing glass every step of the way. And yet, we: - onboarded 5 blue chip assets to Noble - processed 22B+ in tx volume - built a highly reliable and performant stack - built a blue chip L1 crypto brand (without!! A token) For a long time, we’ve dreamt about all of the awesome DeFi & payments apps we wanted to build, but were ALWAYS limited by @cosmos We will always love you @cosmos, but it’s simply time to move on!

@0xMagmar @Ethereal0ne You said you guys built Cosmos EVM, not me. Anyway, my tweet was just a joke, I thought was funny. Don’t take it personally, I’m just an unknown eng who counts zero in the eco. Better focusing on real problems, not these stupid things

@0xstepit @Ethereal0ne I don't think there's a single person who believes we build Cosmos-EVM from scratch, and doesn't know it used to be Ethermint

Noble leaving Cosmos = likely finally time for the Cosmos Hub to have its own USDC!

@0xMagmar @Ethereal0ne I was paid to work on it, so I’m not looking for any clap clap on my shoulder, but there were MANY not paid and open source controbutors there. You shit on all of them.

Yes, but it's demoralizing to rely on a team that speaks about Cosmos like this openly x.com/0xstepit/statu… Also, we have built Cosmos EVM and made significant improvements to Cosmos over the past year, that could have given Noble everything it's touting in this new release without the shift away. We tried to reach out to the Noble team many times over the past few months to help with these things, and get ghosted in Slack. I don't know what's going on internally, but the reality seems to be Noble doesn't want to be in Cosmos - and some engineers feel that so much that they publicly shit on Cosmos (or privately). I think you should just own that.

@0xMagmar @Ethereal0ne It was not my intention to question about this topic in the past, but since you bring it back to the table. YOU DIDN’T BUILD Cosmos EVM, you bought it. You can see here who built it: - github.com/cosmos/ethermi… - github.com/evmos/evmos

@julcaso 🫡

@0xstepit Noble is a company that issue USDC. They're sovereign to take any decision, even for EVM. Cosmos will be here with the right technology to interconnect them with other blockchains. See you soon @noblexyz

USDCosmosisdead

@cyberneticsmike Sorry bro

@0xstepit Wrong timing for "jokes"