def parent
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3.bend as Blake3import 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/spec/lib/common.bend as SC
224# A parent node: key IV, block = left child CV ++ right child CV, counter 0,
225# length 64, flag PARENT.
226def parent(l: T.CV, r: T.CV) -> T.Out:
227 T.Out{cv_of(iv()),block_of(SC.append(U32,cv_words(l),cv_words(r))),0,64,parent_flag()}
Uses (9)
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3:join
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/tree:join_false
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/tree:complete_step
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/tree:parent_cv_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/tree:parent_out_correct
- …