/ethsnarks-pinocchio

Compile C to zkSNARKs using Pinocchio

Primary LanguagePython

Pinocchio for EthSnarks

This repository includes the Pinocchio compiler, it translates a small and limited subset of the C language to the 'Pinocchio format' for defining Secure Function circuits. Unfortunately the initial Pinocchio compiler wasn't fully developed and is... academic quality. Subsequent work moved onto Geppetto which uses LLVM as a frontend rather than PyCParser.

The Pequin compiler should be used instead.