type Phase
import bend-collections-laws-math@1.0.0.0/src/math/random/chacha8.bend as Chacha8import Base
29# the next group of the iteration: blocks 0-3, 4-7, 8-11 or 12-15
30type Phase is Data:
31 G0{}
32 G1{}
33 G2{}
34 G3{}
Uses (0)
This definition uses no other definition.
Used by (8)
- bend-collections-laws-math@1.0.0.0/src/math/random/chacha8:ChaCha8
- bend-collections-laws-math@1.0.0.0/src/math/random/chacha8:of_key
- bend-collections-laws-math@1.0.0.0/proofs/math/random/chacha8/stream:stream
- bend-collections-laws-math@1.0.0.0/src/math/random/chacha8:last
- bend-collections-laws-math@1.0.0.0/proofs/math/random/chacha8/stream:inv
- …