Paweł Bylica
@chfast
Followers
2K
Following
2K
Media
44
Statuses
816
Warszawa, Poland
Joined November 2008
TIL
@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
Is anyone still using EVMC? I plan to stop maintaining it soon. https://t.co/mGnv8NXLyu
github.com
EVMC – Ethereum Client-VM Connector API. Contribute to ipsilon/evmc development by creating an account on GitHub.
3
2
16
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
On this spooky night, we say goodbye to our old friend… https://t.co/IqKAbcS6Yu
github.com
Bye-bye, EOF. Removed The implementation of the EVM Object Format version 1 (EOFv1) has been completely removed. #1321 implementation of EOF validation and execution, implementation of DUPN, SWAP...
3
1
9
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
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
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
The most recent zkVM development: use snake_case instead of camelCase in JSON tests.
0
0
3
C++26 will have contracts support. It should soon replace Solidity.
1
0
11
Dynamic jumping good.
@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
Can you prove an EVM program will not jump into its "data section"?
4
0
4
This is how EVM should be designed.
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