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

推荐订阅源

N
Netflix TechBlog - Medium
Blog — PlanetScale
Blog — PlanetScale
月光博客
月光博客
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
CTFtime.org: upcoming CTF events
CTFtime.org: upcoming CTF events
爱范儿
爱范儿
量子位
博客园 - 聂微东
Engineering at Meta
Engineering at Meta
WordPress大学
WordPress大学
GbyAI
GbyAI
MyScale Blog
MyScale Blog
IT之家
IT之家
P
Proofpoint News Feed
M
MIT News - Artificial intelligence
The Cloudflare Blog
H
Hackread – Cybersecurity News, Data Breaches, AI and More
Hugging Face - Blog
Hugging Face - Blog
The Register - Security
The Register - Security
Microsoft Security Blog
Microsoft Security Blog
博客园_首页
MongoDB | Blog
MongoDB | Blog
F
Fortinet All Blogs
博客园 - 三生石上(FineUI控件)
Y
Y Combinator Blog
雷峰网
雷峰网
V
Visual Studio Blog
酷 壳 – CoolShell
酷 壳 – CoolShell
Last Week in AI
Last Week in AI
博客园 - 叶小钗
D
DataBreaches.Net
B
Blog
B
Blog RSS Feed
大猫的无限游戏
大猫的无限游戏
aimingoo的专栏
aimingoo的专栏
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
The GitHub Blog
The GitHub Blog
云风的 BLOG
云风的 BLOG
Recent Announcements
Recent Announcements
阮一峰的网络日志
阮一峰的网络日志
小众软件
小众软件
腾讯CDC
T
Threat Research - Cisco Blogs
SecWiki News
SecWiki News
Martin Fowler
Martin Fowler
D
Docker
Cisco Talos Blog
Cisco Talos Blog
T
Tenable Blog
Webroot Blog
Webroot 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 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
Lattice-Based Cryptography: The Math Behind Post-Quantum Security
Haven Messenger · 2026-06-16 · via DEV Community

Haven Messenger

When NIST chose the algorithms meant to protect the internet from quantum computers, most of the winners came from the same unexpected place: geometry. Not the geometry of triangles, but of infinite grids of points in high-dimensional space, where one innocent-sounding question — what's the nearest grid point to here? — turns out to be brutally hard. That hardness is the new foundation of secure communication.

Today's public-key cryptography rests on two problems: factoring large numbers (RSA) and the discrete logarithm (elliptic-curve and classic Diffie-Hellman systems). Both are hard for ordinary computers. Both are easy for a sufficiently large quantum computer running Shor's algorithm. That's the entire reason post-quantum cryptography exists — and lattices are why we have an answer.

What is a lattice?

Start simple. Take two vectors in a plane and consider every point you can reach by adding integer multiples of them: zero of the first plus three of the second, minus-two of the first plus one of the second, and so on. The set of all those reachable points is a lattice — a regular, infinitely repeating grid. The two vectors you started with are a basis.

Now scale that picture up: instead of two vectors in a plane, use hundreds or a thousand vectors in a space of hundreds or a thousand dimensions. The lattice is still "all integer combinations of the basis vectors," but our visual intuition collapses completely. And that collapse is exactly where the cryptography lives.

The hard problems

Two questions about lattices look trivial in two dimensions and become intractable in high dimensions:

  • Shortest Vector Problem (SVP): find the shortest non-zero vector in the lattice — the grid point closest to the origin.
  • Closest Vector Problem (CVP): given an arbitrary point in space (not necessarily on the lattice), find the lattice point nearest to it.

Here's the crucial wrinkle: the difficulty depends entirely on which basis you're handed. The same lattice can be described by a "good" basis (short, nearly perpendicular vectors) that makes these problems easy, or a "bad" basis (long, skewed vectors) that makes them hopelessly hard — even though both describe the identical grid of points. Cryptography hides a good basis as the private key and publishes a bad one as the public key.

