og-circuit Circuit This circuit project contains all the necessary ingredients to upload to Sindri's API and start requesting proofs. The circuit language is written in gnark and will produce proofs that two variables x and y (public) are equal.