babysnark

BabySNARK Circuits

This directory contains small example circuits using BabySNARK. Each circuit here is arithmetized into a Square-span Program (SSP) which is:

$$ (U . z)^2 = 1 $$

where $U$ is a matrix and $z$ is a vector. If the equation holds for a given $z$, then the circuit is satisfied.

Note

To reiterate, here we have only the circuits, not the implementation of BabySNARK!