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

推荐订阅源

S
Security Affairs
S
Secure Thoughts
P
Proofpoint News Feed
K
KPMG report finds enterprise disconnect between AI and its ROI | CIO
S
Schneier on Security
V
Vulnerabilities – Threatpost
Security Archives - TechRepublic
Security Archives - TechRepublic
T
The Exploit Database - CXSecurity.com
A
Arctic Wolf
Latest news
Latest news
Hacker News - Newest:
Hacker News - Newest: "LLM"
AI
AI
T
Troy Hunt's Blog
H
Heimdal Security Blog
美团技术团队
Webroot Blog
Webroot Blog
P
Proofpoint News Feed
Hacker News: Ask HN
Hacker News: Ask HN
Google DeepMind News
Google DeepMind News
P
Privacy & Cybersecurity Law Blog
U
Unit 42
Google DeepMind News
Google DeepMind News
V2EX - 技术
V2EX - 技术
G
Google Developers Blog
N
News and Events Feed by Topic
Project Zero
Project Zero
The Register - Security
The Register - Security
N
Netflix TechBlog - Medium
IT之家
IT之家
月光博客
月光博客
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
N
News and Events Feed by Topic
Simon Willison's Weblog
Simon Willison's Weblog
L
Lohrmann on Cybersecurity
Schneier on Security
Schneier on Security
博客园_首页
Help Net Security
Help Net Security
AWS News Blog
AWS News Blog
Application and Cybersecurity Blog
Application and Cybersecurity Blog
S
Security @ Cisco Blogs
PCI Perspectives
PCI Perspectives
Cisco Talos Blog
Cisco Talos Blog
C
Cybersecurity and Infrastructure Security Agency CISA
H
Hackread – Cybersecurity News, Data Breaches, AI and More
D
Docker
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
阮一峰的网络日志
阮一峰的网络日志
Spread Privacy
Spread Privacy
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
The Hacker News
The Hacker News

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
🛡️ Lirix v1.3.0: Deterministic Security for AI Agents in the Dark Forest
lokii · 2026-04-24 · via DEV Community

AI agents + private keys is not innovation. It is operational debt with a liquidation timer.

A single hallucination can misprice a swap. A single stale RPC can poison an intent. A single unsafe action can turn a product demo into a post-mortem.

That is the problem Lirix was built to solve.

Today, we are launching Lirix v1.3.0 — the release that turns Lirix from a simple proxy into a deterministic security gateway for Web3 AI agents.

If v1.0.0 was the prototype, v1.2.0 was the hardening, then v1.3.0 is the moment the architecture becomes a real system:

  • AI can propose.

  • Lirix decides.

  • Your app signs only when the outcome is provably safe.

This is the technical retrospective from v1.0.0 → v1.3.0.


Why this exists

The current AI stack is incredibly good at producing plausible actions. That is exactly why it is dangerous.

Web3 does not forgive plausibility. It rewards determinism.

In Web3, an “almost correct” action is often the same thing as a loss:

  • a stale quote becomes MEV bait,

  • a honeypot token drains your balance,

  • a hidden tax token breaks execution assumptions,

  • a mismatched RPC state causes the agent to act on a false world.

Lirix was designed around a simple belief:

Security should not be inferred after execution. It should be proven before execution.

That belief shaped every release.


v1.0.0 → v1.1.2: Building the Faraday Cage

The first phase was about creating the boundary.

We wanted an environment where an agent could explore, simulate, and reason — without ever leaking into the live network during validation.

1. The async overhaul

Early on, we hit a classic Web3 bottleneck: eth_call deadlocks under concurrency.

That may sound like a small engineering issue. It is not.

For agentic systems, deadlocks are more than latency bugs. They destroy the trust model. If the validator cannot keep up with the agent, the system becomes non-deterministic under load.

So we rebuilt the async execution path to handle high-concurrency intent execution without flinching.

The result:

  • fewer race conditions,

  • cleaner request orchestration,

  • and a validation layer that behaves like infrastructure, not a best-effort helper.

2. The isolated test baseline

Security tools fail quietly when their test environments are porous.

So we built a 100% isolated Faraday Cage test suite with 250+ cases.

The goal was not just coverage. The goal was containment.

We wanted confidence that:

  • nothing accidentally touches the live net,

  • simulations remain deterministic,

  • and validation logic can be trusted under repeated execution.

This was the foundation. Without it, everything else would have been theater.


v1.2.0: State Delta Assertions

By v1.2.0, the question changed.

It was no longer enough to ask, “Can we simulate this?” The real question became:

Can we prove that the simulated outcome is the outcome we actually want?

That is where state delta assertions changed the game.

The core idea

Instead of validating only that a transaction “looks valid,” Lirix began validating what changes after execution.

That means the system can reason about:

  • token balance deltas,

  • expected asset movement,

  • and whether the result matches the intent.

