def p
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/blamka.bend as Blamkaimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend as T
132# The permutation P on sixteen lanes.
133def p(v: T.State) -> T.State:
134 step7(step6(step5(step4(step3(step2(step1(step0(v))))))))
Uses (9)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types:State
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/blamka:step0
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/blamka:step1
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/blamka:step2
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/blamka:step3
- …
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/blamka:p_correct
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/blamka:cols
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/blamka:rows
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/blamka:cols_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/blamka:rows_correct
- …