This Readme shows how to use the two-party SPF-SFE software FairplaySPF
FairplaySPF is an extension of the two-party SFE software Fairplay
for SFE of semi-private functions (SPF-SFE)
See Readme.txt for how to use the original two-party SFE software Fairplay
Authors: Annika Paus, Thomas Schneider. Date: April 2009
=================================================================================


A. Examples for compiling an SPBDL program into a circuit in CNV or CMP format:
-----------------------------------------------------------------------

1. run_SPFCompiler -f progs/CreditChecking.spbdl -o CNV

  -f for spbdl-file, progs/CreditChecking.spbdl - SPBDL program to compile,
  -o for output format

This command produces the output file:
  * CreditChecking.spbdl.cnv (private circuit including the programming for Constructor)


2.  run_SPFCompiler -f progs/CreditChecking.spbdl -o CMP

  -f for spbdl-file, progs/CreditChecking.spbdl - SPBDL program to compile,
  -o for output format

This command produces the two output files:
  * CreditChecking.spbdl.cmp_s (private circuit including the programming for Constructor)
  * CreditChecking.spbdl.cmp_p (publuc circuit without the programming for Evaluator)



B. Examples for incorporating circuit constructor's inputs into a circuit:
--------------------------------------------------------------------------

1. run_SPFOptimizer -f progs/CreditChecking.spbdl.cnv -o CNV

  -f for cnv-file, progs/CreditChecking.spbdl - CNV program to compile,
  -o for output format (CNV or CMP)

This command produces the two output files:
  * creditchecking.spbdl.cnv.cnv_s (private circuit including the programming for Constructor)
  * creditchecking.spbdl.cnv.cnv_p (public circuit without the programming for Evaluator)


2. run_SPFOptimizer -f progs/CreditChecking.spbdl.cnv -o CMP

  -f for cnv-file, progs/CreditChecking.spbdl.cnv - CNV program to compile,
  -o for output format (CNV or CMP)

This command produces the two output files:
1. CreditChecking.spbdl.cnv.cmp_s (private circuit including the programming for Constructor)
2. CreditChecking.spbdl.cnv.cmp_p (public circuit without the programming for Evaluator)



C. Example for running SPF-SFE:
-------------------------------

Will be published as soon as the runtime environment is completed.



D. Some general comments:
-------------------------

Step B can be used independently to optimize a circuit generated by FairplayMP [http://www.cs.huji.ac.il/project/Fairplay/].