The killer feature

This is where fluent assertions like:

  • .assert_erc20_balance_increase()

  • and other outcome-based checks

became foundational.

Why that matters:

A malicious token can pass superficial checks and still steal value. A honeypot can look liquid and still trap the user. A 100% tax token can make an execution technically succeed while economically failing.

Lirix v1.2.0 introduced a different standard:

If the state delta is wrong, the transaction is wrong.

That means Lirix can fail closed by default before a bad action is signed.

Not after.

Before.

That is the difference between a convenience layer and a security boundary.


v1.3.0: The Omnichain Quorum

If v1.2.0 was about proving outcomes, v1.3.0 is about proving reality.

Because one of the biggest risks in agentic Web3 is not bad logic. It is bad state.

A single RPC endpoint can lie by omission. A stale node can hand you a false world model. An agent that trusts one source too much becomes easy prey for MEV and latency games.

1. L4 multi-RPC quorum

Lirix v1.3.0 introduces a multi-RPC quorum layer.

Instead of trusting a single node, Lirix gathers state from multiple sources concurrently and diffs the responses.

This does two things:

  • it reduces reliance on stale reads,

  • and it hardens the agent against MEV-sensitive misinformation.

That matters because in a fast-moving onchain environment, the state you see is often the attack surface.

Lirix now treats read consistency as a security primitive.

2. Omnichain intent registry

Lirix v1.3.0 also lays the groundwork for cross-chain intent routing.

Why does that matter?

Because the future of Web3 is not single-chain. It is multi-domain, multi-router, and increasingly cross-chain by default.

We built the foundation for intent routing across systems like:

  • Wormhole,

  • LayerZero,

  • and other omnichain pathways,

while preserving the security boundary that makes Lirix useful in the first place.

In plain English:

Cross-chain flexibility should not mean cross-chain chaos.

3. Universal compatibility

Security infrastructure is only useful if it actually ships.

So v1.3.0 achieved 18/18 CI green across:

  • Python 3.9 → 3.14,

  • Ubuntu,

  • macOS,

  • and Windows.

That may sound boring. It is not.

For protocol infrastructure, cross-platform reliability is part of the trust surface. If the tool behaves differently across environments, the security model is already weaker than it should be.


The Lirix Triple-Zero Standard

We do not ask for trust. We design for minimized trust assumptions.

That is the philosophy behind the Triple-Zero Standard:

1. Zero-Key

Lirix does not take custody of your private keys. It validates and simulates. Your app signs. The separation is absolute.

This is crucial. The moment the security layer becomes the key holder, the architecture changes from protection to privilege concentration.

2. Zero-Telemetry

No analytics. No hidden operational leakage. No unnecessary surface area.

Your workflow stays local by default. That is not just a privacy preference — it is an attack-surface reduction strategy.

3. Zero-Trust

Every LLM output is treated as untrusted until it is proven safe.

This is the principle most teams claim to follow and few actually implement. Lirix implements it in the most practical way possible:

  • simulate,

  • verify,

  • assert,

  • and only then allow execution.

That is what makes the system deterministic.


From chaos to determinism in 3 lines

Sometimes the best way to understand a system is to see it in motion.

draft = (
    LirixTxBuilder("swap(address,uint256)", [USDC, 1000])
    # Prove the outcome or revert.
    .assert_erc20_balance_increase(WETH, 0.5)
    .build()
)

Enter fullscreen mode Exit fullscreen mode

That is the entire philosophy in miniature:

  1. the agent proposes an action,

  2. the system verifies the expected state change,

  3. and the transaction only survives if the result is mathematically acceptable.

In a space full of “smart” abstractions, this is intentionally blunt. Because security should feel boring when it works.


What this means for builders

If you are building on:

  • LangChain,

  • AutoGen,

  • a custom agent stack,

  • or any workflow where an LLM can influence onchain actions,

then your biggest risk is not that the model is wrong. It is that the model is confidently wrong at scale.

Lirix exists to make that failure mode survivable.

It gives you:

  • deterministic validation,

  • state-aware assertions,

  • multi-source state checking,

  • and a clean boundary between reasoning and signing.

That boundary is the product.


Final verdict

The Web3 AI era is here. So is the Dark Forest.

And the gap between them is not hype. It is engineering.

Lirix v1.3.0 is our answer to that gap:

  • a security gateway built for AI agents,

  • a deterministic execution boundary for Web3,

  • and a framework for proving safety before value moves.

If your agent is going to touch private keys, then “probably safe” is not a strategy.

Determinism is the strategy.


Get started

  • Install: pip install lirix

  • GitHub: lokii-D/lirix

If you are building in the open and shipping agentic Web3 systems, I would love to hear how you are approaching deterministic execution, simulation, and state verification.


Tags

#Web3 #AI #Security #Ethereum #DevOps #Python #DeFi #Hashnode #Developers