Paweł Bylica

@ben_a_adams @InstLatX64 Like EVM.

@InstLatX64 Keccak1600 does want a cursed number of registers so likes to spill to stack (also problematic for SIMD). Not sure if by design or accident but APX should help a lot there (and for other stack spilling algos)

This is an important question, and now I finally have some static data: #Intel #APX has the shortest code path, at least in this hand-optimized #SHA3 / #Keccak1600 case

@gakonst Just use LLVM's musttail marker. #call-instruction" target="_blank" rel="nofollow noopener">llvm.org/docs/LangRef.h…

how can we stabilize tail call optimization in rust ASAP? we're happy to help fund it if necessary. can anyone connect me to the right people please?

@gakonst This is the Global Seed Vault on the picture. It has no code.

the reth team just returned from interop preparing for the Glamsterdam hardfork L1 scaling looking bright with ePBS, BALs, gas repricing and snap/v2 they also got to see the arctic code vault!

Last week we trespassed into the realm of RTP with 2 GPUs, this week we broke the 8 second barrier with zilkworm-airbender @eth_proofs Next-stop: Avg latency less than 10 seconds

@leonardoalt Some time ago AI had successfully corrupted my 2 independent git projects.

AGI

Fil-C is a C/C++ compiler that builds C/C++ projects into a binary with "complete memory safety". It is a great project by @filpizlo. In part because it is so easy to do, I am going to make sure that all the production-quality projects I manage support Fil-C directly. For the most part, this means skipping over direct assembly calls. You can still have the assembly calls, but you need some alternatives code path when building with Fil-C. As a side benefit, running the code with Fil-C serves as a sanitizer: if there is any bad memory business going on, Fil-C will just crash you out. Interestingly, Fil-C has no escape hatch. It is a totalitarian approach.

Researchers just proved that every single elementary function, sin, exp, log, sqrt, comes from one single binary operator. It is like finding the “God Particle" for calculus. In computer science, every complex program breaks down to a single logical operator: the NAND gate. It is the fundamental building block of all digital reality. But for continuous math, physics, engineering, machine learning, we thought we needed a massive toolbox. Addition. Subtraction. Trigonometry. Logarithms. Every scientific calculator and neural network has to juggle all of them. Until today. But this paper proved that every single mathematical function can be generated by a single, bizarre binary operator. eml(x,y) = exp(x) - ln(y). Combine that with the number 1, and you can build everything. Pi. The square root. Sine and Cosine. Arithmetic. It is all just the exact same operator, repeating over and over again in a binary tree. Nobody anticipated this existed. It was found by systematic exhaustive search. But the implications for AI are massive. Instead of an AI struggling to combine different mathematical rules to discover a new scientific law, it can just use a single, uniform architecture. One trainable circuit. One repeatable node. We thought the language of the universe was complex. It turns out, it's just one equation repeating in the dark.

GPU prices aren't gonna like this. Sub-12 second #etheruem #zkevm proving achieved on just 2 5090s ethproofs.org/clusters/5a74e… As a great man once said, "basically a toaster"

In the future, EVM will spend more time computing gas than computing.

Announcing powdr-wasm! powdr-wasm is an optimized zkVM for WASM, built on top of @openvm_org and the novel 𝑐𝑟𝑢𝑠ℎ ISA. Early benchmarks already show 1.5x fewer trace cells & faster proof times compared to RISC-V (OpenVM). It also supports Go guests via WASI! 👇

@adrianbrink We have CLZ now.

I get the overall vibe, but Ethereum isn't even friendly to developers as a protocol. We had an EIP-665 (eips.ethereum.org/EIPS/eip-665), which was implemented in every client to add ed25519 precompiles. However instead of doing the simple thing, someone proposed to generalize it (ethereum-magicians.org/t/precompile-f…); make it work for all curves. So as a result the former was abandoned and closed and then the latter was also abandoned and closed. The net result is that 8 years later, we still only have secpk1 and bn128 precompiles instead of at least also having ed25519, which everyone agrees is just better. So I get why people complain that this looks not focused enough on actual users, sure. But god the problem is that this is also not focused on any protocol user. There are a bunch of super low hanging fruits (like freaking precompiles) that would make deploying privacy tech 10x easier, but we haven't managed to improve the core protocol a single bit on that front for the last 8 years.

@big_tech_sux You just want the "stack too deep" to stay so you can point it out in every Solidity vs Vyper discussion.

eip-8024 is a pretty useless eip, there are much better and more useful improvements for the evm like fixing the 70s memory model, why are the core teams prioritizing this!!

TIL you can do uint512 addition with AVX512. numberworld.org/y-cruncher/int…

@drakefjustin @tcoratger How are you fixing blobs?

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.

@sina_mahmoodi Maybe keep this page in shape and up to date? #execution-clients" target="_blank" rel="nofollow noopener">ethereum.org/developers/doc…

Solidity compilation is now 5x faster than it was in 2023. The @solidity_lang team has been grinding on backend modernization, and they're not stopping. Next on their list is killing "stack too deep" errors for good. This is the kind of work that doesn't make headlines but keeps Ethereum moving.

Great post! On the security of autoprecompiles: we're working on multiple fronts: - optimizer & equiv checker in Lean - FV proving equiv of R5 code & generated circuits - simplifying the Rust code to a minimal core In the end autoprecompiles will enable better perf & security!

The fact drives a lot of talent away. You can just do things, but it must already be on Vitalik's todo list.

Fans of the C language, embedded engineers, compiler engineers -- take a look at this RFC to bring null safety and modern type narrowing to the clang compiler! discourse.llvm.org/t/rfc-flow-sen…