Smart contract auditing, penetration testing, AI infra assessments, all kind of security works
1d ago · 6 min read · 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 ...
Join discussion
2d ago · 6 min read · Last time we talked about what ZK doesn't solve. 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 series is a SNARK - a Su...
Join discussion
Mar 30 · 8 min read · 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 (...
Join discussion
Mar 29 · 7 min read · 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...
Join discussion
Mar 28 · 11 min read · 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...
Join discussion