Move SHA256-based PRF function into a separate C file