关于@ethlambda的更新。我们完成了状态转换函数的实现，区块证明处理也已完成。我们还在代码库中添加了关于3sf-mini回退机制的简要说明。 我们目前也在集成leanSpec测试向量。