Why quantum doesn't help here: Shor's algorithm is a specialized tool for problems with hidden periodic structure — factoring and discrete logs fit that mold perfectly. Lattice problems don't expose that kind of structure, and despite decades of effort no quantum algorithm gives more than a modest speedup. That's the bet: not "quantum can't help" as a proven law, but "we have no idea how it would, after years of trying."

Learning With Errors: the workhorse

Most modern lattice schemes don't phrase themselves directly in terms of SVP. They use a problem called Learning With Errors (LWE), introduced by Oded Regev in 2005, which turns out to be equivalent in hardness to worst-case lattice problems.

The idea is disarmingly concrete. Imagine a system of linear equations with a secret vector s:

Solve for s given many equations of the form
(a₁s₁ + a₂s₂ + … + aₙsₙ) ≈ b (mod q)
— each equation is correct, except for a small, deliberate error.

If those equations were exact, a first-year linear-algebra student could solve them with Gaussian elimination in minutes. The whole trick is the word "approximately." Each equation has a small random error added to it. That noise is just large enough to make elimination explode — errors compound catastrophically as you combine equations — yet small enough that someone holding the secret can still decrypt cleanly. The gap between "decodable with the key" and "noise-locked without it" is the security.

Making it practical: rings and modules

Plain LWE is secure but bulky — keys and ciphertexts are large matrices. To make it usable, researchers added algebraic structure. Ring-LWE represents vectors as polynomials, which lets a single polynomial stand in for a whole matrix and shrinks key sizes dramatically. Module-LWE is the middle ground — a few polynomials arranged in a small matrix — trading a little efficiency for a more conservative security margin. This is the variant most of the standardized schemes chose.

Separately, the NTRU family (dating to 1996) reached similar lattice-based security through a different polynomial construction, and was one of the earliest practical lattice cryptosystems.

The standards that shipped

In 2024 NIST finalized its first post-quantum standards, and lattices dominated the lineup:

Standard Purpose Foundation
ML-KEM (FIPS 203) from CRYSTALS-Kyber Key encapsulation — establishing a shared secret Module-LWE
ML-DSA (FIPS 204) from CRYSTALS-Dilithium Digital signatures Module lattices
SLH-DSA (FIPS 205) from SPHINCS+ Digital signatures (backup) Hash-based, not lattice

The inclusion of hash-based SLH-DSA is deliberate diversification — if a future break is found in lattice assumptions, the world still has a signature scheme resting on completely different math (the same family we cover in hash-based signatures). A lattice-based signature scheme derived from Falcon is also expected to round out the set.

The trade-offs

Lattice cryptography is not free. Its keys and ciphertexts are substantially larger than the elliptic-curve equivalents they replace — kilobytes where ECC used dozens of bytes. That matters for constrained protocols, TLS handshakes, and bandwidth-sensitive systems. The computation itself is fast, often faster than RSA, but the size inflation is real and is why deployments are arriving as hybrid schemes that run a classical and a post-quantum algorithm side by side, secure as long as either one holds.

The reason for hybrids isn't doubt about the quantum threat — it's humility about young assumptions. Lattice hardness has held up well, but it hasn't faced the decades of attack that factoring has. Running both means a surprise in either foundation doesn't sink the connection.

Why this matters now

The threat isn't only future. "Harvest now, decrypt later" is a live strategy: an adversary can record encrypted traffic today and decrypt it once a capable quantum computer exists. Anything that must stay confidential for a decade or more — medical records, state secrets, source code, long-lived identities — is already exposed if it's protected only by classical cryptography. That's why the migration started before the quantum computers did.

Lattices won this round not because they're elegant — high-dimensional geometry rarely is — but because they offer something rare: efficient cryptography whose security reduces to a problem that has resisted both classical and quantum attack for decades. The internet's next layer of trust is being built on the simple, stubborn difficulty of finding your way around a grid you can't see.

Originally published at havenmessenger.com