law full_base

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/blake/blake3/chunk.bend:126

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/types.bend as T
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/blake3.bend as K
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3.bend as S

126law full_base:
127  for +t: U32
128  for +index: U32
129  for +flags: U32
130  for +cv: T.CV
131  for -a: Array<U32>
132  for +b: T.Block
133  {K.full_go(0n,t,index,flags,cv,(a,b)) == outcv(S.chunk_blocks(0n,t,index,flags,64n,cv,(a,b))) : Array<U32> & T.CV}