跑了五百个用例全绿，形式化验证一跑，合约直接炸了

2026-10-22 | 作者: 枣强文明网 | 分类：综合新闻 | 浏览:68

我已经做了六年的智能合约审计工作, 我见到过太多的测试报告写得漂漂亮亮。然后这些项目一上线。就被人薅走了百万美元。形式化验证和区块链测试的关系。说白了就是体检和CT检查的区别。你觉得自己没病。不代表就一定没有病。该查的东西还是要去查一下的。 形式化验证能替代区...

济南区块链交流会时间曝光参会人别再到处问了，一文全说清

2026-08-25 | 作者: 枣强文明网 | 分类：科普 | 浏览:194

那些从事区块链领域的朋友都清楚, 济南近期举办的这场交流会, 其受到的关注程度真的是格外高。在群里面, 关于时间以及地点的询问多达几十次, 我实在是看不下去这种情况了, 所以干脆亲自把能够查找到的相关信息全部整理了一番。那些曾经参与过的朋友都是了解的, 像这类...