#zero-knowledge-proofs

How agents can delegate better

Nghiên cứu mới chỉ ra rằng việc delegation giữa các agent không chỉ là giao task mà còn đòi hỏi thông minh trong quá trình đàm phán thích ứng. Các agent cần thống nhất về các quy tắc nghiêm ngặt, thiết lập hợp đồng và đặt ra các biện pháp bảo mật như guardrails để đảm bảo sự Coordinated. Quá trình này dựa trên khả năng học và điều chỉnh linh hoạt của agent trong môi trường thay đổi. Khi các yếu tố trên được đáp ứng, delegation trở nên hiệu quả hơn, giảm xung đột và tăng độ tin cậy của workflow. Nghiên cứu đưa ra bốn nguyên tắc cụ thể mà các nhà phát triển có thể áp dụng để cải thiện cách agent chia sẻ trách nhiệm trong hệ thống của mình.

Bài viết này giúp lập trình viên cải thiện kỹ năng giao tiếp và hợp tác hiệu quả thông qua việc áp dụng các nguyên tắc đàm phán thích ứng và thiết lập quy trình rõ ràng khi làm việc với nhóm.

Introducing zkAPI: private usage credits for any API

tl;dr: zkAPI lets you pay for a metered API without being known. Deposit credits into an Ethereum vault once, then authorize bounded usage with zero-knowledge...

The Impostor Was Never Dealt. So We Made the Deal Provable.

Bối cảnh: Dự án tập trung vào việc tích hợp zero knowledge anti-cheat cho Among Us clone mã nguồn mở. Nguyên nhân kỹ thuật: Sử dụng Midnight's Compact để giải quyết vấn đề gian lận trong game mà không cần thay đổi giao thức mạng hiện có. Hệ quả: Giải pháp này cho phép chứng minh tính minh bạch của các hành động trong game mà không tiết lộ thông tin nhạy cảm. Điều đáng học: Cách tiếp cận retrofitting security layer vào hệ thống hiện có, đặc biệt với một đối thủ cũ trong team, cho thấy tiềm năng của zero knowledge proof trong bảo mật game.

Bài viết này giúp lập trình viên ứng dụng thành công công nghệ zero knowledge để chống gian lận trong game open-source.

AmericanFortress paper shows how ZKPs can prove crypto wallet ownership

A new AmericanFortress paper uses zero-knowledge proofs to prove crypto wallet ownership without revealing the seed, private keys or other addresses.

Building a Zero-Knowledge ECDSA Verifier with Noir and Barretenberg

Bối cảnh là xây dựng một trình xác thực ECDSA Zero-Knowledge từ chữ ký Ethereum bằng công cụ Noir và Barretenberg. Nguyên nhân kỹ thuật là để chuyển đổi chữ ký ECDSA thành một proof Zero-Knowledge có thể xác thực trên chain bằng Solidity. Hệ quả là tạo ra một giải pháp cho phép chứng minh biết chữ ký ECDSA mà không tiết lộ bản thân chữ ký đó. Điều đáng học là các công cụ Noir và Barretenberg có thể kết hợp để tạo ra các proof Zero-Knowledge nhẹ và hiệu quả cho các ứng dụng blockchain, với chi phí gas chỉ khoảng 60k-70k cho trình xác thực Solidity.

Bài hướng dẫn này giúp lập trình viên tạo trình xác minh ECDSA Zero-Knowledge trên chuỗi bằng Noir và Barretenberg từ chữ ký Ethereum.

a16z Crypto Rebuilds Jolt Proof System With Post-Quantum Security And Faster Performance

Bối cảnh là mối đe dọa từ tấn công quantum đe dọa các hệ thống mật mã hiện tại. Nguyên nhân kỹ thuật là a16z Crypto đã phát triển Lattice Jolt, một proof system post-quantum mới. Hệ quả là Lattice Jolt tạo ra các chứng minh nhanh hơn, nhỏ hơn và sử dụng ít bộ nhớ hơn so với các giải pháp trước đây. Điều đáng học là Lattice Jolt có thể đạt hiệu suất vượt trội với thời gian chứng minh chỉ khoảng 100ms và kích thước proof chỉ 6KB, trong khi vẫn đảm bảo bảo mật post-quantum. Đây là bước tiến quan trọng cho các ứng dụng blockchain và hệ thống xác minh cần hiệu suất cao.

