def blobSHA256 (d : String) : String

Equations

• blobSHA256 d = dbgTrace (toString (toString "EvmYul/EllipticCurvesPy/sha256.py")) fun (x : Unit) => (totallySafePerformIO ∘ IO.Process.run) (blobSHA256.pythonCommandOfInput d)

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

Equations

• One or more equations did not get rendered due to their size.

def SHA256 (d : ByteArray) : Except String ByteArray

Equations

• SHA256 d = ByteArray.ofBlob (blobSHA256 (toHex d))