GXChain基金会帐户今日宣布实现智能合约锁仓并通过CertiK安全审计

7月18日，GXChain基金会官方宣布对基金会账户中尚未解锁的3500万GXC代币通过合约进行锁仓，取代原有人工解锁的方式，基金会智能合约账户为：gxchain-foundation-vesting-contract。

为了更好地执行锁仓计划，GXChain基金会选择了GXChain公信节点CertiK作为锁仓合约的安全审计服务商，CertiK已经为锁仓合约提供了全面且严格的安全审计。凭借CertiK行业领先的形式化验证技术，GXChain锁仓合约的安全性将得到有效保障。

根据GXChain基金会的公告，此举是为了实现GXChain基金会(全称为GXChain Foundation.,Ltd) 更为科学、安全的治理机制并赋能GXChain的生态建设，促进整个生态健康、有序的发展。

(GXChain基金会智能合约帐户截图)

CertiK是业内领先的区块链安全公司，总部位于纽约，由耶鲁大学和哥伦比亚大学的顶级形式验证专家，携数十年科研成果共同创立，是最早进入区块链安全领域的公司之一。团队技术实力雄厚，曾成功设计出世界上第一款防黑客操作系统内核，并将核心技术应用于区块链安全领域。与传统的安全检测方法不同，CertiK尝试在数学层面上证明区块链生态系统与智能合约具有抗黑客能力并且安全无漏洞。

GXChain基金会锁仓合约审计流程

审计团队由CertiK经验丰富的安全专家组成，通过使用CertiK独有的形式化验证技术，结合静态分析及人工复核等方式全面检测合约的漏洞及逻辑问题。审计期间，CertiK的安全专家与GXChain基金会进行了多次深入交流，以全面了解其商业模式和合约执行要求。

经审计，GXChain基金会锁仓合约代码设计规范且运行良好，具有良好的可扩展性，不易受到任何已知的典型漏洞攻击或其他安全问题的影响，安全程度较高。以下是一些要点：

1. CertiK对合约进行了两轮测试。在第一轮测试中，CertiK发现其智能合约允许GXChain基金会在所存资金大于提取额度的情况下进行二次支取。对此，CertiK与GXChain基金会进行了多次研究讨论，并协助其更新其智能合约，该问题已优化解决。针对更新后合约进行的第二轮测试未发现明显漏洞，只提出了个别问题的修改建议;

2. GXChain基金会对其合约共进行了三次更新，最终得出的合约版本经过了多次简化及复杂的验证，可有效规避典型漏洞攻击，同时避免引入其他风险，从而提高其合约的公信力;

3. 审计期间，GXChain与CertiK密切合作，主动向CertiK的专家们说明合约的设计预期、执行目的和可能存在的风险，及时给予反馈意见并对不足之处作出修正。CertiK的安全专家们高度评价GXChain的专业化水平和团队协作能力。

此前，GXChain核心团队曾于6月5日公布500万美金以上的回购计划，截至6月25日，团队已经完成了第三次回购。近日来，GXChain团队可谓动作不断，GXChain生态内迎来了HUB与GTEX两位新的合作伙伴，GXChain可信计算的PoC版本也已经完成。此番GXChain基金会宣布合约锁仓，实现了更加规范的链下治理机制，以“合约”取代了“人治”。 GXChain创始人兼CEO黄敏强今年也多次提及，团队会持续不断地“搞事情”、“技术”与“营销”两手抓，GXChain团队之后将有哪些动作，不妨拭目以待。