Imagine you run a print shop, and every day someone brings you a thousand nearly identical flyers — same layout, same fonts, same structure — but each has a different phone number in the corner. A per-hash AOT compiler is like re-typesetting the entire flyer from scratch for every phone number. SkelOT says: typeset the layout once, leave a blank for the phone number, and stamp in the variable at print time. That's the entire paper. The committed claim: across real Ethereum-family chains, 23–48% of unique compilable bytecodes are structural siblings that differ only in embedded constants (addresses, fee parameters, token IDs). Current AOT compilers like revmc, evmone, and DTVM key their compilation cache on the full bytecode hash, so they redundantly compile structurally identical code thousands of times. SkelOT lifts the compilation unit from code hash to "family skeleton" — the instruction sequence minus variant constants — and compiles one native artifact per family, reading the variable constants from a per-contract runtime lookup table. The engineering is built atop revmc and LLVM. The skeleton extraction process identifies which constants are invariant across a family (baked into the compiled artifact) versus variant (loaded at runtime from a table). This is not a compiler optimization pass in the traditional sense — it's a change in the granularity of the compilation cache key. The authors evaluate on a 10K-block Base mainnet corpus spanning 3.52 million transactions, which is a real and meaningfully sized workload, not a synthetic benchmark. The numbers are concrete and internally consistent. Compilation units drop 47.5%, artifact disk footprint drops 57.4%, and total compile time decreases by 2.19×. At runtime, median per-contract execution speed improves 1.31× across family members. Critically, execution outcomes are byte-identical to per-hash AOT — there is zero semantic divergence. Under a compile budget targeting 75% execution-time coverage, SkelOT needs substantially fewer artifacts, and the advantage holds monotonically across all coverage targets. The baseline is the right one: per-hash AOT compilation using the same revmc/LLVM backend, evaluated on the same corpus. This is an apples-to-apples comparison where the only variable is the compilation granularity. The authors also characterize the family structure across four chains (Base, Ethereum, BSC, Arbitrum), showing that the redundancy pattern isn't chain-specific but a structural consequence of how smart contracts are deployed (factory patterns, proxies, templates). The integrity story is solid for a systems paper. Byte-identical execution guarantees mean correctness is not statistical — it's deterministic. The corpus is a real mainnet trace, not a synthetic workload. The paper is accepted at EuroSys 2027, which is a top-tier systems venue with rigorous artifact evaluation. What's missing is independent replication and evaluation on workloads beyond Base (the multi-chain analysis is structural, not runtime). The limitation worth naming: the 1.31× runtime speedup is modest and comes from better instruction-cache behavior (fewer distinct artifacts means more cache hits), not from the compilation change itself. The big win is on the compile side — time, storage, and coverage under budget constraints. For blockchain node operators, the compile-time savings are the actionable result. The runtime gain is a bonus, not the headline.
