惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

aimingoo的专栏
aimingoo的专栏
I
InfoQ
B
Blog RSS Feed
D
Docker
GbyAI
GbyAI
N
Netflix TechBlog - Medium
Y
Y Combinator Blog
F
Fortinet All Blogs
P
Proofpoint News Feed
Microsoft Azure Blog
Microsoft Azure Blog
人人都是产品经理
人人都是产品经理
Martin Fowler
Martin Fowler
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
M
MIT News - Artificial intelligence
C
Check Point Blog
Vercel News
Vercel News
云风的 BLOG
云风的 BLOG
博客园 - Franky
Google DeepMind News
Google DeepMind News
WordPress大学
WordPress大学
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
V
V2EX
Last Week in AI
Last Week in AI
L
LangChain Blog

DEV Community

Authentication Security Deep Dive: From Brute Force to Salted Hashing (With Java Examples) Why AI Systems Don’t Fail — They Drift Spilling beans for how i learn for exam😁"Reinforcement Learning Cheat Sheet" I Replaced Chrome with Safari for AI Browser Automation. Here's What Broke (and What Finally Worked) How Python Borrows Other People's Work The $40 Architecture: Processing 1 Billion API Requests with 99.99% Uptime Vibe Coding: A Workflow Guide (From Zero to SaaS) Most webhook security guides protect the wrong side. The scary part is delivery. Headless CMS for TanStack Start: Build a Blog with Cosmic EU Age Verification App "Hacked in 2 Minutes" — What Actually Happened Comfy Cloud’s delete function does not actually remove files Running AI Models on GPU Cloud Servers: A Beginner Guide Event-driven media intelligence with AWS Step Functions and Bedrock I scored 500 AI prompts across 8 quality dimensions — here's what broke How to Call Google Gemini API from Next.js (Free Tier, No Backend Needed) The Portal Protocol: Reclaiming Human Connection in the Age of AI How to Fix Your Team's Scattered Knowledge Problem With a Self-Hosted Forum Intro to tc Cloud Functors: A Graph-First Mental Model for the Modern Cloud Designing Multi-Tenant Backends With Both Ownership and Team Access I Built a Neumorphic CSS Library with 77+ Components — Here's What I Learned PostgreSQL Performance Optimization: Why Connection Pooling Is Critical at Scale Cómo construí un SaaS multi-rubro para gestionar expensas en Argentina con FastAPI + Vue 3 🚀 I Built an Ethical Hacking Scanner Tool – Open Source Project I Replaced /usage and /context in Claude Code With a Single Statusline A Pythonic Way to Handle Emails (IMAP/SMTP) with Auto-Discovery and AI-Ready Design I Collected 8.9 Million Polymarket Price Points — Here's What I Found About How Markets Really Move EcoTrack AI — Carbon Footprint Tracker & Dashboard Everyone's Using AI. No One Agrees How. 5 self-hosted ebook managers worth trying in 2026 Building Your First AI Agent with LangChain: From Chatbot to Autonomous Assistant
Beyond ERC-4337: Ethereum’s Transition into a Programmabl...
Ankita Viran · 2026-04-25 · via DEV Community

The misconception that quietly breaks real systems

Most engineers still think Ethereum is improving along familiar axes:

  • cheaper gas
  • better wallets
  • improved UX

That framing is shallow.

What is actually happening is structural:

Ethereum is separating who validates, who pays, who executes, and who proves

Once those responsibilities decouple:

a “transaction” stops being a primitive
it becomes a programmable pipeline

This shift is not incremental.
It changes how systems are designed, verified, and trusted.

Reconstructing Ethereum as a system

Instead of thinking in features, anchor on layers:

Ethereum = {
  Execution Layer
  Commitment Layer
  Verification Layer
}

Enter fullscreen mode Exit fullscreen mode

  • Execution → computes state transitions
  • Commitment → compresses state into cryptographic structure
  • Verification → proves correctness of execution

Most engineers study these in isolation.

That is a mistake.

The real system emerges from how these layers interact.

ERC-4337 is not account abstraction

ERC-4337 is widely misunderstood.

It is not:

  • a wallet upgrade
  • a UX improvement

It is:

a contract-based execution engine that replaces protocol-level transaction validation

This is a fundamental shift in where logic lives.

From transactions to execution pipelines

Image

Legacy model

User → sign transaction → protocol validates → execute

Enter fullscreen mode Exit fullscreen mode

Rigid. Non-programmable. Single path.

New model

User → UserOperation → Bundler → EntryPoint
     → validateUserOp()
     → execute()

Enter fullscreen mode Exit fullscreen mode

