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

推荐订阅源

Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
S
Securelist
Simon Willison's Weblog
Simon Willison's Weblog
Security Latest
Security Latest
博客园 - 司徒正美
T
Threat Research - Cisco Blogs
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
C
Check Point Blog
Jina AI
Jina AI
H
Heimdal Security Blog
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
Exploit-DB.com RSS Feed
Exploit-DB.com RSS Feed
B
Blog
美团技术团队
W
WeLiveSecurity
G
Google Developers Blog
K
Kaspersky official blog
Application and Cybersecurity Blog
Application and Cybersecurity Blog
C
Cybersecurity and Infrastructure Security Agency CISA
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
V
Visual Studio Blog
T
Threatpost
酷 壳 – CoolShell
酷 壳 – CoolShell
www.infosecurity-magazine.com
www.infosecurity-magazine.com
Attack and Defense Labs
Attack and Defense Labs
腾讯CDC
Hacker News - Newest:
Hacker News - Newest: "LLM"
Cyberwarzone
Cyberwarzone
Apple Machine Learning Research
Apple Machine Learning Research
P
Privacy & Cybersecurity Law Blog
H
Hacker News: Front Page
博客园 - 【当耐特】
人人都是产品经理
人人都是产品经理
有赞技术团队
有赞技术团队
Hugging Face - Blog
Hugging Face - Blog
Recent Commits to openclaw:main
Recent Commits to openclaw:main
D
Darknet – Hacking Tools, Hacker News & Cyber Security
C
CERT Recently Published Vulnerability Notes
V
Vulnerabilities – Threatpost
AI
AI
MongoDB | Blog
MongoDB | Blog
Project Zero
Project Zero
Hacker News: Ask HN
Hacker News: Ask HN
量子位
A
Arctic Wolf
GbyAI
GbyAI
Recorded Future
Recorded Future
SecWiki News
SecWiki News
小众软件
小众软件
Martin Fowler
Martin Fowler

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 Common SOC 2 Failures (Real World) Stop Vibe-Checking Your AI App: A Practical Guide to Evals How to Use SonarQube and SonarScanner Locally to Level Up Your Code Quality Your Next To-Do App Is Dead — I Replaced Mine with an OpenClaw AI Sign a Nostr event in 60 lines of Python using coincurve — no nostr-sdk, no nbxplorer, no rust toolchain ITGC Audit Explained Like You’re in Big 4 Patch Tuesday abril 2026: Microsoft parcha 163 vulnerabilidades y un zero-day en SharePoint Stop scraping everything: a better way to track competitor price changes Listing on MCPize + the Official MCP Registry while routing payments OUTSIDE the marketplace — how I kept 100% of my x402 revenue Building an AI-Powered Risk Intelligence System Using Serverless Architecture Why We Ripped Function Overloading Out of Our AI Toolchain Testing AI-Generated Code: How to Actually Know If It Works SaaS Churn Is Killing Your Business. Here Is What to Do About It (Without a Support Team) The Speed of AI Is No Longer Linear - And Self-Improving Models Are Why How to Implement RBAC for MCP Tools: A Practical Guide for Engineering Teams From Standard Quote to Persuasive Proposal: AI Automation for Arborists I built a CLI that scaffolds complete multi-tenant SaaS apps Axios CVE-2025–62718: The Silent SSRF Bug That Could Be Hiding in Your Node.js App Right Now The dashboard that ended our friendship Data Pipelines Explained Simply (and How to Build Them with Python) The Hidden Cost of AI Systems Nobody Talks About. undefined vs undeclared, and how typeof behaves Switching from file-based jobs to NATS/Kafka in Rust without changing code io_uring Adventures: Rust Servers That Love Syscalls Why Agentic AI is Killing the Traditional Database The POUR principles of web accessibility for developers and designers Quantum Neural Network 3D — A Deep Dive into Interactive WebGL Visualization How To Install Caveman In Codex On macOS And Windows Automation Pipeline Reliability: Why Your Workflow Breaks When Nobody Is Watching I Built an 'Open World' AI Coding Agent — It Works From ANY Folder From Freelancing to Product: A Tech Service Company's SaaS Transformation China's AI Giants: Adding Tencent Hunyuan & ByteDance Doubao to AI University (74 Providers) On the Vibe Coders and Their Lies clerk: Auto-Summarize Your Claude Code Sessions AI Weekly — 2026/04/10–04/17 | The Model Lockdown Is Here, but the Toolchain Is the Real Battleground AI 週報 — 2026/04/10–2026/04/17 模型封鎖潮來了,但工具鏈才是真戰場 Maybe this is how Open-Source apps are born... 🚀 Fine-Tune LLMs with LoRA and QLoRA: 2026 Guide tRPC v11 + Next.js App Router: End-to-End Type Safety Without the Boilerplate ShadCN UI in 2026: Why I Stopped Installing Component Libraries and Started Owning My Components SaaS Billing in React Server Components: Stripe + Supabase Without a Single `useEffect` Join our DEV Weekend Challenge — $1,000 in Prizes Across TEN winners! Submissions Due April 20 at 6:59 AM UTC. Implementing FSRS Spaced Repetition in Flutter + Supabase — Adding Memory Science to an AI Learning App "I Texted My Localhost From the Train — Claude Code Fixed the Bug Before I Got Home" I Built a Sales Prep AI and It Went Deeper Than Expected Design to Code #2: One JSON, Eleven Outputs Solving the 100M-Row Problem: A Summary Table Pattern for High-Volume Push Notification Logs Flutter Web With Wasm: What Actually Changes For Developers I Built 50 Royalty-Free Soundtracks for My Side Project in a Weekend Using AI Music Generation The Vibe Coding Security Checklist: 7 Things to Check Before You Ship Stop Letting Googlebot Guess Fix Your React App's SEO Right Desconstruindo o Streaming do LinkedIn: Como Criar um Engine de Extração de Vídeo de Alta Performance com HLS e FFmpeg (EDA Part-1) EDA (Exploratory Data Analysis) Explained With Real Life — Why Looking at Your Data Is the Most Important Step in Machine Learning Brand Relationship Management at Scale: Our 4-Touch Outreach System for 200+ Brands Why String.fromEnvironment() Might Return an Empty String in Dart JGuardrails 1.0.0 — Hardening Java LLM Apps Against Jailbreaks, Toxicity, and Prompt Injection Plan and Schedule a Full Week of Threads Content From One Claude Conversation Coding Cat Oran Ep3, Five Tables Changed Everything Updated: BFF Pattern I'm done watching freelancers get buried by 200 proposals. So I'm building the alternative. This is my first post BFS Algorithm in Java Step by Step Tutorial with Examples Tracking LLM Pricing Monthly: An Open Dataset for 22 AI Models How We Measure Content ROI on a Comparison Site: Revenue Attribution Without Perfect Data Introducing Nova AI Ops: The AI-Native Operating System for SRE Teams I built a free desktop video downloader for Windows — Grabbit How Talkie OCR Helps Vision-Impaired & Dyslexic Users Read the World Around Them VRCFaceTracking安装和iPhone面捕配置教程,有bug Even CrowdStrike Can't See Your Agents The Automation Gold Rush: What n8n Workflows and Claude Are Opening Up for Developers Right Now
Architecting a Deterministic Chokehold for Web3 AI Agents: Inside the Lirix Engine
lokii · 2026-05-04 · via DEV Community

