PRIMES Project for 2016-17, involving implementation of Proof of Space
This project is implemented in Python 2.7.11.
sc.py
genererates superconcentrator graphs (currently implementing butterfly graph scheme)
ptc.py
generates a PTC hard-to-pebble graph using the superconcentrators from sc.py, per the scheme of Paul, Tarjan, and Celoni
pebble.py
is a class that encapsulates the pebbling, i.e. the current configuration of pebbles on the graph
pebbling_algos.py
contains several different pebbling algorithms of varying efficiency
test.py
contains various test cases that can be run with logs outputted to a text file
utils.py
stores a motley crew of (currently one) miscellaneous function(s)