type ChaCha8
import bend-collections-laws-math@1.0.0.0/src/math/random/chacha8.bend as Chacha8import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-math@1.0.0.0/src/math/random/chacha8/block.bend as B
36type ChaCha8 is Data:
37 C{key: B.Key, phase: Phase, buf: List<&2, W.U64>}
Uses (4)
Used by (13)
- bend-collections-laws-math@1.0.0.0/src/math/random/chacha8:next
- bend-collections-laws-math@1.0.0.0/spec/math/random:map_outputs
- bend-collections-laws-math@1.0.0.0/src/math/random/chacha8:of_key
- bend-collections-laws-math@1.0.0.0/src/math/random/chacha8:seed_ok
- bend-collections-laws-math@1.0.0.0/proofs/math/random/chacha8/stream:stream
- …