开发者发布 bend-ssz 库：对以太坊 SSZ 实现进行形式化验证的技术报告

作者 Giulio2002 发布了名为 bend-ssz 的库，声称通过 Bend 语言的形式化证明能力，确保 SSZ 序列化实现与规范完全一致。该库覆盖了109个主网 Fulu 类型和131个通用测试形态，共240种类型，并通过了5827条公开声明的静态检查。