#zero-knowledge-proofs

The Shielded Pool

A blind-aggregation knowledge layer for medicine that no one, not even its operator, can see into.

Blockchain Without the Buzzwords: Why Decentralized Systems Need Cryptography

Understanding the basic ideas behind blockchains, smart contracts, decentralized applications and zero-knowledge proofs

Build a Zero-Knowledge Encrypted Document Vault: Complete Developer Guide

By the end of this guide, you’ll have built a file-sharing system where you the developer running the server cannot read your users’ files.

The Halo2 Bug Heard Around Crypto: Why Zcash’s $5B Wipeout Is a Warning Shot for Every ZK Rollup

AI-assisted audit exposed a flaw missed for four years in a proving system that helps secure billions across the ZK ecosystem.

Zero-Knowledge Proofs: Proving Something Without Revealing Anything

Introduction

Bridging Speed and Privacy: How to Integrate the XRP Ledger with Midnight Smart Contracts

The XRP Ledger (XRPL) is built for speed, low fees, and high-throughput asset settlement. However, like most public Layer 1 networks, every…

데이터를 들여다보는 대신, 증명을 검증한다: Midnight의 ZK 신뢰 모델

영지식 증명, 흔히 말하는 ZK proof는 보통 “프라이버시 분야 기술 중 하나”로 여겨집니다.

I have Zero Knowledge to speak about today!

A Layman’s Guide to Zero-Knowledge.

The AI Proved It. But Did It Know Why?

OpenAI just solved an 80-year-old geometry problem. The proof is correct. The explanation came later — and from humans. That gap points to…

Zero-Knowledge Proof(영지식 증명)을 TypeScript 유사 문법으로 블록체인에서 구현할 수 있다면?

개인정보를 다루게 되는 서비스를 설계하는 과정에서 이런 고민을 했던 경험이 존재할 겁니다.

Midnight의 수수료 모델 이해하기: DUST와 NIGHT

다른 블록체인 네트워크에서 개발해 본 경험이 있다면, 보통 “토큰으로 가스를 지불한다”는 모델에 익숙할 것입니다.

Bringing Zero-Knowledge Capabilities to Cardano

At Eryx, we believe zero-knowledge technology is becoming a foundational layer for the future of blockchain — and Cardano should be part of…

Accountable Magic: Why the Future of AI Depends on Zero-Knowledge Cryptography

Introduction: The Black Box Dilemma

Awesome Zero Knowledge Proofs Learning

Curated by Me

Unlocking Absolute Privacy: Securing Modern Applications with Zero-Knowledge Proofs and Circom

In today’s digital landscape, we constantly face a frustrating paradox: to access services, we must prove things about ourselves, but doing…

Distributed Statistical Zero-Knowledge via Sumcheck: Proving Distributed Computation Without…

When Workers Cheat and Supervisors Can’t Afford to Notice

Why We Built a Blockchain That Can’t Be Hacked by Quantum Computers — And Why We Did It Before…

There is a specific moment I remember when the decision became obvious.

Beyond the Jersey: Why Concordium’s AI Partnership with Danish Ice Hockey is the New Web3 Blueprint

The traditional sports sponsorship model is broken. For decades, brands have poured millions into “logo slaps” — placing a sticker on a…

Compact을 시작하기 전 알아야 할 Midnight의 작동 방식

EVM 네트워크에서 개발해본 분이라면 익숙한 흐름이 있을 겁니다. 문법을 익히고, 스마트 컨트랙트를 작성하고, 온체인에 배포하고, 실행 비용은 가스로 지불하는 방식입니다.

When Al makes output cheap, proof becomes the premium layer.

🚨 New Listing Alert: 5 New Perpetual Futures Pairs Are Now Live

We’re excited to announce the expansion of our Futures market.

A Stark Focus on Starknet’s Cairo 1.0

I haven’t escaped Cairo hell yet when the Cairo 1.0 rolled out, promising ZK-STARK-provable computation with simpler syntax and better…

Thinking in Constraints: Notes from Building Zero-Knowledge Systems

The first mistake most engineers make when approaching zero-knowledge proofs is assuming they are learning a new cryptographic tool. In…

ZK Proofs Part III: More ZK Math

Where were we… ah yes, Fiat Shamir Transformation.

The Power of Nothing: How the Discovery of Zero Redefined Human Thought

Before its discovery, mathematics was limited by physical representation. The introduction of zero changed everything. In this deep dive…

3. Inside Groth16: How Blinding, Simulators, and Four Secret Numbers Make zkSNARKs Zero-Knowledge

