Gnark Cubic This circuit is the standard for Gnark beginners. It checks $x^3 + x + 5 == y$ for public $y$ and private $x$.