Latest developer news about zero-knowledge-proofs, summarized in Vietnamese by AI.
World Foundation huy động được 52 triệu USD từ đợt bán token WLD bị khóa, dẫn đầu bởi Pantera Capital, nhằm mở rộng World ID tới các nền tảng như Zoom, Tinder và Docusign.
Lập trình viên nên theo dõi để hiểu về infrastructure proof-of-human—kỹ thuật mới liên kết danh tính thực tế với blockchain, có thể thay đổi cách xây dựng các ứng dụng web3 an toàn và thân thiện người dùng.
AI auditor zkao phát hiện lỗi nghiêm trọng trong zkVM OpenVM: phép kiểm tra ghép cặp (pairing check) chấp nhận chứng cứ do prover cung cấp mà không kiểm tra đúng trường con (subfield), cho phép kẻ tấn công giả mạo bất kỳ đẳng thức ghép cặp nào. Lỗi đã được sửa trong OpenVM 1.6.0 (CVE-2026-46669), nằm trong loạt bài về lỗi do AI tìm thấy trong các dự án mật mã mã nguồn mở.
Lập trình viên chuyên về mật mã học nên đọc bài này để hiểu rõ về cách AI phát hiện lỗ hổng nghiêm trọng trong zkVM, giúp họ hiểu cách bảo mật các hệ thống chứng minh không chứng kiến (zk-proofs) và cách ứng dụng các bản vá an toàn trong thực tế.
Các CPU x86 đã tích hợp sẵn lệnh hardware carryless multiplication trong hơn 15 năm qua, đây là một phép toán nhỏ nhưng quan trọng trong lĩnh vực mật mã học.
Lập trình viên muốn tối ưu hóa hiệu suất cho các ứng dụng mật mã trên GPU NVIDIA, đặc biệt là khi xử lý các phép toán phức tạp như mã hóa/giải mã nhanh hơn với các thuật toán dựa trên nhân không mang (carryless multiplication).
On-demand authentication is critical for scalable quantum systems, yet many existing quantum signature and message-authentication schemes are signer-initiated, requiring advance distribution of authentication material even when no verification occurs. We introduce verifier-initiated quantum digital signatures (VIQDS), in which the verifier requests authentication only when needed and the signer responds once; after issuance, verification proceeds without further interaction. Practically, shifting authentication to a verifier-driven, on-demand workflow reduces avoidable communication and storage overhead and aligns with deployments where verification is sporadic, such as distributed services and audit-oriented infrastructures. Our approach leverages quantum zero-knowledge techniques so that verification reveals nothing about the signer’s secret key beyond the fact that the signature is valid. We present a general conversion principle from suitable quantum proof protocols to VIQDS, together with a concrete realization based on elementary qubit platforms. Here, we show information-theoretic security against forgery and privacy against curious verifiers without computational hardness assumptions. The authors introduce a verifier-initiated quantum message-authentication method, in which authentication is requested only when needed. Their approach uses quantum zero knowledge techniques to protect information about the signer’s secret key while providing information-theoretic security against forgery
Enterprise adoption of smart contracts on public blockchains is blocked by a privacy problem: all transactions are visible by default. Zero-knowledge (ZK) cryptography solves this but requires PhD-level math expertise most engineering teams lack. EY has released the Blockchain Privacy Sandbox, a web-based tool built on its open-source Starlight ZK compiler, that lets developers take an existing Solidity contract, annotate private fields, and generate a privacy-preserving version with API endpoints in under an hour — no ZK expertise required. The sandbox is positioned as a POC validation tool, not a production environment. EY's Nightfall ZK rollup handles private token transfers on Ethereum but still has throughput limitations (6–20 minute block times). Tokenization is the most mature use case today; supply chain and financial workflows are further out. The ZK proof market is projected to grow from $1.3B in 2024 to $7.6B by 2033.
Google researchers published a breakthrough in March showing Shor's algorithm could break 256-bit elliptic curve cryptography (ECC) with just 1,200–1,450 logical qubits and under 500,000 physical qubits — a ~20x improvement over prior estimates. Unusually, they withheld the full methodology using a zero-knowledge proof after consulting the U.S. government. Within 72 hours, Seattle startup Eigen Labs used crowdsourcing and swarms of AI agents to not only replicate Google's results but surpass them, producing a circuit 47.5% more efficient. Independently, researcher André Schrottenloher also matched Google's results by piecing together the same underlying literature. Google's own Craig Gidney subsequently concluded that publishing via zero-knowledge proof was the wrong strategy. Experts say the findings reinforce the urgency of migrating to post-quantum cryptography, with U.S. federal agencies required to complete transitions by 2030.
Proving a person is real and unique online is fundamentally different from authentication. Traditional defenses like CAPTCHAs, phone numbers, and IP limits all fail because they use proxies rather than binding verification to a unique human. A robust proof-of-human system requires five pillars: uniqueness (one-to-many biometric matching at billion-person scale using iris patterns), anonymity (secure multi-party computation splits biometric data across independent parties so no one sees the raw data), recovery (account-based key rotation with designated recovery agents instead of a single secret), verification (scoped nullifiers via oblivious pseudorandom functions and zero-knowledge proofs let relying parties enforce one-per-human rules without learning user identity), and delegation (AI agents can be registered against a human's credentials so their actions count against the human's quota). World ID by Tools for Humanity is used as a concrete implementation example throughout, including its Orb hardware, AMPC nodes, OPRF nodes, WorldIDRegistry, and AgentKit SDK.
Bài viết hướng dẫn tích hợp mã Rust vào Swift thông qua uniffi-rs, giải thích các khái niệm API cốt lõi như Record, Object, Enum, Option, Result và kiểu tùy chỉnh. Tác giả minh họa bằng ví dụ Rust-Swift, sau đó trình bày trường hợp thực tế là xây dựng hệ thống chứng minh Sudoku zero-knowledge (Groth16 trên BLS12-381) cho iOS bằng cargo-swift, bao gồm thiết lập, bridging xác minh/chứng minh và lưu ý về tương thích phiên bản.
Là một lập trình viên muốn mở rộng ứng dụng iOS với tính năng bảo mật cao như chứng minh không kiến thức (ZKP) mà không phải phụ thuộc vào các thư viện bên ngoài, bài này sẽ giúp bạn hiểu cách dễ dàng kết nối Rust—ngôn ngữ mạnh về hiệu suất—với Swift qua uniffi-rs để triển khai Sudoku ZKP một cách an toàn và hiệu quả.
A defense of the EU's age verification approach, arguing that critics often misrepresent or misunderstand it. The post explains why age restrictions online can be legitimate, then walks through the privacy risks of naive implementations (ID uploads, third-party sign-ins) versus the EU's blueprint, which uses cryptographically signed age attestations and zero-knowledge proofs (zkSNARKs). With this design, a website learns only that a user is over a threshold age, without receiving any identifying information, and the issuer never learns where the credential is used. The post closes with a list of implementation pitfalls that privacy advocates should monitor to ensure the architecture's promises are honored in practice.
Mozilla đề xuất chuẩn web PACT (Private Access Control Tokens) nhằm thay thế CAPTCHA và các phương pháp phát hiện bot xâm phạm quyền riêng tư bằng cơ chế giới hạn tỷ lệ bảo mật. Hệ thống hoạt động dựa trên ba vai trò: Anchors (đại diện xác nhận người dùng qua tín hiệu khan hiếm như số điện thoại), Moderators (bộ phận thực thi giới hạn tỷ lệ), và Credentials (token mật mã trạng thái). PACT sử dụng Privacy Pass và Anonymous Credit Tokens, kết hợp kỹ thuật blinding của issuer cùng zero-knowledge proofs để chỉ tiết lộ liệu người dùng có nằm trong giới hạn tỷ lệ hay không, không tiết lộ thêm thông tin. Khác biệt với Web Environment Integrity của Google hay Private Access Tokens của Apple, PACT không phụ thuộc vào phần cứng của nhà cung cấp cụ thể. Mozilla dự định đưa bản thảo tiêu chuẩn đến IETF và W3C, với sự tham gia của Cloudflare và Chrome.
Những lập trình viên phát triển ứng dụng web nên đọc bài này để khám phá cách Mozilla giải quyết vấn đề bảo mật và tốc độ truy cập bằng giải pháp PACT, giúp thay thế các giải pháp cũ như CAPTCHA với kiến trúc riêng biệt, linh hoạt hơn và bảo mật cao hơn, đặc biệt khi tích hợp với các công nghệ hiện đại như Privacy Pass.
Read the news here, practice coding, follow structured courses and train for IELTS on our sibling products — all connected through one 8 Sync account.
1,000+ DSA problems in Vietnamese, auto-graded across 7 languages — many FREE, right in your browser.