虽然程序漏洞的检测和验证已经引起业界的高度重视，但在区块链行业内，安全问题仍旧频繁发生。
据不完全统计，至少已有22家交易所被黑客成功攻击，被盗次数达30余次，总共约1,000,000枚比特币和8亿美元的等值数字货币被黑客盗取。这其中，不但包括币安、OKEx、Mt.Gox、Bitfinex、Bithumb等头部交易所，还涉及了印度交易所Coinsecure、日本交易所Zaif、意大利交易所BitGrail等。
每一个漏洞，都将会成为黑客攻击的机会，造成的损失也将不可估量。在目前区块链技术蓬勃发展阶段，区块链的生态安全是一场真实弹的战争。而采用形式化验证技术的CertiK在安全保护方面从不退让，不仅仅是找出漏洞，更重要的是证明漏洞不存在。
加密货币守卫战
区块链项目TomoChain将于1月22日进行Zorro升级:区块链项目TomoChain将于区块30915660（约1月22日）激活Zorro升级。新的升级将把最新版本的Solidity纳入，并将提升TomoChain的功能，使该网络适合于托管可大规模运行的企业应用程序。激活后，多链流动性协议LuaSwap将上线。第一层协议Trifecta将支持多种DeFi专用工具，包括TomoZ、TomoX和TomoP。此外，由于升级后旧版本无法正常运行，因此所有节点运营商都必须在1月22日之前升级网络软件。（U.Today）[2021/1/12 16:00:49]
“目前区块链数字资产基本都是采用智能合约来进行约束，但智能合约在安全方面存在问题具有不可逆性、代码开源、高成本、思维受限几个方面，因此让区块链上的数字资产很容易遭受黑客攻击和掠夺。”CertiK中国区VP陈波锦表示，“区块链生态安全其实比我们预想的更加脆弱，要进行全面性的防御和保护才能实现生态安全。”
声音 | 重庆日报：抓住区块链发展的重要机遇:11月19日，重庆日报发文《抓住区块链发展的重要机遇》。文章表示，只有把区块链作为核心技术掌握在自己手中，未来才能真正把握竞争和发展的主动权。一是区块链推动下的数字货币是抢占高技术领域制高点的重要手段。二是区块链技术打通了创新链、应用链、价值链，金融服务实体经济就有了重要抓手。三是区块链技术为社会管理、治理水平提升提供技术支撑。区块链“未来已来”，它和任何事物一样，都有正反两个方面，需要建立规则体系，推动行业自律。要避免一哄而上、重复建设，方能在有序竞争中打开区块链的发展空间。区块链技术与加密货币相伴而生，但区块链技术创新不等于炒作虚拟货币，要保持理性，防止那种利用区块链炒作空气币等行为。同时还要看到，区块链目前尚处于早期发展阶段，在安全、标准、监管等方面都需要进一步发展完善。通过包容审慎监管，既包容试错又严禁越界，才能更好推动区块链创新发展。[2019/11/19]
CertiK中国区VP陈波锦
动态 | 数字认证：基于所掌握的密码技术，积极研发在区块链的解决方案:数字认证（300579）在互动平台回复投资者提问表示，公司基于所掌握的密码技术，积极研发在区块链的解决方案。我公司是“区块链密码创新联盟”的创始发起单位暨首届理事会成员，区块链密码创新联盟旨在基于符合国家密码管理要求的密码算法，确立安全可靠的区块链协议族；构建开源的安全可靠区块链底层技术和基础支撑平台，为各类区块链应用提供安全可靠的支持。[2019/4/9]
根据陈波锦介绍，目前常见的盗币手段主要有三大类：
1）以整数溢出为代表的代码安全漏洞。这些通常是被写代码的人不小心引入的，可能会引起合约某些功能部件失效。最严重可能导致黑客攻击，用户丢币，甚至黑客凭空造币。
2）智能合约权限控制。一般智能合约里面会设置一个拥有超级权限的管理员，这类合约的安全隐患比较大，因为一旦管理员的私钥被盗用，很容易造成巨大的损失。
声音 | ANBI首席分析师Smith：科创板的推出利好区块链技术企业:近日，上交所设立科创板并试点注册制的消息引起市场的广泛热议 。 ANBI首席分析师Smith表示：“科创板的推出，有两个比较明显的利好，一个是对高新技术，也包括区块链等技术企业，将来会是一个进入资本市场的通道；另一个是注册制本身对中小企业来说显得较为公平，也是全球市场的一个主流模式。”[2018/11/11]
3）规范性问题。现在很多智能合约的实现并没有统一规范，智能合约是以交互的方式进行多人合作。没有一个规范的合约容易导致不同人对合约的行为产生误解从而出现大量安全隐患。
正因为智能合约的不可更改性，黑客们不断挖掘交易所可能存在的任何漏洞。如何保障你的加密货币的安全？CertiK的陈波锦给出了几点建议：1）交易所和用户重视安全信息，避免信息泄漏；2）智能合约一旦更改，务必进行二次审计，确保其安全性；3）解析目前的漏洞和威胁，从源头上进行一定的技术防御，最大可能性降低黑客的可乘之机；4）无论是交易平台还是数字货币本身，选择可信的安全保护服务商。
区块链研究所宣布新成员:据btcmanager消息，区块链研究所（BRI）最近宣布了其新成员，其中包括Salesforce，Raiffeisen国际银行，BPC Banking Technologies，Navigator Limited和VIKTRE。区块链研究所（BRI）是一个价值数百万美元的研究项目，有超过70个项目探索区块链的影响及其在工业领域的战略意义。BRI的区块链先锋会员还欢迎创新领域的创业公司，包括Aion, Decentral和Polymath。 BRI目前在商业，政府和技术方面拥有近60名多元化成员。[2018/4/29]
从源头上阻断黑客之路，这无疑是一个非常大胆的想法。CertiK经过一年多时间的研发和论证，最终提出了完全可行并且可以落地的解决方案——“深度规范”的形式化验证。该方法是采用数据逻辑来验证程序的可靠性，在验证的的过程中逆行代码分层，对目标对象进行准确且无二异议的严格数学建模，描述以及推导与证明，证明它能得到预期的结果，没有bug。
目前，CertiK在用形式化验证技术审计智能合约方面已经相对成熟，不仅局限于solidity的以太坊智能合约语言，在其他多种语言环境下，也均有非常成功的案例。此外，CertiK与哥伦比亚和耶鲁大学联合研发并即将上线的DeepSea语言，可以帮助开发者编写出更加安全高效的智能合约，并且确保通过函数式语言DeepSea设计的被完全验证过的编译器被编译成bytecode的过程也是正确的。DeapSea也获得了IBM，Qtum和以太坊基金会在科研和资金方面的支持，将很大程度上助力区块链生态安全的建设。
据悉，一些知名的加密货币都采用了CertiK的形式化审计，其中包括BNB、OKUSD、TrueUSD、NEO、Qtum和QuarkChain等等，保护价值超过了44.9亿美金资产。
公链，一场关于效率和安全的博弈
目前，公链从大的方向看，有两种类型：一种是构建“大而全”的底层公链；一种是着眼于某个特定行业的公链体系。
细分行业也好，“大而全”也罢，其本质还都是依存于区块链这个体系而存在的，那它们就不得不面对效率和安全的问题。就市面上的大部分公链而言，依然是牺牲效率，保证整个系统的安全。
但是，360周鸿祎曾说过，任何系统都会产生漏洞，没有攻不下的系统，只有没发现的漏洞，所以区块链行业的安全在未来仍然任重道远。
鉴于此，CertiK通过对平台上开发的智能合约和DApps进行形式化验证来提供公链安全定制服务。
“我们的编程语言/形式验证专家将分析您的平台并为其语言设计数学模型。一旦转换为我们的数学模型，平台上的DApps就可以像CertiK保护的任何其他DApps一样受到保护。”陈波锦说。这也意味着，通过形式化验证，平台上DApps的正确性可通过机器检查校样进行验证，或通过自动生成的反例进行反驳。交付实现无漏洞的DApps，从而实现生态系统安全。
此外，CertiK还开放了渗透测试服务，强化公链平台的安全保护方案。
什么是渗透测试？陈波锦解释，它是针对计算机系统的授权模拟攻击，用于评估系统的安全性。执行测试以识别可能存在的漏洞，包括未授权方访问系统的特征和数据的可能性，以及优点，使得能够完成完整的风险评估。他举例介绍，Web应用程序渗透测试是通过在内部或外部模拟未经授权的攻击来访问敏感数据的。网络渗透帮助终端用户发现黑客从因特网访问数据的可能性，发现他们的电子邮件服务器的安全性，并且也了解网站托管站点和服务器的安全程度。
“渗透测试是一种预防控制方法，它给出了系统现有安全层的总体视图。从安全保护角度来讲，渗透测试更具预见性和安全性。”陈波锦介绍。
公链的安全与效率是不可能三角中的两个互斥节点。而CertiK可以帮助公链项目更好的解决安全方面的问题，减轻项目方的负担，让项目方可以有更多的时间和精力去解决如何提升其运行效率，如何为开发者和用户提供更好的体验等其他方面的问题。
CertiK一路走来，始终把握市场的脉搏，为迎合国内区块链行业的快速发展，CertiK已于今年初，在北京成立了中国区运营团队，以便为国内的客户，提供更方便快捷的服务和支持。另外，在技术人才方面，CertiK也迎来了形式化验证顶尖技术专家倪兆中博士和多名来自美国知名互联网公司的技术工程师的加入，大大加快了公司在业务与技术方面的发展。
有了全方位的支持，陈波锦表示，CertiK将在今年进一步加大公司在区块链安全技术方面的研发深度，完成DeepSea语言以及与其配套工具的开发。同时，利用自身优势，用区块链技术为传统产业赋能，构建两者之间沟通合作的桥梁，借助安全领域的合作，建立更加广泛的合作关系。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。