Now execution becomes:

Execution = Validation + Execution

Enter fullscreen mode Exit fullscreen mode

That separation is everything.

The hidden constraint: deterministic validation

Most failures in ERC-4337 systems happen here.

Validation must be:

  • deterministic
  • simulation-safe
  • independent of external state

Forbidden patterns:

  • block.timestamp
  • block.number
  • dynamic balance reads
  • external contract dependencies

Why this matters:

Bundlers simulate execution before including it on-chain

If your validation diverges:

  • the transaction is dropped
  • the bundler loses money
  • your system becomes unreliable

This is not theoretical. This is where production systems break.

Execution phase: full power, full liability

Once validation passes:

  • full EVM execution is allowed
  • arbitrary DeFi interactions
  • cross-contract calls

But:

failure still consumes gas

So execution is not just computation. It is economic exposure.

Gas is not a fee. It is risk.

Most developers treat gas as cost.

Wrong model.

Total Gas = Validation + Execution + Overhead

Enter fullscreen mode Exit fullscreen mode

But for bundlers:

Gas = capital at risk

If estimation is wrong:

  • execution fails
  • bundler absorbs loss

This creates a new class of system design constraints:

  • predictable execution paths
  • bounded gas usage
  • defensive validation

Paymasters: decoupling who pays

Image

The introduction of Paymasters changes the economic model entirely.

They enable:

  • gasless UX
  • token-denominated fees
  • sponsored transactions

But they also introduce:

  • new attack surfaces
  • griefing vectors
  • economic exploits

Common failure modes:

Attack Type Root Cause Mitigation Strategy
Gas draining Cheap validation paths Strict gas caps
Replay Weak domain design Domain separation
Reentrancy Unsafe postOp logic CEI pattern

Changing who pays changes the entire security model.

Smart accounts: identity becomes programmable

Smart accounts replace EOAs.

They enable:

  • multisig policies
  • session keys
  • social recovery
  • passkey-based authentication

But they introduce:

complexity that shifts bugs from protocol layer to application layer

This is not simplification.
This is moving responsibility to developers.

Signature evolution: from static to programmable

Current state

  • ECDSA signatures
  • fixed verification logic

With ERC-4337

  • custom validation logic
  • multi-sig schemes
  • WebAuthn integration

Emerging direction

  • BLS aggregation
  • zk-based authentication

Trade-off:

Property Benefit Cost
Aggregation O(1) verification Infra complexity
zk-auth Privacy + proofs Prover overhead

ERC-7702: collapsing the migration barrier

ERC-7702 changes the adoption curve.

Before

EOA → deploy smart account → migrate

Enter fullscreen mode Exit fullscreen mode

After

EOA → temporary programmable execution

Enter fullscreen mode Exit fullscreen mode

Impact:

  • no migration friction
  • backward compatibility preserved
  • faster ecosystem adoption

This is a bridge between legacy accounts and programmable execution.

Modular accounts: identity as composition

The direction is clear:

Account = Core + Modules

Enter fullscreen mode Exit fullscreen mode

Modules define:

  • authentication
  • execution logic
  • policy constraints

This leads to:

composable identity systems

But also:

fragmented standards and integration complexity

The convergence: execution, commitment, verification

Image

This is not just blockchain anymore.

This is:

a system that computes and proves state transitions

ZK systems change the endgame

Zero-knowledge proof systems require:

  • deterministic execution
  • efficient state commitments

ERC-4337 provides:

  • programmable validation
  • flexible execution paths

Together:

execution becomes programmable
verification becomes provable

Future flow: programmable + provable systems

User (Passkey)
 ↓
Smart Account
 ↓
Batched Execution
 ↓
ZK Rollup
 ↓
State Commitment (Verkle)
 ↓
Proof to L1

Enter fullscreen mode Exit fullscreen mode

At that point:

Ethereum becomes a verification layer
not the primary execution engine

When ERC-4337 is the wrong choice

Be honest about trade-offs.

Use Case Better Approach
High-frequency trading EOA
Simple transfers EOA
Consumer apps ERC-4337
ZK-native systems 4337 + ZK

If you use it everywhere, you’re overengineering.

What most engineers still miss

They study:

  • Merkle structures
  • account abstraction
  • ZK proofs

Separately.

That leads to fragmented understanding.

The real system is:

execution + commitment + verification interacting continuously

Final perspective

Ethereum is not evolving in features.

It is evolving in how it defines:

  • execution
  • identity
  • verification

That leads to a deeper conclusion:

Ethereum is becoming a programmable trust layer

Not just a place to run contracts.
A system that defines how truth is computed, encoded, and proven.