深圳幻海软件技术有限公司 欢迎您!

  • Move语言安全性分析及合约审计要点之逻辑校验漏洞

    1、逻辑校验漏洞智能合约开发的业务相关逻辑设计复杂,涉及的经济学计算和参数较多,不同项目和协议之间可组合性极其丰富,很难预测,非常容易出现安全漏洞。在Solidity智能合约中,我们总结了4种类型的逻辑校验漏洞:(1)未校验返回值(2)未校验相关计算数据公式(3)未校验函数参数(4)未规范使用req

  • 为什么函数式编程非常适合开发区块链?

    现在有很多区块链,但只有少数几个独立的实施方案存在。Tezos是其中之一,作为该链的早期架构师,我有机会从一开始就参与了它的创建和开发。早期一个偶然的决定是遵循函数式编程范式,使用OCaml编程语言来构建该链。在这段经历中,我发现函数式编程和区块链是非常合适的。让我们来试试,看看为什么!安全性从一开

推荐阅读