kweb·Oct 4ZK pool on SolanaThis is the first article in a series about how I am building zkpool-mesh — a ZK private pool on Solana with microservices, K3s, and…
Coinceeper·Sep 19GhostChain Stealth Addresses and ZK Proofs ExplainedPrivacy in blockchain payments is not just about hiding the amount.A response icon1A response icon1
Ankita Singh·Sep 14Groth16 Explained: The Math Behind the World’s Most Deployed zk-SNARKA step-by-step walkthrough, from arithmetic circuits to elliptic curve pairings, of the protocol powering ZCash, Tornado Cash, Semaphore…
Anohaann Cs·Sep 7Prove It Without Showing It: The Magic of Zero-Knowledge Proofs.Imagine you are renting a vehicle and the company needs to confirm that you have a valid driving licence. The easiest way may seem to be…
InBlock MagnatesbyAditya kumar mishra·Aug 29Zero-Knowledge Proofs: The Basics — How Can You Prove Something Without Revealing It?You know a secret. You want to prove that you know it. But you don’t want to reveal the secret.
Srishti Rathi·Aug 8Building a STARK Prover From Scratch in Rust: Lessons LearnedWhat implementing finite fields, FFTs, execution traces, polynomial constraints, Merkle commitments, Fiat–Shamir, and FRI taught me about…
Srishti Rathi·Aug 7Finite Fields and Why Every ZK Proof Needs ThemWhy modular arithmetic sits underneath circuits, polynomial commitments, SNARKs, STARKs, and almost every modern zero-knowledge proof…
Srishti Rathi·Aug 7Polynomial Commitments Explained: From KZG to FRITwo ways to commit to a polynomial and prove things about it later — one relies on pairings and a trusted setup, the other on hashing and…
Srishti Rathi·Aug 6How a STARK Prover Actually Works, End to EndWhen I first started learning STARKs, the individual concepts made sense on their own: execution traces, AIR, finite fields, Merkle trees…
Osman Oguzhan·Aug 4The Hard Part Wasn’t Reading the Code. It Was Not Believing the Findings.A week reading Nockchain’s Logos proof-of-work verifier, which ended with nothing found.
