def blobBLAKE2_F (data : String) : String

Equations

• blobBLAKE2_F data = (totallySafePerformIO ∘ IO.Process.run) (blobBLAKE2_F.pythonCommandOfInput data)

def blobBLAKE2_F.pythonCommandOfInput (data : String) : IO.Process.SpawnArgs

Equations

• blobBLAKE2_F.pythonCommandOfInput data = { cmd := "python3", args := #["EvmYul/EllipticCurvesPy/blake2_f.py", data] }

def BLAKE2_F (data : ByteArray) : Except String ByteArray

Equations

• BLAKE2_F data = match blobBLAKE2_F (toHex data) with | "error" => Except.error "BLAKE2_F failed" | s => ByteArray.ofBlob s