firefly-compiler 0.4.35 → 0.4.36

package/compiler/Compiler.ff

@@ -66,7 +66,7 @@ coreImports: List[DImport] =
         "Channel"
         "Char"
         "Core"
-        "Digest"
+        "Crypto"
         "Duration"
         "Equal"
         "Error"

package/core/Crypto.ff

@@ -0,0 +1,95 @@
+capability Crypto {}
+
+extend self: Crypto {
+    
+    randomUuid(): String
+        target js async """
+            return self_.randomUUID();
+        """
+    
+    randomBuffer(size: Int): Buffer {
+        let buffer = Buffer.new(size)
+        self.randomizeBuffer(buffer)
+        buffer
+    }
+
+    randomizeBuffer(buffer: Buffer): Unit
+        target js async """
+            self_.getRandomValues(new Uint8Array(buffer_.buffer, buffer_.byteOffset, buffer_.byteLength));
+        """
+
+    hmacSha256(key: Buffer, buffer: Buffer): Buffer
+        target js async """
+            const cryptoKey = await self_.subtle.importKey(
+                'raw',
+                key_,
+                {name: 'HMAC', hash: {name: 'SHA-256'}},
+                false, 
+                ['sign']
+            );
+            const signature = await self_.subtle.sign(
+                'HMAC', 
+                cryptoKey, 
+                buffer_
+            );
+            return new DataView(signature);
+        """
+        
+    sha256(buffer: Buffer): Buffer 
+        target js async """
+            let hash = await self_.subtle.digest('SHA-256', buffer_);
+            return new DataView(hash);
+        """
+
+    makePasswordHash(password: String, iterations: Int = 100000): String {
+        let salt = self.randomBuffer(16)
+        let hash = internalMakePasswordHash(salt, password.toBuffer(), iterations)
+        "PSG_" + iterations + "_" + salt.toHex() + "_" + hash.toHex()
+    }
+    
+    checkPasswordHash(password: String, passwordHash: String): Bool {
+        passwordHash.split('_').{
+            | ["PSG", iterationsText, saltText, hashText] {iterationsText.getInt() | Some(iterations)} =>
+                let computedHash = internalMakePasswordHash(Buffer.fromHex(saltText), password.toBuffer(), iterations)
+                let hash = Buffer.fromHex(hashText)
+                self.constantTimeEquals(computedHash, hash)
+            | _ => False
+        }
+    }
+    
+    constantTimeEquals(buffer1: Buffer, buffer2: Buffer): Bool {
+        if(buffer1.size() != buffer2.size()) {False} else: 
+        mutable v = 0
+        mutable i = 0
+        while {i < buffer1.size()} {
+            v = v.bitOr(buffer1.grabUint8(i).bitXor(buffer2.grabUint8(i))) 
+        }
+        v == 0
+    }
+
+}
+
+internalMakePasswordHash(salt: Buffer, password: Buffer, iterations: Int): Buffer
+    target js async """
+        const keyMaterial = await crypto.subtle.importKey(
+            'raw',
+            password_,
+            {name: 'PBKDF2'},
+            false,
+            ['deriveKey']
+        );
+        const derivedKey = await crypto.subtle.deriveKey(
+            {
+                name: 'PBKDF2',
+                salt: salt_,
+                iterations: iterations_,
+                hash: 'SHA-256'
+            },
+            keyMaterial,
+            {name: 'AES-GCM', length: 256},
+            true,
+            ['encrypt', 'decrypt']
+        );
+        const hashBuffer = await crypto.subtle.exportKey('raw', derivedKey);
+        return new DataView(hashBuffer);
+    """

package/core/NodeSystem.ff

