Sha3256.sha3_256: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/sha3/sha3_256.bend as Sha3256
Lines 4-10 of bend-collections@1.0.0.0/src/crypto/sha3/sha3_256.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/sha3/sha3_256.bend&start_line=4&end_line=10

import Base
import bend-collections@1.0.0.0/src/crypto/sha3/core.bend as Core

# SHA3-256 (FIPS 202) on the Keccak-f[1600] permutation of src/crypto/keccak.
# It differs from Ethereum's Keccak-256 (src/crypto/keccak/keccak.bend) only in
# the domain padding: SHA-3 appends 0x06 where Keccak-256 appends 0x01.
# Bytes are U32 values, each < 256; the digest is 32 bytes. Proved equal to
# spec/crypto/sha3.bend for every input: proofs/crypto/sha3/laws.bend.
def sha3_256(bytes: List<&2, U32>) -> List<&2, U32>:
  Core.sha3_256(bytes)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/sha3/core.bend&name=sha3_256