Blog 2 posts

Writing on blockchain, backend engineering, and cryptography.

Inner-Product Arguments: A Step-by-Step Algebraic Walkthrough

Derive an inner-product polynomial, commit to its coefficients, and unpack the four equations checked by the verifier.

Solve a two-variable linear system, verify its exponentiated equations, and understand what the checks establish about the solution.