def blobBN_MUL (x₀ y₀ n : String) : String

Equations

• blobBN_MUL x₀ y₀ n = (totallySafePerformIO ∘ IO.Process.run) (blobBN_MUL.pythonCommandOfInput x₀ y₀ n)

def blobBN_MUL.pythonCommandOfInput (x₀ y₀ n : String) : IO.Process.SpawnArgs

Equations

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

def BN_MUL (x₀ y₀ n : ByteArray) : Except String ByteArray

Equations

• BN_MUL x₀ y₀ n = match blobBN_MUL (toHex x₀) (toHex y₀) (toHex n) with | "error" => Except.error "BN_MUL failed" | s => ByteArray.ofBlob s