This PR adds a NFR transcript and verification for the transcript.
A lot of it runs in parallel, for example key generation for the timelock puzzles, and it might help to hard-code some big numbers that are keys in order to lower the overhead when running large benchmarks.
This PR adds a NFR transcript and verification for the transcript. A lot of it runs in parallel, for example key generation for the timelock puzzles, and it might help to hard-code some big numbers that are keys in order to lower the overhead when running large benchmarks.
This fixes #35.