changed trap certificate to be like the paper (hopefully rigorous now)
Merge branch 'master' of github.com:dannycalegari/schottky