Web3.Sign

EIP-712 typed data signing and EIP-191 personal signing.

Build a typed data request, encode it for the JS port, decode the signature response. Use the SignState machine to track the lifecycle of a single sign request.

import Dict
import Json.Encode as E
import Web3.Sign as Sign


permitRequest : T.Address -> T.Address -> BigInt -> Int -> Sign.TypedData
permitRequest owner spender value nonce =
    Sign.typedData
        { domain =
            { name = Just "MyToken", version = Just "1"
            , chainId = Just 369, verifyingContract = Just tokenAddress
            , salt = Nothing
            }
        , types =
            Dict.fromList
                [ ( "Permit"
                  , [ { name = "owner",    typeName = "address" }
                    , { name = "spender",  typeName = "address" }
                    , { name = "value",    typeName = "uint256" }
                    , { name = "nonce",    typeName = "uint256" }
                    , { name = "deadline", typeName = "uint256" }
                    ]
                  )
                ]
        , primaryType = "Permit"
        , message = E.object [ ... ]
        }


-- Send via port:
web3Cmd (Sign.encode "permit-1" signerAddress (permitRequest owner spender value nonce))


-- Receive via port (use signatureDecoder for the raw sig string):
case D.decodeValue Sign.signatureDecoder incoming of
    Ok sig -> -- sig is the 0x-prefixed signature
    Err _ -> -- not a sign response

Sign state machine — tracks one in-flight request:

type SignState
    = SignIdle
    | SignPending String          -- id
    | Signed String String        -- id, signature
    | SignFailed String String    -- id, error
    | SignRejected String         -- id


-- Usage:
( { model | signState = Sign.startSign "permit-1" model.signState }
, web3Cmd (Sign.encode "permit-1" addr request)
)


-- On port response:
newSignState = Sign.signUpdate signMsg model.signState

type TypedData

An EIP-712 typed data signing request.

type alias Domain =

{ name : Maybe String

, version : Maybe String

, chainId : Maybe Int

, verifyingContract : Maybe Address

, salt : Maybe String

}

EIP-712 domain separator parameters. All fields are optional; include only those your contract's domain hash covers.

type alias TypeField =

{ name : String

, typeName : String

}

A single field in a struct type definition.

typedData :

{ domain : Domain

, types : Dict String (List TypeField)

, primaryType : String

, message : Value

}

-> TypedData

Construct a TypedData value.

encode : String -> Address -> TypedData -> Value

Encode a TypedData request as a port command.

web3Cmd (Sign.encode "my-id" signerAddress request)

The id is echoed back in the signed response so you can match responses to requests when multiple signing requests are in flight.

personalSign : String -> Address -> String -> Value

Sign an arbitrary message with personal_sign (EIP-191).

Used for login flows and simple off-chain authentication. The wallet will display the raw message to the user before signing.

web3Cmd (Sign.personalSign "login-1" signerAddress "Sign in to MyDapp")

Responses arrive on the same signed tag as EIP-712 — use signatureDecoder.

signatureDecoder : Decoder String

Decode the signed response from the JS port.

case D.decodeValue Sign.signatureDecoder incoming of
    Ok sig ->
        -- sig : String — the 0x-prefixed signature
    Err _ ->
        -- handle decode error

type SignState

= SignIdle

| SignPending String

| Signed String String

| SignFailed String String

| SignRejected String

Signing state machine. Tracks the lifecycle of a single sign request.