作为在区块链行业摸爬滚打年久的测试工程师, 我看过太多项目因测试不到位翻车。区块链网络测试方案设计乃整个项目根基, 直接关联最终交付的质量。我碰过不少因测试疏漏引发的安全事件, 其中的教训值得每一位从业者深思。好的测试方案需要全盘考量网络特性、性能瓶颈以及安全...
形式化验证是什么
你是否也曾遭遇这般虐心状况——耗费诸多时日完成智能合约编写, 满怀信心将其部署, 然而没过多久就遭黑客致使资金被尽数掏空。每逢目睹此情景, 内心就格外不是味。于我们这个行业而言, 亏损向来绝非等闲之事, 那皆是实实在在的金钱财物, 皆是信任所...
