Bend-SSZ：用 Bend 语言形式化证明 SSZ 实现

一份 AI 生成的报告介绍了 bend-ssz 库，它用 Bend 语言为 SSZ 实现编写形式化证明，覆盖 109 个主网 Fulu 类型加 131 个通用形式共 240 个类型，提供 decode、encode、hash_tree_root 及类型化对象 API。