~/jendhub

def sblock

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/chacha/stream.bend:114

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/chacha/stream.bend as Stream
import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/chacha.bend as R

114def sblock(+r: Nat, +s: List<&2, U32>) -> List<&2, U32>:
115  R.serialize(R.add_words(s, R.inner_blocks(r, s)))

Uses (6)

Used by (1)