def blobRIP160 (d : String) : String

Equations

• blobRIP160 d = (totallySafePerformIO ∘ IO.Process.run) (blobRIP160.pythonCommandOfInput d)

def blobRIP160.pythonCommandOfInput (d : String) : IO.Process.SpawnArgs

Equations

• blobRIP160.pythonCommandOfInput d = { cmd := "python3", args := #["EvmYul/EllipticCurvesPy/rip160.py", d] }

def RIP160 (d : ByteArray) : Except String ByteArray

Equations

• RIP160 d = ByteArray.ofBlob (blobRIP160 (toHex d))