HHemanth KR·Jul 17Why do most modern zero knowledge proof systems convert the computations to polynomial equations ?Let's get started : Assume we have a problem with five computations, now to verify these computations, the verifier will have to execute all those 5 computations and compare the computed value with th4 min read·zk-dev-notes.hashnode.dev
JJay Makwana·Aug 3, 2025Zero-Knowledge Proofs and Tornado Cash: A Technical Deep Dive -created for educational purposeImagine you’re at a party and someone claims they know the password to the WiFi. Instead of just telling everyone the password (which would defeat the purpose), they prove they know it by successfully connecting their phone. They’ve proven their know...8 min read·jmakwana01.hashnode.dev
Zzkevm·May 1, 2025Exploiting the zkEVM: Uncovering Soundness and Composition Vulnerabilities in ZK CircuitsCircuit-Level Attacks: A Key Vector for Ethereum Layer 2 (zkRollups)8 min read·blog.zkevm.dev
GGiovanni Di Siena·Jan 25, 2025A Brief Introduction to RISC Zero & Steel2025 is the year of privacy-preserving tech. Here’s a succinct overview of RISC Zero. RISC Zero The RISC Zero zkVM is an implementation of the RISC-V architecture as an arithmetic circuit. Specifically, the zkVM implements RV32IM which is the 32-bit ...11 min read·surfing-solodit.com
MMansoor Butt·Jan 20, 2025The Cave of Secrets ( Debunking ZK-Proofs) Part-IDiscover the magic of ZK-Proofs with Alice's adventure in the Cave of Secrets. Learn how to prove without revealing3 min read·mansoor-eth.hashnode.dev
LLegos Light·Jan 9, 2025Quadratic Arithmetic Program (QAP) - Interactive Demo [VN]Rank-1 Constraint System (R1CS) & Quadratic Arithmetic Program (QAP)7 min read·legos.hashnode.dev
LLegos Light·Jan 7, 2025Rank-1 Constraint System (R1CS) - Interactive Demo [VN]Demo for Rank 1 Constraint System - zkSNARKs8 min read·legos.hashnode.dev
AAmaan Sayyad·Dec 18, 2024From Scalability to Privacy: Mina Protocol - World’s Lightest Blockchain for DappsDo you believe Scalability and Accessibility are challenges in Web 3.0? Introducing, Mina Protocol that offers a transformative solution by redefining how blockchain state representation works, positioning itself as the world’s lightest blockchain. L...6 min read·nosanablog.hashnode.dev
PPranav Bawgikar·Oct 8, 2024My hot take on Zero-Knowledge Proofs[20] ZKPs are one of the most powerful tools cryptographers have ever devised, but unfortunately they are relatively poorly understood. I have been studying ZKPs and their uses and, although I am not an expert in them, I thought I would share what I ...6 min read·pranavbawg.hashnode.dev
TTraiano·Sep 27, 2024What types of rollups exist on Ethereum?The four major Ethereum rollups: Optimistic, ZK, Optimium, Validium - mechanisms, trade-offs, and key codebases4 min read·traiano.hashnode.dev
