智能合约安全:知名区块链项目Befund接受智能合约安全审计

区块链项目已经进入了智能合约时代,一个智能合约是一套以数字形式定义的承诺(promises),包括合约参与方可以在上面执行这些承诺的协议。从本质上讲,这些自动合约的工作原理类似于其他计算机程序的if-then语句。在区块链和智能合约的世界中,“代码即法律”,无论怎么编写,它都会被执行。在某些情况下,这可能是好事也可能不是;无论是与不是,都将会是一种全新的情况,我们的社会在智能合约普及之前还有一段较为漫长的适应阶段。 但是智能合约自身的正确性和安全性却面临着巨大的问题。著名的DAO安全漏洞,Parity多签名钱包两次安全漏洞都由智能合约的安全问题引起,分别导致5千万、3千万、1.52亿美元的损失。因此智能合约的代码审计和验证就显得尤为重要,只有在安全性和可执行性上获得了充分的审查,智能合约才能在未来执行的时候发挥既定的作用。 由成都凛冬科技有限公司精心打造的国内第一款安全的智能合约开发平台—VAAS, 将能够解决智能合约所面临的这些安全问题。