Add SHA-256 hash pinning for .fun file loading#27

GiulsLu merged 2 commits intomainmicrosoft/skala:mainfrom

security/hash-pinning-fun-filesmicrosoft/skala:security/hash-pinning-fun-filesCopy head branch name to clipboard