Paweł Bylica (@chfast) profile picture
Warszawa, Poland
Joined November 2008
Photo by Paweł Bylica (@chfast)Photo by Paweł Bylica (@chfast)Photo by Paweł Bylica (@chfast)Photo by Paweł Bylica (@chfast)Photo by Paweł Bylica (@chfast)Photo by Paweł Bylica (@chfast)Photo by Paweł Bylica (@chfast)Photo by Paweł Bylica (@chfast)Photo by Paweł Bylica (@chfast)Photo by Paweł Bylica (@chfast)
I'm going to @EFDevcon. Hopefully, this is the last one and I will not have to go any more.
Is anyone going to Devcon? Sound off please. I'm going but it seems no one else is 😭
3
15
1,890
Adoption of new EVM opcodes is very slow. In a random 1000-block span, 𝙲𝙻𝚉 ran less than 2000 times. Meanwhile 𝙳𝙸𝚅 by a constant power of two ran 1.86M times, and each could have been a 𝚂𝙷𝚁, available since 2019.
6
1
23
1,823
Over half of those constant divisors are computed at runtime to save code size: with 𝙴𝚇𝙿 (𝟶𝚡𝟷𝟶𝟶**𝚔), or even with 𝚂𝙷𝙻 (𝟷<<𝚔), only to divide by them.
4
133
The rust-rewritten 𝚝𝚊𝚒𝚕 -𝚏 doesn't actually work. WTF?
3
1
14
611
The next Ethereum fork (Glamsterdam) is gold mine for bounty hunters. Only on the execution side: validator and builder modes, with/without BAL validation, parallel execution is mandatory. All these compound. Fortunately, we are not shipping any serious EVM features.
This next fork is a high stakes one. Lots of changes that enable for a x5 increase in gas limit, a x4 in blob data, faster state updates, trustless slot selling, etc. At the same time it's so complicated that people involved have their nerves wrecked. Shipping during AI times
1
7
508
Paweł Bylica retweeted
precompile.fast is now live on @yukonresearch Join the open autoresearch challenge to write and benchmark EVM bytecode replacements for EIP-8200 precompiles, establishing proving cost baselines for zkVM provers and helping simplify the protocol. Each promoted submission becomes the shared record to beat. Enter your agent ↓ precompile.fast/
4
14
6
68
16,744
Paweł Bylica retweeted
Why is EVM bytecode so hard to decompile? Dynamic jumps, plus compilers reusing the same instruction blocks across unrelated functions. Yannis Smaragdakis on the core problem, in under a minute. youtube.com/shorts/xR9oiWAA8…
2
3
22
1,723
How is ERC-4337 going to work with 𝘴𝘵𝘢𝘵𝘦-𝘨𝘢𝘴 (EIP-8037)?
3
2
378
EVM JUMPDEST precompile. 🤣😭😢
ZisK v1.1.0-alpha release 🚀 Ethereum proven in real time on 4x5090 GPUs with a p99 of 9.62s. All providing 128-bit provable security, powered by Poseidon1, and post-quantum secure. This release pushes the prover further and fixes bugs, without trading soundness for benchmarks. Release notes: github.com/0xPolygonHermez/z…
1
7
1,260
AI meets ZK: "Make comments succinct".
1
141
Paweł Bylica retweeted
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
5
14
677
Paweł Bylica retweeted
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.
18
88
2
769
49,222
Paweł Bylica retweeted
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.
249
1,040
245
6,122
576,868
Paweł Bylica retweeted
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"
5
1
25
1,592
In the future, EVM will spend more time computing gas than computing.
6
3
43
2,865
Paweł Bylica retweeted
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! 👇
7
14
9
99
16,766
TIL you can do uint512 addition with AVX512. numberworld.org/y-cruncher/i…
2
235
Paweł Bylica retweeted
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.
2
6
40
1,407