0x48cee57f checks

0x48cee57f42dae6ba4c727fbf982cdd4d

no description

Anonymous package: import it by hash.

Published

2026-09-20

Size

149,853 bytes, 15 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

118 laws (118 proved), 170 defs, 3 types

Import

import 0x48cee57f42dae6ba4c727fbf982cdd4d/LAWS.bend as LAWS
import 0x48cee57f42dae6ba4c727fbf982cdd4d/PROOF.bend as PROOF
import 0x48cee57f42dae6ba4c727fbf982cdd4d/keccak.bend as Keccak
import 0x48cee57f42dae6ba4c727fbf982cdd4d/package.bend as Package
import 0x48cee57f42dae6ba4c727fbf982cdd4d/proofs/api.bend as Api
import 0x48cee57f42dae6ba4c727fbf982cdd4d/proofs/array.bend as MArray
import 0x48cee57f42dae6ba4c727fbf982cdd4d/proofs/permutation.bend as Permutation
import 0x48cee57f42dae6ba4c727fbf982cdd4d/proofs/sponge.bend as Sponge
import 0x48cee57f42dae6ba4c727fbf982cdd4d/spec/permutation.bend as Permutation
import 0x48cee57f42dae6ba4c727fbf982cdd4d/spec/sponge.bend as Sponge
import 0x48cee57f42dae6ba4c727fbf982cdd4d/src/hex.bend as Hex
import 0x48cee57f42dae6ba4c727fbf982cdd4d/src/keccak.bend as Keccak
import 0x48cee57f42dae6ba4c727fbf982cdd4d/src/lane.bend as Lane
import 0x48cee57f42dae6ba4c727fbf982cdd4d/src/permutation.bend as Permutation
import 0x48cee57f42dae6ba4c727fbf982cdd4d/src/types.bend as Types

Modules

• LAWS.bend 6 declarations, 6 laws
• PROOF.bend 0 declarations
• keccak.bend 2 declarations — MIT License
• package.bend 2 declarations — bend-keccak: pure stock-Bend Ethereum Keccak-256. MIT licensed.
• proofs/api.bend 27 declarations, 19 laws
• proofs/array.bend 6 declarations, 2 laws
• proofs/permutation.bend 7 declarations, 7 laws
• proofs/sponge.bend 84 declarations, 84 laws
• spec/permutation.bend 16 declarations
• spec/sponge.bend 17 declarations
• src/hex.bend 7 declarations
• src/keccak.bend 81 declarations
• src/lane.bend 30 declarations
• src/permutation.bend 6 declarations
• src/types.bend 4 declarations

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 6 TODOs found.
The code is incomplete, and not a valid proof yet.