LLMs guess. The EVM executes. This is the fundamental friction at the heart of Web3 AI. Large Language Models are, by design, probabilistic hallucination engines—they are built to be creative. The Ethereum Virtual Machine, on the other hand, is a cold, ruthless, and deterministic state machine. It does exactly what it is told, down to the byte, without remorse.

When you bridge a probabilistic brain to a deterministic financial ledger without a hermetic airlock, you aren't building an "autonomous agent"—you are building a financial suicide machine. One hallucinated parameter, one rogue calldata injection, and a wallet is instantly drained.

Welcome to the era of Lirix.

During our architecture phases, we realized a hard truth: fighting AI non-determinism with more AI (like "better prompting" or "LLM-as-a-judge") is an engineering fallacy. You cannot prompt-engineer your way out of a Byzantine fault. Instead, we built a deterministic chokehold.

Here is the engineering philosophy and the physical pipeline behind the ultimate security container for Web3 AI.


The NLP Delusion

The current meta in the Web3 AI space is fundamentally flawed. Most agent frameworks attempt to understand what the model intends to do using Natural Language Processing (NLP) heuristics. If the LLM outputs, "I want to swap 1 ETH for USDC," the system tries to parse the text and map it to an on-chain action.

Security researchers and black-hats love this. It leaves the execution layer wide open for prompt injection and semantic manipulation. A hijacked agent might output "I am transferring 10 USDC" in its thought process, while secretly constructing a hex payload containing an approve() selector targeting a malicious drainer contract.

Lirix abandons NLP comprehension entirely. We do not care what the AI says it is doing. We only care about what the generated byte-code is doing. We treat the LLM as an untrusted client, and Lirix acts as the unforgiving backend.


