Ipsilon @teamipsilon

I'm trying to reproduce the famous 800x overhead and this is currently impossible because the source code of the benchmarks is not unavailable although the paper states it is. This is my investigation so far: ethereum-magicians.org/t/long-term-l1…

Uma Roy @pumatheuma

a year ago

By the way, the recent @VitalikButerin proposal around replacing the EVM with RISC-V was based on results we found in this paper about the 800x provability overhead of EVM in SP1. Some numbers from the paper:

267 259 961 255K 78

1 3 27 3K 2

View Details

Paweł Bylica @chfast

a year ago

@androolloyd @real_philogy @teamipsilon @solidity_lang Why don't you read the spec then? This is the Rationale section about new EXTCALL instructions' status codes. Please also check the matching specification part. We are waiting for feedback for exactly 2 years. eips.ethereum.org/EIPS/eip-7069#…

3 1 3 395 0

View Details

Ipsilon @teamipsilon

a year ago

The team prepared valuable input to the discussion on @solidity_lang libraries "compilation to EOF" issues. notes.ethereum.org/@ipsilon/eof_s… It's worth reading and decide if it's complicated or easy.

7 11 66 15K 25

View Details

Danno Ferrin @shemnon

a year ago

There has been a lot of talk about the promise of RISC-V for Ethereum execution lately, but I don't think there has been sufficient thought about _how_ we get to that place. Here are my thoughts about how the transition could work and how EOF fits in. notes.ethereum.org/@ipsilon/eof-e…

7 24 109 20K 45

View Details

Ipsilon @teamipsilon

a year ago

A short explainer of why JUMPDEST-analysis exists by @chfast. It makes code-compilation feasible (fast JIT/AOT execution) and helps preventing certain kind of security problems. ethereum-magicians.org/t/why-evm-has-…

0 4 13 1K 5

View Details

Solidity @solidity_lang

a year ago

The EVM Object Format (EOF) is a long-awaited upgrade for the EVM. We wrote about our stance in support of it. Topics to expect in the post: ✧ Benefits of EOF ✧ Is EOF the only way? ✧ Can we solve "Stack Too Deep" without EOF? ✧ Why not EIP-615/EIP-2315? ✧ Do we really need immediate arguments? ...and more! Give it a read. →soliditylang.org/blog/2025/03/2…

6 68 231 17K 82

View Details

Ipsilon @teamipsilon

a year ago

Important EOF opinion from @solidity_lang team soliditylang.org/blog/2025/03/2…

0 7 19 1K 3

View Details

Ipsilon @teamipsilon

a year ago

Ipsilon has heard your feedback about introspection bans in EOF. In addition to the current plan of record (which we still support) we have three options that do not include the bans which will be discussed at ACDE on Thursday: notes.ethereum.org/@ipsilon/eof_f… See you at Eth O'Clock!

1 10 36 6K 6

View Details

Ipsilon @teamipsilon

a year ago

The contract size limit is nothing compared to Twitter's character limit. Here are Ipsilon members answering EOF questions in the Ethereum Magicians Forum: ethereum-magicians.org/t/ethereum-is-…

3 16 66 12K 10

View Details

Solidity @solidity_lang

a year ago

ICYMI, a major benefit that the experimental EOF support already provides is the elimination of "Stack Too Deep" errors using the SWAPN and DUPN opcodes. This will make the Yul to EVM transformation in compilation via IR simpler and more efficient. 🔗soliditylang.org/blog/2025/03/1…

Solidity @solidity_lang

a year ago

We are thrilled to release Solidity v0.8.29! This version of the compiler brings support for EVM Object Format (experimental), custom storage layouts, ethdebug, and more. 📝 Blog: soliditylang.org/blog/2025/03/1… 💾 GitHub: github.com/ethereum/solid… Follow along for notable features 🧵↓

17 188 727 119K 112

5 15 56 24K 16

View Details

Solidity @solidity_lang

a year ago

17 188 727 119K 112

View Details

Ipsilon @teamipsilon

2 years ago

What does EOF stands for?

2 2 2 695 0

View Details

Ipsilon @teamipsilon

2 years ago

EVMMAX will revolutionize writing crazy crypto for the EVM 🧑‍🔬 evmmax.org

1 2 12 528 1

View Details

Danno Ferrin @shemnon

2 years ago

EOF Devnet-2+ will contain mostly "additive" features that are Quality of Life oriented and addressing gaps identified by the community. These EIPs are listed in priority order. If we need to start getting in ship mode every EIP not yet in a devnet can be deferred.

1 1 2 218 0

View Details

Danno Ferrin @shemnon

2 years ago

EOF Devnet-1 fixes some spec issues that were cut from prague as the were only "nice to have." Nothing major, just a few items we don't want to see in a hypothetical "EOF Quirks" talk. Compilers and Developer tooling should start targeting the devnets here, because at this point the spec will mostly freeze, allowing only "additive" changes" and (barring serious bugs) no more breaking changes.