~/bend-docscommunity

src/crypto/sign.bend checks

raw source on the hub · import bend-collections-laws-crypto@1.0.0.0/src/crypto/sign.bend as Sign

3 imports
import Base
import ./curve25519/x25519.bend as X
import ./ed25519/ed25519.bend as E

Types

type Keypair source · line 20 · raw

Data

Definitions

def keypair_if source · line 23 · raw

@+seed:List<&2, U32> -> @ok:Bool -> Maybe<&2, Keypair>

def generate_keypair source · line 30 · raw

@+seed:List<&2, U32> -> Maybe<&2, Keypair>

def word_bytes source · line 33 · raw

@+w:U32 -> @rest:List<&2, U32> -> List<&2, U32>

def random_bytes source · line 36 · raw

@n:Nat -> @acc:List<&2, U32> -> IO(List<&2, U32>)

def generate_keypair_os source · line 46 · raw

IO(Maybe<&2, Keypair>)

def sign_if source · line 51 · raw

@+sk:List<&2, U32> -> @+msg:List<&2, U32> -> @ok:Bool -> Maybe<&2, List<&2, U32>>

def sign source · line 58 · raw

@+sk:List<&2, U32> -> @+msg:List<&2, U32> -> Maybe<&2, List<&2, U32>>

def verify_if source · line 61 · raw

@+pk:List<&2, U32> -> @+msg:List<&2, U32> -> @+sig:List<&2, U32> -> @ok:Bool -> Bool

def verify source · line 68 · raw

@+pk:List<&2, U32> -> @+msg:List<&2, U32> -> @+sig:List<&2, U32> -> Bool