src/crypto/keccak/types.bend

bend-collections-laws-crypto@1.0.0.0 · 7 lines · 2 definitions

1import Base
2
3type Lane is Data:
4  W{lo: U32, hi: U32}
5
6type State is Data:
7  S{a0: Lane, a1: Lane, a2: Lane, a3: Lane, a4: Lane, a5: Lane, a6: Lane, a7: Lane, a8: Lane, a9: Lane, a10: Lane, a11: Lane, a12: Lane, a13: Lane, a14: Lane, a15: Lane, a16: Lane, a17: Lane, a18: Lane, a19: Lane, a20: Lane, a21: Lane, a22: Lane, a23: Lane, a24: Lane}