def blobSNARKV (data : String) : String

Equations

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

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

Equations

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

def SNARKV (data : ByteArray) : Except String ByteArray

Equations

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