IronCoreLabs / recrypt Scala 37 4 Transform encryption library for Scala cryptography proxy-re-encryption scala