Joshua FitzgeraldinStateboxBoolean Circuits in LibsnarkAt Statebox we use category theory to model computation, where the objects of a category represent the possible states of a system and…Aug 12, 2019Aug 12, 2019
Joshua FitzgeraldinCoinmonksWhat are zk-SNARKs? Pairings (Part 1)I’ve been diving deep into zk-SNARKs again. These objects are constructed out of many different parts with different functions, like an…Jan 3, 2019Jan 3, 2019
Joshua FitzgeraldMatrices for coffee lovers. (Part 3: Inverses)We’ve learned how to use matrices and matrix multiplication to represent recipes for coffee beverages in a tidy way. We can also use these…Dec 4, 2018Dec 4, 2018
Joshua FitzgeraldMatrices for coffee lovers. (Part 2: Matrix Multiplication)If you are seeing this for the first time, I highly encourage you to start with my previous article, Matrices for Coffee Lovers. (Part 1).Dec 3, 2018Dec 3, 2018
Joshua FitzgeraldMatrices for coffee lovers. (Part 1)Big deal. It’s a box with numbers in it. Who cares?Nov 28, 2018Nov 28, 2018
Joshua FitzgeraldAn Unexpected ApproximationI am not interested in facts. I could never remember them very well for school. Many grade-school students must memorize their times…Oct 18, 2018Oct 18, 2018
Joshua FitzgeraldExtras: Heron’s Method for Computing Square RootsWhile writing my last article This is Not a Circle: The Extraordinary Algorithm of Liu Hui I came across a reference to rod calculus, the…Oct 15, 20181Oct 15, 20181
Joshua FitzgeraldThis Is Not a Circle: The Extraordinary Algorithm of Liu HuiThis is not a circle.Oct 8, 20183Oct 8, 20183
Joshua FitzgeraldWhat are zk-SNARKs? — A Problematic HomomorphismThe post on the Zcash blog gives a little example of a use of a homomorphic hiding. I wanted to recreate this example with the Unpadded RSA…Mar 23, 20183Mar 23, 20183