区块链项目已经进入了智能合约时代，一个智能合约是一套以数字形式定义的承诺(promises)，包括合约参与方可以在上面执行这些承诺的协议。从本质上讲，这些自动合约的工作原理类似于其他计算机程序的if-then语句。在区块链和智能合约的世界中，“代码即法律”，无论怎么编写，它都会被执行。在某些情况下，这可能是好事也可能不是;无论是与不是，都将会是一种全新的情况，我们的社会在智能合约普及之前还有一段较为漫长的适应阶段。
但是智能合约自身的正确性和安全性却面临着巨大的问题。著名的DAO安全漏洞，Parity多签名钱包两次安全漏洞都由智能合约的安全问题引起，分别导致5千万、3千万、1.52亿美元的损失。因此智能合约的代码审计和验证就显得尤为重要，只有在安全性和可执行性上获得了充分的审查，智能合约才能在未来执行的时候发挥既定的作用。
由成都凛冬科技有限公司精心打造的国内第一款安全的智能合约开发平台—VAAS, 将能够解决智能合约所面临的这些安全问题。针对智能合约安全漏洞频出导致虚拟币被窃的问题，采用代码质量保障最有效的形式化验证方法，研制出了一套能提高智能合约安全性和功能正确性的高度自动化的形式化验证平台。提供包括安全的合约开发、合约代码审计、合约安全验证等服务，从根本上提高智能合约的安全性。
VAAS系统架构：
据悉，知名区块链项目Befund因为其金融属性，从项目一开始就非常重视智能合约的安全性，目前就其智能合约已经使用了Vaas的产品和服务进行了全面的审计，为了达到未来项目的顺利运营，Befund致力于在每一个环节减少安全隐患，这也将成为未来区块链技术项目的标杆。
