TODO

Security: Think thoroughly about the FS transcript inputs (implement strong FS)
Fix: Properly implement error handling and removal of unwraps()
Feature: Write benchmarks
Fix: Go over the remaining TODOs and XXXs in the codebase