src/crypto/sha512/sha512.bend checks

raw source on the hub · import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/sha512/sha512.bend as Sha512

3 imports

import Base
import ./types.bend as T
import ./core.bend as Core

Definitions

def sha512 source · line 9 · raw

@bytes:List<&2, U32> -> List<&2, U32>

SHA-512 (FIPS 180-4). Bytes are U32 values, each < 256; the digest is the 64 bytes of H0..H7, most significant first. Proved equal to the executable specification spec/crypto/sha512.bend for every input: proofs/crypto/sha512/laws.bend.

def ascii source · line 12 · raw

@s:String -> List<&2, U32>

def hex_digit_if source · line 19 · raw

@x:U32 -> @small:Bool -> Char

def hex_digit source · line 26 · raw

@+x:U32 -> Char

def hex source · line 30 · raw

@bytes:List<&2, U32> -> String

Lowercase hex of a byte list.