Tag feed

#zero-knowledge-proofs

132 posts39 followers

Explore Hashnode

Alternatives

Trending tags this week

TCTullio Canepazilkworm.hashnode.devJun 9 · 6 min read

Zilkworm in the ERE Benchmark

The ERE zkEVM benchmark workload offers a neutral, multi-client framework for measuring the correctness and performance of zkEVM implementations. Recently, we added support for Zilkworm and ran it hea

0

LGLewis Gilchristdevabkk.hashnode.devApr 16 · 6 min read

Why Proving You Are Human Online Matters More Now Than It Ever Did Before

When you sign in, post a comment, or vote in a poll, how confident is the platform that the entity on the other side is actually a real person and not software operating at scale? A few years ago, thi

0

FAFavour Ajayerustforsoliditydevelopers.hashnode.devApr 8 · 20 min read

Rust for Solidity Developers… Article 01

Introduction Okay, so I decided to learn Rust. I’ve been writing Solidity smart contracts for a while now and I got to a point where I kept running into Rust everywhere. Foundry is written in Rust. Re

0

00xluk3luk3tech.hashnode.devApr 7 · 6 min read

Hello Noir! [Part 2]

In Part 1 we wrote a circuit, compiled it with nargo, and got two artifacts: a circuit definition and a witness. Now we will use them to actually perform the cryptographic proof check. 1. Where we left off At the end of Part 1, we had two files in ...

0

00xluk3luk3tech.hashnode.devApr 6 · 6 min read

Hello Noir! [Part 1]

ZK is a hot topic. But what does it even mean to build a ZK circuit? Let's build a barebone, super basic circuit so you can have a better understanding what its part of. 1. What we're building and the toolchain What we're building through this seri...

0

SBSomnath Banerjeezilkworm.hashnode.devMar 31 · 7 min read

On correctly verifying ExecutionWitness in Zilkworm

Som, 31 March 2026 This note examines the sufficiency of post-state root verification as the sole validation mechanism for the execution witness in Zilkworm, a stateless ZK block prover for Ethereum.

0

00xluk3luk3tech.hashnode.devMar 30 · 8 min read

Lagrange interpolation: turning points into a polynomial

1. What is a polynomial? A polynomial is an expression built from a variable $x$, using only addition, multiplication, and non-negative integer exponents: $$P(x) = 3x^2 + 2x + 1$$The degree is the highest power of $x$. The example above is degree 2 (...

0

00xluk3luk3tech.hashnode.devMar 29 · 7 min read

The Fiat-Shamir transform: how a hash function replaces a conversation

This post assumes you've read the Schnorr signatures post. You should be comfortable with s = k + ex, the verification equation sG = R + eP, and why nonce reuse is catastrophic. We're picking up exactly where that left off. 1. Schnorr as a conversa...

0

00xluk3luk3tech.hashnode.devMar 28 · 11 min read

Digital signatures: Schnorr, ECDSA and how PS3 was hacked

In the previous post, we built up to the key equation: Public Key = x * G. A private key x, a generator point G, and a public key P that anyone can see but nobody can reverse. This post picks up exactly where that left off. What is a digital signat...

0

00xluk3luk3tech.hashnode.devMar 27 · 9 min read

Private keys and elliptic curves: a deep-dive for people who don't like math

If you ever wondered how elliptic curves and private keys actually work, and you never liked math like me - let's try to get the idea without too much of it. First: why does any of this exist? Blockchain needs to solve one problem: how do you prove...

0

#zero-knowledge-proofs

Search Hashnode

#zero-knowledge-proofs

Explore Hashnode

Trending tags this week

Zilkworm in the ERE Benchmark

Why Proving You Are Human Online Matters More Now Than It Ever Did Before

Rust for Solidity Developers… Article 01

Hello Noir! [Part 2]

Hello Noir! [Part 1]

On correctly verifying ExecutionWitness in Zilkworm

Lagrange interpolation: turning points into a polynomial

The Fiat-Shamir transform: how a hash function replaces a conversation

Digital signatures: Schnorr, ECDSA and how PS3 was hacked

Private keys and elliptic curves: a deep-dive for people who don't like math