Smart contract auditing, penetration testing, AI infra assessments, all kind of security works
Apr 19 · 11 min read · RandomExampleFinance has been audited. Smart contracts - clean. And yet, six months later, funds are gone. This post is about everything the audit didn't cover. This can happen for many reasons, not only because of hackers befriending you and hackin...
Join discussion
Apr 7 · 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
Apr 6 · 6 min read · 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...
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