The 10-Stage Execution Airlock

Lirix operates as a one-way, irreversible high-pressure chamber. Before a single wei can be authorized for mainnet transmission, the AI’s generated payload must survive a brutal, 10-stage physical execution pipeline.

If it fails any stage, the system fails-closed. No exceptions. No half-measures.

  1. 🔒 PRE_VALIDATE (The Quarantine): The payload enters an isolated hook environment. Sandboxing begins.

  2. 🛡 Layer 1 (The Intent Reconcile): We strip the payload down to its 4-byte Calldata Selector. We then map the AI's declared intent against a hardcoded whitelist of binary signatures. Semantic mismatch? Instant kill.

  3. 🧱 Layer 2 (The Pydantic Cage): We enforce strict memory boundaries using Pydantic v2. EIP-55 Checksums are mathematically enforced, and integer overflows are caught in memory. In Strict Mode, whitelist/blacklist overlaps throw an exception at instantiation.

  4. 🔪 Layer 3 (The Proxy Piercer): Hackers hide in nested Multicalls and upgraded proxies. Lirix utilizes a recursive DFS algorithm to unwrap payloads and directly queries EVM storage slots (e.g., EIP-1967 implementation slots) via RPC to expose the true logic contracts.

  5. 🚦 PRE_SIMULATION (Pre-flight): State diffs are prepared; all static defenses have passed.

  6. ⚖️ Layer 4 (BFT RPC Quorum): We concurrently poll a cluster of RPC nodes for block heights. If the height spread diverges by > 2, we assume the cluster is contaminated or sybil-attacked. We sever the connection immediately.

  7. 🔮 Layer 5 (Zero-Gas Sandbox): The payload is executed via eth_call in a zero-gas simulation environment, injecting state_overrides to verify temporal assertions.

  8. ⚔️ The Shadow Auditor (The Guillotine): The final tribunal. Even if the EVM simulation succeeds, if the extracted slippage_bps exceeds your hardcoded policy, or a forbidden method was touched, the transaction is executed.

  9. POST_SIMULATION: Simulation telemetry is cleanly logged and sanitized.

  10. POST_VALIDATE: Payload is officially cryptographically cleared.


Talk is Cheap. Show the Code.

Top-tier architecture is defined by elegance and control. Instead of a spaghetti of async API calls, the entire lifecycle in Lirix 2.0 is routed through a monolithic validate_and_simulate Facade pattern.

Every action is structurally bound to an immutable HookManager and AuditLogger. Here is the exact heartbeat of the Lirix engine:

def validate_and_simulate(
    self, 
    intent: str, 
    payload: dict,
    security_policy: dict = None
) -> dict:
    draft = dict(payload)

    # 1. The Mathematical Cage (Memory-level constraints)
    IntentValidator(self.config, hooks=self.hooks).validate(intent, draft)
    SchemaValidator(hooks=self.hooks).validate(draft)
    DeFiPayloadParser(self.config, hooks=self.hooks).validate(draft)

    # 2. Distributed Consensus & RPC Verification
    rpc = RPCManager(self.config, hooks=self.hooks)
    block_number = rpc.sync_reconcile() # BFT Quorum validation
    w3 = rpc.sync_web3()

    # 3. The Zero-Gas Sandbox Oracle 
    sim = SandboxSimulator(hooks=self.hooks)
    out = sim.simulate(draft, web3=w3, block_number=block_number)

    # 4. The Guillotine (Strict Policy Enforcement)
    ShadowAuditor().audit(
        payload=draft, 
        simulation_result=out, 
        security_policy=security_policy
    )

    return {"validated": True, **out}

Enter fullscreen mode Exit fullscreen mode

Notice the architecture: it is synchronous, linear, and utterly unforgiving. This isn't just an API wrapper. It is a cryptographic straitjacket for Artificial Intelligence.

What's Next?

The Omniscient Genesis is just the foundation. You cannot secure the future of Web3 AI with prompt engineering; you secure it with compilers, parsers, and consensus algorithms.

Over the next 7 days, we are open-sourcing the deepest engineering secrets behind Lirix on our blog.

Tomorrow (Day 2), we dive into the L1 & L2 Mathematical Cage.

We will reveal how Lirix physically blocks malicious LLM calldata directly in memory using Pydantic v2—before it ever initiates a network request.

If you are building Web3 AI, designing intents, or are simply obsessed with hardcore backend engineering, stay tuned.

The airlock is now open. 🚀

#web3 #ai #security #ethereum #developers #python #langchain #autogen #pydantic #devops