Skip to content

Compile C to zkSNARKs using Pinocchio

Notifications You must be signed in to change notification settings

Ethsnarks/ethsnarks-pinocchio

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.