@@ -45,6 +45,9 @@ extend self: NodeSystem {
     mainTask(): Task
         target js async "return self_.task_"
 
+    crypto()
+        target js async "return (typeof globalThis !== 'undefined' ? globalThis : window).crypto"
+
     js(): JsSystem
         target js async "return typeof globalThis !== 'undefined' ? globalThis : window"
 

package/crypto/SubtleCrypto.ff

@@ -0,0 +1,149 @@
+import Crypto from ff:core
+
+capability SubtleCrypto(crypto: Crypto)
+
+data CryptoKey {}
+
+data CryptoKeyUsages(
+    encrypt: Bool = False
+    decrypt: Bool = False
+    sign: Bool = False
+    verify: Bool = False
+    deriveKey: Bool = False
+    deriveBits: Bool = False
+    wrapKey: Bool = False
+    unwrapKey: Bool = False
+)
+
+class CryptoCipher {
+    RsaOaep(label: Option[String] = None)
+    AesCtr(counter: Buffer, length: Int)
+    AesCbc(initializationVector: Buffer)
+    AesGcm(initializationVector: Buffer, additionalData: Option[Buffer] = None, tagLength: Int = 128)
+}
+
+class CryptoDeriver {
+    Ecdh(public: CryptoKey)
+    Hkdf(hash: CryptoDigest, salt: Buffer, info: Buffer)
+    Pbkdf2(hash: CryptoDigest, salt: Buffer, iterations: Int)
+}
+
+class CryptoGenerator {
+    HmacGenerator(hash: CryptoDigest, length: Option[Int])
+    AesCtrGenerator(length: Int)
+    AesCbcGenerator(length: Int)
+    AesGcmGenerator(length: Int)
+    AesKwGenerator(length: Int)
+    HkdfGenerator(hash: CryptoDigest, salt: Buffer, info: Buffer)
+    Pbkdf2Generator(hash: CryptoDigest, salt: Buffer, iterations: Int)
+}
+
+class CryptoSigner {
+    RsassaPkcs1V15
+    RsaPss(saltLength: Int)
+    Ecdsa(hash: CryptoDigest)
+    Hmac
+}
+
+data CryptoDigest {
+    Sha512
+    Sha384
+    Sha256
+    Sha1
+}
+
+extend self: SubtleCrypto {
+
+    encrypt(algorithm: CryptoCipher, key: CryptoKey, data: Buffer): Buffer
+        target js async """
+            const a = internalAlgorithm_(algorithm_);
+            return new DataView(await self_.encrypt(a, key_, data_));
+        """
+
+    decrypt(algorithm: CryptoCipher, key: CryptoKey, data: Buffer): Buffer
+        target js async """
+            const a = internalAlgorithm_(algorithm_);
+            return new DataView(await self_.decrypt(a, key_, data_));
+        """
+
+    sign(algorithm: CryptoSigner, key: CryptoKey, data: Buffer): Buffer
+        target js async """
+            const a = internalAlgorithm_(algorithm_);
+            return new DataView(await self_.sign(a, key_, data_));
+        """
+
+    verify(algorithm: CryptoSigner, key: CryptoKey, data: Buffer): Bool
+        target js async """
+            const a = internalAlgorithm_(algorithm_);
+            return await self_.verify(a, key_, data_);
+        """
+
+    digest(algorithm: CryptoDigest, data: Buffer): Buffer
+        target js async """
+            const a = internalAlgorithm_(algorithm_);
+            return new DataView(await self_.digest(a, data_));
+        """
+        
+    deriveBits(algorithm: CryptoDeriver, key: CryptoKey, bits: Int): Buffer
+        target js async """
+            const a = internalAlgorithm_(algorithm_);
+            return new DataView(await self_.deriveBits(a, key_, bits_));
+        """
+        
+    deriveKey(
+        algorithm: CryptoDeriver
+        baseKey: CryptoKey
+        derivedKeyAlgorithm: CryptoGenerator
+        extractable: Bool
+        keyUsages: CryptoKeyUsages
+    ): CryptoKey
+        target js async """
+            const a = internalAlgorithm_(algorithm_);
+            const d = internalAlgorithm_(derivedKeyAlgorithm_);
+            const u = internalKeyUsages_(keyUsages_);
+            return await self_.deriveKey(a, baseKey_, d, extractable_, u);
+        """    
+
+}
+
+internalAlgorithm(algorithm: JsValue): JsValue
+    target js sync """
+        if(algorithm_.Sha512) return 'SHA-512';
+        if(algorithm_.Sha384) return 'SHA-384';
+        if(algorithm_.Sha256) return 'SHA-256';
+        if(algorithm_.Sha1) return 'SHA-1';
+        if(algorithm_.RsassaPkcs1V15) return 'RSASSA-PKCS1-v1_5';
+        if(algorithm_.RsaPss) return {name: 'RSA-PSS', saltLength: algorithm_.saltLength_};
+        if(algorithm_.Ecdsa) return {name: 'ECDSA', hash: internalAlgorithm_(algorithm_.hash_)};
+        if(algorithm_.Hmac) return 'HMAC';
+        if(algorithm_.Ecdh) return {name: 'ECDH', public: algorithm_.public_};
+        if(algorithm_.Hkdf) return {name: 'HKDF', hash: internalAlgorithm_(algorithm_.hash_), salt: algorithm_.salt_, info: algorithm_.info_};
+        if(algorithm_.Pbkdf2) return {name: 'PBKDF2', hash: internalAlgorithm_(algorithm_.hash_), salt: algorithm_.salt_, iterations: algorithm_.iterations_};
+        if(algorithm_.RsaOaep) return {name: "RSA-OAEP", label: algorithm_.label_.value_};
+        if(algorithm_.AesCtr) return {name: "AES-CTR", counter: algorithm_.counter_, length: algorithm_.length_};
+        if(algorithm_.AesCbc) return {name: "AES-CBC", iv: algorithm_.initializationVector_};
+        if(algorithm_.AesGcm) return {name: "AES-GCM", iv: algorithm_.initializationVector_, additionalData: algorithm_.value_, tagLength: algorithm_.tagLength_};
+        // Turns out, generateKey has different parameters - think about naming
+        if(algorithm_.HmacGenerator) return {name: 'HMAC', hash: internalAlgorithm_(algorithm_.hash_), length: algorithm_.length_.value_};
+        if(algorithm_.AesCtrGenerator) return {name: 'AES-CTR', length: algorithm_.length_};
+        if(algorithm_.AesCbcGenerator) return {name: 'AES-CBC', length: algorithm_.length_};
+        if(algorithm_.AesGcmGenerator) return {name: 'AES-GCM', length: algorithm_.length_};
+        if(algorithm_.AesKwGenerator) return {name: 'AES-KW', length: algorithm_.length_};
+        if(algorithm_.HkdfGenerator) return {name: 'HKDF', hash: internalAlgorithm_(algorithm_.hash_), salt: algorithm_.salt_, info: algorithm_.info_};
+        if(algorithm_.Pbkdf2Generator) return {name: 'PBKDF2', hash: internalAlgorithm_(algorithm_.hash_), salt: algorithm_.salt_, iterations: algorithm_.iterations_};
+        throw new Error('No such algorithm');
+    """
+
+internalKeyUsages(keyUsages: JsValue): JsValue
+    target js sync """
+        const u = [];
+        if(keyUsages_.encrypt_) u.push('encrypt');
+        if(keyUsages_.decrypt_) u.push('decrypt');
+        if(keyUsages_.sign_) u.push('sign');
+        if(keyUsages_.verify_) u.push('verify');
+        if(keyUsages_.deriveKey_) u.push('deriveKey');
+        if(keyUsages_.deriveBits_) u.push('deriveBits');
+        if(keyUsages_.wrapKey_) u.push('wrapKey');
+        if(keyUsages_.unwrapKey_) u.push('unwrapKey');
+        return u;
+    """

package/experimental/s3/S3.ff

@@ -1,50 +1,3 @@
-import Digest from ff:core
-
-nodeMain(system: NodeSystem) {
-    system.writeLine(Digest.sha256("".toBuffer()).toHex())
-    system.writeLine(Digest.hmacSha256("key".toBuffer(), "The quick brown fox jumps over the lazy dog".toBuffer()).toHex())
-    
-    // Trying to reproduce the result from an example here 
-    // https://docs.aws.amazon.com/AmazonS3/latest/API/sig-v4-header-based-auth.html
-    let expectedHeader = "AWS4-HMAC-SHA256 Credential=AKIAIOSFODNN7EXAMPLE/20130524/us-east-1/s3/aws4_request,SignedHeaders=date;host;x-amz-content-sha256;x-amz-date;x-amz-storage-class,Signature=98ad721746da40c64f1a55b78f14c238d841ea1380cd77a1b5971af0ece108bd"
-    let amzDate = "20130524T000000Z" // TODO
-    let headerDate = "Fri, 24 May 2013 00:00:00 GMT" // TODO
-    let bucket = "examplebucket"
-    let body = "Welcome to Amazon S3.".toBuffer()
-    let actualHeader = makeS3AuthorizationHeader(
-        system = system
-        accessKeyId = "AKIAIOSFODNN7EXAMPLE"
-        secretAccessKey = "wJalrXUtnFEMI/K7MDENG/bPxRfiCYEXAMPLEKEY"
-        region = "us-east-1"
-        bucket = bucket
-        objectKey = "test%24file.text" // TODO URI encoded "test$file.text"
-        body = body
-        canonicalHeaders = [
-            Pair("date", headerDate) 
-            Pair("host", bucket + ".s3.amazonaws.com")
-            Pair("x-amz-date", amzDate)
-            Pair("x-amz-content-sha256", Digest.sha256(body).toHex())
-            Pair("x-amz-storage-class", "REDUCED_REDUNDANCY")
-        ]        
-        amzDate = amzDate
-    )
-    system.writeLine("")
-    system.writeLine("actual  : " + actualHeader)
-    system.writeLine("")
-    system.writeLine("expected: " + expectedHeader)
-    
-    
-
-    /*put(system, 
-        accessKeyId = ""
-        secretAccessKey = ""
-        region = "eu-central-1"
-        bucket = "firefly-site"
-        objectKey = "tmp/test2"
-        "Hello S3".toBuffer()
-    )*/
-}
-
 put(
     system: NodeSystem
     accessKeyId: String
@@ -53,24 +6,24 @@ put(
     bucket: String
     objectKey: String
     body: Buffer
+    headers: List[Pair[String, String]]
 ): Unit {
-    let amzDate = "20240523T122636Z" // TODO
-    let headerDate = "Thu May 23 2024 12:20:09 GMT" // TODO
+    let now = system.mainTask().now()
+    let amzDate = toIsoString(now)
     let contentHash = Digest.sha256(body).toHex()
     let host = bucket + ".s3.amazonaws.com"
+    let encodedKey = encode(objectKey)
     let canonicalHeaders = [
-        Pair("date", headerDate) 
         Pair("host", host)
         Pair("x-amz-date", amzDate)
         Pair("x-amz-content-sha256", contentHash)
-        Pair("x-amz-storage-class", "REDUCED_REDUNDANCY")
-        Pair("Content-Type", "text/plain")
+        ...headers
     ]
-    let authenticationHeader = makeS3AuthorizationHeader(system, accessKeyId, secretAccessKey, region, bucket, objectKey, body, canonicalHeaders, amzDate)
-    let headers = [...canonicalHeaders, Pair("Authorization", authenticationHeader)]
+    let authenticationHeader = makeS3AuthorizationHeader(system, accessKeyId, secretAccessKey, region, bucket, encodedKey, body, canonicalHeaders, amzDate)
+    let allHeaders = [...canonicalHeaders, Pair("Authorization", authenticationHeader)]
     
-    let url = "https://" + host + "/" + objectKey
-    let response = system.httpClient().fetch(url, method = "PUT", headers = headers, body = Some(HttpClient.bodyBuffer(body)), throw = False)
+    let url = "https://" + host + "/" + encodedKey
+    let response = system.httpClient().fetch(url, method = "PUT", headers = allHeaders, body = Some(HttpClient.bodyBuffer(body)), throw = False)
     system.writeLine("" + response.status())
     system.writeLine(response.statusText())
     system.writeLine(response.readText())
@@ -82,21 +35,19 @@ makeS3AuthorizationHeader(
     secretAccessKey: String
     region: String
     bucket: String
-    objectKey: String
+    encodedKey: String
     body: Buffer
     canonicalHeaders: List[Pair[String, String]]
     amzDate: String
 ): String {
-    let scopeDate = amzDate.slice(0, 8) // YYYYMMDD
-
     // CanonicalRequest
     let canonicalQuerystring = "";
-    let contentHash = Digest.sha256(body).toHex()
+    let contentHash = system.crypto().sha256(body).toHex()
     let headers = canonicalHeaders.map {_.mapFirst {_.lower()}.mapSecond {_.trim()}}.sort()
     let signedHeaders = headers.map {_.first}.join(";")
     let canonicalRequest = [
         "PUT"
-        "/" + objectKey
+        "/" + encodedKey
         canonicalQuerystring
         ...headers.map {p => p.first + ":" + p.second}
         ""
@@ -105,15 +56,20 @@ makeS3AuthorizationHeader(
     ].join("\n")
     
     // StringToSign
+    let scopeDate = amzDate.slice(0, 8) // YYYYMMDD
     let credentialScope = [scopeDate, region, "s3", "aws4_request"].join("/")
     let algorithm = "AWS4-HMAC-SHA256"
     let stringToSign = [
         algorithm
         amzDate
         credentialScope
-        Digest.sha256(canonicalRequest.toBuffer()).toHex()
+        system.crypto().sha256(canonicalRequest.toBuffer()).toHex()
     ].join("\n")
 
+    function hmacSha256(key: Buffer, message: String): Buffer {
+        system.crypto().hmacSha256(key, message.toBuffer())
+    }
+    
     // Signature
     let signingKey = hmacSha256(hmacSha256(hmacSha256(hmacSha256(("AWS4" + secretAccessKey).toBuffer(), scopeDate), region), "s3"), "aws4_request")
     let signature = hmacSha256(signingKey, stringToSign).toHex()
@@ -121,6 +77,17 @@ makeS3AuthorizationHeader(
     algorithm + " Credential=" + accessKeyId + "/" + credentialScope + ",SignedHeaders=" + signedHeaders + ",Signature=" + signature
 }
 
-hmacSha256(key: Buffer, message: String): Buffer {
-    Digest.hmacSha256(key, message.toBuffer()).toBuffer()
-}
+toIsoString(instant: Instant): String
+    target js sync """
+        const d = new Date(instant_ * 1000);
+        return d.toISOString().replaceAll(/[-:]|[.].../g, "");
+    """
+
+encodeURIComponent(text: String): String 
+    target js sync """
+        return encodeURIComponent(text_);
+    """
+    
+encode(text: String): String {
+    text.split('/').map {encodeURIComponent(_)}.join("/")
+}

package/experimental/s3/S3TestAuthorizationHeader.ff

@@ -0,0 +1,39 @@
+import S3
+
+nodeMain(system: NodeSystem) {
+    // Trying to reproduce the result from an example here 
+    // https://docs.aws.amazon.com/AmazonS3/latest/API/sig-v4-header-based-auth.html
+    let expectedHeader = "AWS4-HMAC-SHA256 Credential=AKIAIOSFODNN7EXAMPLE/20130524/us-east-1/s3/aws4_request,SignedHeaders=date;host;x-amz-content-sha256;x-amz-date;x-amz-storage-class,Signature=98ad721746da40c64f1a55b78f14c238d841ea1380cd77a1b5971af0ece108bd"
+    let amzDate = "20130524T000000Z" // TODO
+    let headerDate = "Fri, 24 May 2013 00:00:00 GMT" // TODO
+    let bucket = "examplebucket"
+    let body = "Welcome to Amazon S3.".toBuffer()
+    let actualHeader = S3.makeS3AuthorizationHeader(
+        system = system
+        accessKeyId = "AKIAIOSFODNN7EXAMPLE"
+        secretAccessKey = "wJalrXUtnFEMI/K7MDENG/bPxRfiCYEXAMPLEKEY"
+        region = "us-east-1"
+        bucket = bucket
+        encodedKey = S3.encode("test$file.text")
+        body = body
+        canonicalHeaders = [
+            Pair("date", headerDate) 
+            Pair("host", bucket + ".s3.amazonaws.com")
+            Pair("x-amz-date", amzDate)
+            Pair("x-amz-content-sha256", system.crypto().sha256(body).toHex())
+            Pair("x-amz-storage-class", "REDUCED_REDUNDANCY")
+        ]        
+        amzDate = amzDate
+    )
+    system.writeLine("")
+    system.writeLine("actual  : " + actualHeader)
+    system.writeLine("")
+    system.writeLine("expected: " + expectedHeader)
+    
+    system.writeLine("")
+    if(actualHeader == expectedHeader) {
+        system.writeLine("Test passed")
+    } else {
+        system.writeLine("Test failed")
+    }
+}

package/experimental/s3/S3TestPut.ff

@@ -0,0 +1,16 @@
+import S3
+
+nodeMain(system: NodeSystem) {
+    S3.put(system, 
+        accessKeyId = ""
+        secretAccessKey = ""
+        region = "eu-central-1"
+        bucket = "firefly-site"
+        objectKey = "tmp/test4"
+        "Hello S3 3".toBuffer()
+        headers = [
+            //Pair("x-amz-storage-class", "REDUCED_REDUNDANCY")
+            Pair("Content-Type", "text/plain")            
+        ]
+    )
+}

package/output/js/ff/compiler/Builder.mjs

@@ -46,7 +46,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/Compiler.mjs

@@ -46,7 +46,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
@@ -119,7 +119,7 @@ export function Compiler(emitTarget_, task_, compilerModulePath_, jsOutputPath_,
 return {emitTarget_, task_, compilerModulePath_, jsOutputPath_, packagePaths_, singleFilePackages_, virtualFiles_, cache_, lspHook_, phaseDurationDelta_, phaseDurations_};
 }
 
-export const coreImports_ = ff_core_List.List_map(["Any", "Array", "AssetSystem", "Atomic", "Bool", "BrowserSystem", "Buffer", "BuildSystem", "Channel", "Char", "Core", "Digest", "Duration", "Equal", "Error", "FileHandle", "Float", "HttpClient", "Instant", "Int", "IntMap", "Json", "JsValue", "JsSystem", "List", "Lock", "Log", "Map", "NodeSystem", "Nothing", "Option", "Ordering", "Pair", "Path", "Random", "Serializable", "Set", "Show", "SourceLocation", "Stream", "String", "StringMap", "Task", "Try", "Unit"], ((moduleName_) => {
+export const coreImports_ = ff_core_List.List_map(["Any", "Array", "AssetSystem", "Atomic", "Bool", "BrowserSystem", "Buffer", "BuildSystem", "Channel", "Char", "Core", "Crypto", "Duration", "Equal", "Error", "FileHandle", "Float", "HttpClient", "Instant", "Int", "IntMap", "Json", "JsValue", "JsSystem", "List", "Lock", "Log", "Map", "NodeSystem", "Nothing", "Option", "Ordering", "Pair", "Path", "Random", "Serializable", "Set", "Show", "SourceLocation", "Stream", "String", "StringMap", "Task", "Try", "Unit"], ((moduleName_) => {
 return ff_compiler_Syntax.DImport(ff_compiler_Syntax.Location("<prelude>", 1, 1), moduleName_, ff_compiler_Syntax.PackagePair("ff", "core"), [], moduleName_)
 }));
 

package/output/js/ff/compiler/Dependencies.mjs

@@ -36,7 +36,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/DependencyLock.mjs

@@ -24,7 +24,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/Deriver.mjs

@@ -26,7 +26,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/Dictionaries.mjs

@@ -30,7 +30,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/Environment.mjs

@@ -26,7 +26,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/Inference.mjs

@@ -34,7 +34,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/JsEmitter.mjs

@@ -30,7 +30,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/JsImporter.mjs

@@ -26,7 +26,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/LspHook.mjs

@@ -30,7 +30,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/Main.mjs

@@ -50,7 +50,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/ModuleCache.mjs

@@ -26,7 +26,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/Parser.mjs

@@ -32,7 +32,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/Patterns.mjs

@@ -26,7 +26,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/Resolver.mjs

@@ -28,7 +28,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 

package/output/js/ff/compiler/Substitution.mjs

@@ -26,7 +26,7 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
-import * as ff_core_Digest from "../../ff/core/Digest.mjs"
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
 
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"