~/bend-docscommunity

src/crypto/kex.bend checks

raw source on the hub · import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/kex.bend as Kex

3 imports
import Base
import ./curve25519/x25519.bend as X
import ./curve25519/field.bend as F

Types

type Keypair source · line 19 · raw

Data

Definitions

def keypair_of source · line 22 · raw

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

def generate_keypair source · line 29 · raw

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

def word_bytes source · line 33 · raw

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

32 bytes from 8 words, little-endian

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 nonzero source · line 51 · raw

@ss:List<&2, U32> -> @z:Bool -> Maybe<&2, List<&2, U32>>

def shared_of source · line 58 · raw

@m:Maybe<&2, List<&2, U32>> -> Maybe<&2, List<&2, U32>>

def shared_secret source · line 65 · raw

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