def expand
import bend-collections@1.0.0.0/src/crypto/sha/core.bend as Coreimport Base
79def expand(n: Nat, +history: List<&2, U32>) -> List<&2, U32>:
80 match n:
81 case 0n:
82 Nil{}
83 case 1n+p:
84 +w = next_word(history)
85 w <> expand(p, w <> history)
Uses (4)
Used by (7)
- bend-collections@1.0.0.0/src/crypto/sha/core:schedule
- bend-collections@1.0.0.0/proofs/crypto/sha/conformance:schedule_rounds_correct
- bend-collections@1.0.0.0/proofs/crypto/sha/conformance:expanded_rounds_correct
- bend-collections@1.0.0.0/proofs/crypto/sha/conformance:extension_correct
- bend-collections@1.0.0.0/proofs/crypto/sha/conformance:fused_compress_correct
- …