Paweł Bylica Profile
Paweł Bylica

@chfast

Followers
2K
Following
2K
Media
44
Statuses
816

Warszawa, Poland
Joined November 2008
Don't wanna be here? Send us removal request.
@chfast
Paweł Bylica
1 day
TIL
@filpizlo
Filip Jerzy Pizło
2 days
@vc9qc2rbcc @LundukeJournal Because of the Ken Thompson hack: "Ken describes how he injected a virus into a compiler. Not only did his compiler know it was compiling the login function and inject a backdoor, but it also knew when it was compiling itself and injected the backdoor generator into the
1
0
4
@somnergy
Somnath Banerjee
7 days
We are now proving @ethereum blocks with Zilkworm: a C++ core + EVMOne fork. Yesterday, we started posting on @eth_proofs This is how it's going! <1/4>
4
5
16
@chfast
Paweł Bylica
22 days
Require x86 ADX.
@URozmej
Łukasz Rozmej
22 days
New challenges for the internet: - Run Ethereum on Core 2 Quad - Run Ethereum on Phenoms - Final boss: Core 2 Duo
1
0
0
@somnergy
Somnath Banerjee
29 days
It's happening! From @ErigonEth, for @eth_proofs and @ethereum We are proving full mainnet blocks! What started as an exploration is now beating our expectations. Stay tuned. :D
0
5
9
@chfast
Paweł Bylica
1 month
Has anyone patched libsecp256k1 with @SuccinctLabs SP1 syscalls?
0
0
0
@somnergy
Somnath Banerjee
1 month
The C++ club is here with a ZKEVM. Here are some numbers with an Nvidia L4 + @SuccinctLabs SP1. @drakefjustin @ErigonEth Come for guest diversity, stay for performance. Stay Tuned. (P.S. Without accelerated precompiles)
0
5
13
@chfast
Paweł Bylica
1 month
I still can't spell "maintenance" at the first go.
1
0
5
@tcoratger
tcoratger
2 months
1/10 Today in the zkEVM book, we merged a new section by @rodiazet about the compilation pipeline that should help you to understand basically everything around guest program compilation. Go check it here: https://t.co/uGI1hnv6yW Small thread to summarize things 👇
1
3
19
@chfast
Paweł Bylica
2 months
The most recent zkVM development: use snake_case instead of camelCase in JSON tests.
0
0
3
@chfast
Paweł Bylica
2 months
🍻
@FUCORY
fucory guillotine summoner
2 months
Huge shoutout to the evmone team. The more I worked on the project the more. in awe I am at their performance engineering Well done and I look forward to the friendly competition
0
0
9
@chfast
Paweł Bylica
2 months
Has anyone tried EVM → LLVM → EVM optimizer?
1
0
2
@chfast
Paweł Bylica
2 months
C++26 will have contracts support. It should soon replace Solidity.
1
0
11
@chfast
Paweł Bylica
2 months
Dynamic jumping good.
@lightclients
ً
2 months
@donnoh_eth @daniellehrner @fede_intern RISC-V isn’t magically better and has many of the same fundamental problems as EVM, such as dynamic jumping.
0
0
2
@chfast
Paweł Bylica
3 months
Can you prove an EVM program will not jump into its "data section"?
4
0
4
@chfast
Paweł Bylica
3 months
Will Fusaka happen this year?
2
0
1
@chfast
Paweł Bylica
3 months
Besides, the same technique can be used to detect EVM stack overflow (stack space is 8×4KB). @keoneHD suggested this during Devconnect Amsterdam 2022. But I haven't seen this in production yet.
1
0
1
@chfast
Paweł Bylica
3 months
This is how EVM should be designed.
@qc_qizhou
Qi Zhou
3 months
I wrote an optimized EVM memory access demo showcasing the power of EIP-7923 by deferring boundary and allocation checks to the hardware. This relies on the assumptions defined in EIP-7923: - Memory is allocated in 4KB pages; - Page-based allocation; - A fixed memory limit
2
3
13