Strong-Fiat-Shamir: some progress and re-org