Bài giới thiệu về Lattice Jolt cung cấp thông tin về hệ thống proof mới với bảo mật post-quantum và hiệu năng vượt trội cho lập trình viên.

Join Us: EF Protocol Reddit AMA - September 16th, 2026

Every year since January 2019, teams from the Ethereum Foundation have spent an afternoon or two on r/ethereum answering questions from the community. The...

EF Protocol: Current and Emerging Priorities

What the Protocol cluster is for, the commitments that govern its work through 2029, and what those commitments require of the forks now entering scope.

Space and Time: where AI agents meet verifiable onchain data

Space and Time CTO Scott Dykstra discusses how Proof of SQL lets smart contracts query verified Ethereum data in under a second, where AI agents are already using onchain data to gate trades, and why the DataFi model went on the backburner.

World open-sources ProveKit to bring private ID checks to everyday smartphones

World has open-sourced ProveKit, a zero-knowledge proving toolkit that lets developers build identity checks running directly on users' phones. People can prove age, nationality, or ID possession without sharing the underlying personal data.

A quick look at zero-knowledge proofs

NB: This isn’t about crypto. I don’t care about crypto.

World ID and peaqOS bring privacy-preserving human verification to robots and machines

Robots running peaqOS can now verify they are interacting with a real human through World ID's zero-knowledge proofs, without learning the person's identity. The integration is available through robotic.sh with no API key or per-verification fee.

Zero-Knowledge Proofs Aren’t Age Verification Silver Bullets

Bối cảnh: khoảng 20 bang Mỹ (khoảng một nửa tổng số bang) đã ban hành luật xác thực tuổi trên internet, yêu cầu các nền tảng phải chứng minh hoặc ước lượng tuổi người dùng trước khi cho truy cập dịch vụ. Nguyên nhân kỹ thuật: mặc dù các hệ thống zero‑knowledge proof như zk‑SNARKs và zk‑STARKs có thể chứng minh tuổi mà không tiết lộ dữ liệu cá nhân, chúng vẫn phụ thuộc vào việc người dùng cung cấp một commitment được tạo từ giấy tờ khai sinh hoặc dữ liệu xác thực bên thứ ba, và quá trình tạo chứng minh này thường tốn kém về tính toán, đòi hỏi phần cứng chuyên dụng và có thể gây latency lên tới vài giây mỗi lần xác thực. Hệ quả: khi triển khai thực tế, nhiều nền tảng gặp phải chi phí hạ tầng tăng đáng kể, nguy cơ người dùng bỏ qua do trải nghiệm không mượt mà, đồng thời vẫn có khả năng bị tấn công side‑channel hoặc lỗi trong thư viện mã hóa dẫn đến rò rỉ thông tin tuổi. Điều đáng học: zero‑knowledge proof không phải là “silver bullet”; để đáp ứng yêu cầu pháp lý mà vẫn bảo vệ quyền riêng tư, cần kết hợp ZK

Để hiểu cách các công nghệ bảo mật như zero‑knowledge proof có thể giải quyết thực tế các quy định kiểm tra tuổi mà không cần lộ thông tin cá nhân.

Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration

better.codes đã ra mắt, cho phép các agent nâng cao độ tin cậy (soundness) của koalaIRS12 để phát triển Ethereum chống lượng tử (post-quantum Ethereum).

Bài này giúp bạn hiểu cách nâng cao tiêu chuẩn bảo mật được kiểm tra bằng máy để phát triển các hệ thống blockchain chống lượng tử thông qua hợp tác tác nhân.

Allocation Update - Q2 2026

Q2 2026 carried forward our focus on advancing Ethereum’s resilience and capabilities, supporting key work in zero-knowledge proofs, client diversity, formal...