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

推荐订阅源

让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
L
LangChain Blog
雷峰网
雷峰网
罗磊的独立博客
Hugging Face - Blog
Hugging Face - Blog
T
Tailwind CSS Blog
V
Visual Studio Blog
博客园_首页
Apple Machine Learning Research
Apple Machine Learning Research
Last Week in AI
Last Week in AI
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
博客园 - 司徒正美
有赞技术团队
有赞技术团队
J
Java Code Geeks
酷 壳 – CoolShell
酷 壳 – CoolShell
大猫的无限游戏
大猫的无限游戏
Engineering at Meta
Engineering at Meta
B
Blog
Recent Announcements
Recent Announcements
C
Check Point Blog
MongoDB | Blog
MongoDB | Blog
GbyAI
GbyAI
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
F
Full Disclosure
Microsoft Security Blog
Microsoft Security Blog
N
Netflix TechBlog - Medium
I
InfoQ
云风的 BLOG
云风的 BLOG
量子位
D
Docker
D
DataBreaches.Net
Vercel News
Vercel News
Blog — PlanetScale
Blog — PlanetScale
宝玉的分享
宝玉的分享
V
V2EX
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
Y
Y Combinator Blog
美团技术团队
小众软件
小众软件
阮一峰的网络日志
阮一峰的网络日志
博客园 - 聂微东
B
Blog RSS Feed
MyScale Blog
MyScale Blog
月光博客
月光博客
T
The Blog of Author Tim Ferriss
WordPress大学
WordPress大学
aimingoo的专栏
aimingoo的专栏
M
MIT News - Artificial intelligence
U
Unit 42
Google DeepMind News
Google DeepMind 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
Why AI Agents in Banking Need a Proof Layer
nahat ser · 2026-06-25 · via DEV Community

nahat ser

The Question No One Can Answer

Picture this: a bank deployed an AI agent to help with transaction approvals. Three weeks later a regulator shows up and asks a simple question: "On June 3rd your agent approved transaction #8492 for $47,000 — why?"

The bank goes to check the logs. The logs say "approved." But they don't say why. The agent's reasoning is gone, the context is lost, and the logs live on the same server where the agent runs. There's no way to prove to an external auditor that the decision was correct without asking them to trust the bank's own infrastructure.

This is not a hypothetical problem. Banks right now are starting to use AI agents for real things — moving money, making decisions, talking to customers — and the question of "how do I prove what my agent did last week?" is one that most of them cannot answer today.

I know because I've been researching this for months. And I built something that tries to fix it.


The Problem With Logs

Logging is the default solution for tracking AI agents. Every framework writes logs. Every platform stores them. But logs have three problems that make them useless for regulated environments:

Logs can be changed. If someone with access to the server wants to modify a log entry, there's usually nothing stopping them. No signature, no chain, no external verification. A log is just a text file.

Logs depend on the server that produced them. If you want to verify what an agent did, you need to access the original system. You need to trust that the system wasn't tampered with. In banking, regulators want to verify things without needing to trust the bank's infrastructure.

Logs don't capture reasoning. Most logs record "what happened" but not "why the agent decided that." An AI agent's reasoning process is where the compliance value is. Logs usually just record the outcome.

Banks are required by regulations like the EU AI Act (which becomes active in August 2026) to keep records of high-risk AI system decisions. Article 12 specifically talks about automatic record keeping. But the regulation doesn't tell you how to do it — it just says you must.


What I Built — TraceProof

TraceProof is an open-source system I built in Rust that creates a signed record of each AI agent decision. Think of it like a chain of evidence that follows every step the agent takes, signed with cryptographic keys so anyone can verify it later without needing to trust the system that produced it.

Here is how it works at a high level:

Agent decides something → Record is created → Signed with private key
→ Added to the chain → Anyone can verify later with the public key

Each record contains:

  • What the agent decided
  • Why it decided that (the reasoning, inputs, context)
  • When it happened (timestamp)
  • A signature that proves the record wasn't changed after it was created

The key difference from logging is that TraceProof records can be verified offline by anyone who has the public key. A regulator can take the record, check the signature, and confirm that it is authentic without needing to contact the bank or access their servers.


Why Rust?

I chose Rust for TraceProof for three reasons:

Safety. Rust's type system prevents entire categories of bugs at compile time. When money is involved, memory safety is not optional. The Rust compiler catches problems that would be runtime crashes in other languages.

Performance. Cryptographic operations are CPU-intensive. Rust's zero-cost abstractions mean I don't have to choose between clean code and fast code. TraceProof handles signing and verification without adding noticeable latency to agent operations.

Ecosystem. Rust has excellent cryptographic libraries (Ed25519, SHA-256) that are well-audited and widely used. The cargo tooling makes dependency management predictable, which matters for supply chain security in regulated environments.


How It Connects to the FINOS Ecosystem

TraceProof is designed to work with the FINOS AI Governance Framework (AIGF). FINOS is the Linux Foundation project where Goldman Sachs, Citi, Morgan Stanley, and other major banks collaborate on open-source financial infrastructure.

I designed TraceProof to plug into the AIGF MCP Server (contributed by Citi in June 2026) as an evidence layer. The AIGF MCP Server handles governance policies for AI agents — what they can do, where they can access data, how they should behave. TraceProof adds the proof layer — the cryptographic records that show those policies were actually followed.

This combination is important because FINOS members have the governance frameworks but nobody has solved the evidence problem yet. That's the gap TraceProof fills.


The Current State

TraceProof is still early stage. I've been building it since January 2026 and it has about 85,000 lines of Rust across 9 modules. The core protocol (creating signed records and verifying them) is working. The integration with the FINOS AIGF MCP Server is still being developed.

What I have today:

  • A working attestation protocol with Ed25519 signatures
  • A chain of records that can be verified offline
  • Memory systems (vector search, full-text search) for storing and retrieving records
  • Security layers: path sandbox, rate limiter, injection detection, budget controls
  • MCP server integration for filesystem and terminal access

What I'm working on next:

  • Full AIGF MCP Server integration
  • Better documentation and examples
  • Making it easier for banks to try without changing their whole setup

Why This Matters

The EU AI Act enforcement starts in August 2026. CNSA 2.0 (post-quantum cryptography) becomes mandatory in January 2027. Financial institutions that are deploying AI agents today need to start thinking about how they will prove what those agents did — not just log what they did.

I believe cryptographic attestation will become a standard part of AI agent infrastructure, just like logging and monitoring are today. TraceProof is my attempt to build that standard before the regulations force everyone to invent their own solutions in a hurry.


Try It or Contribute

TraceProof is source-available (PolyForm Shield license — free for non-commercial use, learning, and auditing) and available on GitLab:

https://gitlab.com/zuo-labs/zuo-vector-nexus

If you're from a regulated financial institution and want to evaluate it under a commercial license, reach out via the repository.

If you're working on AI governance in finance or just curious about cryptographic attestation, I'd love to hear your thoughts. Open an issue, send a PR, or leave a comment below.


If this article was useful, consider sharing it with someone who works on AI governance or banking compliance. Follow me on DEV.to for more about Rust, AI agents, and cryptographic infrastructure.

The repository is undergoing internal documentation and test organization for regulatory compliance — it will be publicly available on July 1, 2026.