Part 3 of a 4-part series. In Part 2, we built the machinery of zkSNARKs — circuits, R1CS, QAP, and pairings. We got to succinct proofs…

Zero-Knowledge Proofs, Circom, and Why They Matter for Blockchain and AI

The World Is Leaking Data — And Nobody Is Talking About It

Privacy-Preserving Age Verification for Digital Identity Systems

Digital identity systems are becoming a part of our online lives, creating additional headwinds for privacy.

Pinocchio and the Procedural Era: How the First Practical SNARKs Were Built — Article 1 of the ZKP…

Before 2013, zero-knowledge proofs existed in theory. Goldwasser, Micali, and Rackoff had proven they were possible back in 1985. But…

🗡️ zk-SNARK Development Experience on Steroids: Katana + LevelDB for Blazing-Fast Local Iteration

Have you ever spent hours waiting for zk-SNARK proof generation, only to realize your local test chain is moving at the speed of dial-up…

Aggregated STARK Settlement Layer: Recursive zk-STARK Proofs + Internal ZKP Outbox for…

How we built a production-grade payment rail that feels like instant fiat transfers but is mathematically future-proof against quantum…

Kaspa Covenants++ “Toccata” Hard-Fork Outlook

As we approach the final stretch of covenants++ and zk opcode development, it feels like the right time to lay out what the coming hard…

zkLogin: Zero-Knowledge Authentication with Web2 Credentials on Cardano

Managing a crypto wallet has always required users to either safeguard a seed phrase or trust a third party to do it for them. The first…

Google Just Patched Two Zero Day Flaws in Chrome—And Hackers Are Already Using Them

When Google ships a second security update within 48 hours, you know something’s gone seriously wrong.

What I Learned Building zkFHE Systems in Production

Moving beyond research papers to implement zero-knowledge fully homomorphic encryption for real-world privacy layers

THE CRYPTOGRAPHIC PASSPORT

The Cryptographic Passport Blockchain Identity and the End of Traditional KYC

Bridging the Secret & Transparency: How I Use Zero-Knowledge Proof (ZKP) to Link Private and Public…

How do blockchains talk to each other?

A Glance at ZKML

What are ZK-SNARKs?

CLOAK Protocol: The “Missing” Privacy Layer for Antelope (EOSIO)

Summary of key points

Trust Without Exposure: Why Enterprises Are Turning to Zero-Knowledge Proofs

Enterprise technology is entering a new phase where privacy is no longer a secondary concern but a core design principle. As organizations…

Proof Over Hype: Verifiable AI Image Claims with Zero‑Knowledge Proofs and Merkle Proofs on Zeko

AI images and content can be generated in seconds and still look completely real. This creative leap also puts pressure on trust.

從頭複習 zk-SNARK (Groth16)

聲明：想瞭解 zk-SNARK 的話，推薦大家去閱讀《读懂区块链之零知识证明（zk-SNARK）》，裡面先解釋了 ZKP 的基本特性，然後帶到 ZCash 上面的應用，最後花很多篇幅講解 zk-SNARK…

(ZKP) 解析 Groth16 如何做到 Trustless

之前用 circom 實作 Groth16 都把 verifier.sol 部署到鏈上就完事了，最近想了一下第三方怎麼驗證 verifier.sol 跟電路的 binding，才發現原來 .zkey 也要公開，第三方才能驗證完整信任鏈。

Zero Knowledge Proofs: Proving Truth Without Revealing Data

How modern cryptography enables verification without disclosure

A Practical Guide to Finding Soundness Bugs in ZK Circuits.

Zero-knowledge proofs are a core building block for blockchain scaling and privacy. In real-world deployments, the fragile part is usually…

7 ZKML + ZK-Coprocessor Use Cases That Feel… Inevitable

The practical, non-hype ways teams are using ZKML and ZK coprocessors to ship verifiable apps — without turning everything into a proof for…

Scaling Tokamak Network ZKP

Efficient Batched Verification for Tokamak zk-SNARKs

7 zk-Proof Uses That Add Trust Without Friction

How zero-knowledge proofs quietly make apps safer, fairer, and more private — without asking users to jump through hoops.

The need for Identity verification, Anonymity preservation and permissioned participation during an…

Saying ‘Identity Verification and Anonymity Preservation’ in the same sentence seems like a paradoxical stance but hear me out.

Atlantic Integrates S-two for Fast, Simple ZK Proving

Ten months ago, we introduced Atlantic as the gateway to SHARP, making StarkWare’s battle-tested proving infrastructure accessible to every…