Strategy: runT
Some progress on Strong-Fiat-Shamir
agda-pkg: add protocols