DeFi项目要如何做呢？

案例分享：acBTC如何确保合约安全

acBTC是一个致力于提供综合性BTC DeFi服务的协议，为BTC这一单一资产提供多种DeFi方案。BTC作为最为优质的加密资产，用户对智能合约的安全问题尤其重视，acBTC团队也很重视这个问题。

当前DeFi项目热潮持续不减，很多项目为了抓住热点与机遇，在未经严格测试和审计的情况下便匆忙上线。而且对于智能合约而言，大部分的漏洞是无法通过常见的测试方法和工具来发现，只有寻找专业的审计专家进行严谨的数学模型证明，才可以发现该漏洞。

目前业内最常见的做法是在项目上线之前，聘请专业的安全团队进行充分的安全审计。形式化验证是当前唯一被证明可以产生可信数学证明的软件验证方法。因此，采用基于形式化验证方法的区块链检测工具来验证项目中的安全漏洞，成为了每一个项目在上线前的必经步骤。

acBTC的审计方为区块链知名机构安比（SECBIT）实验室。安比实验室按照严格的标准，从合约的技术实现、业务逻辑、接口规范、Gas优化、发行风险等维度对acBTC的合约代码进行审计，通过形式化验证、语义分析等工具进行扫描检测，对acBTC进行了21项审计，并出具了明晰的审计报告。

详细的审计报告能够明确的指出代码中存在的重大BUG、轻微BUG、可优化环节等等，帮助项目在代码安全层面做到更好。在安比实验室为acBTC提供的21个审计报告里，为acBTC排除了潜在风险。

审计的一个作用还在于帮助项目进行代码优化，这种优化可以带来更好的用户体验，减少在实际使用过程中可能出现的问题。

安比在审计过程发现的部分可优化项，并报告给acBTC团队，acBTC技术团队在安比实验室的协助下修复完成。

安比（SECBIT）实验室在对 ACoconut BTC （acBTC）合约进行分析后，发现部分可优化项，并提出了对应的修复及优化建议，acBTC开发者均已在最新版代码中进行了修复。安比（SECBIT）实验室认为acBTC项目代码质量较高、文档详细、测试用例完整。acBTC Phase Two完整实现了acBTC Migration和acSwap功能， acSwap中提供了Mint， Redeem， Swap功能，打通了BTC Token的流通，促进DeFi应用发展。

网络的安全风险还是动态的，特别是在DeFi这样强调可组合性的世界里，因此有一个为项目长期提供安全服务的审计方可以在运行过程中为项目排除风险。

acBTC作为一项金融服务产品，代码的设计不仅需要以太坊协议层开发的基本功，还需要开发者具备一定的金融常识和金融工程能力，此外DeFi作为一个金融领域的新生事物，经济模型设计以及代码开发层面仍有需要待完善的地方，即使是专业安全审计机构，也很难在有限时间内穷尽所有漏洞，所以除了项目上线前必要的安全审计，acBTC还邀请了安比实验室加入其开发DAO，作为一个全程的安全服务伙伴，为acBTC项目的安全稳定保驾护航。

本帖steem首发

DeFi项目要如何做

最近新帖

1. BSC的公链之道
2. 空气换大饼
3. 龙头项目的优势将更加明显
4. 比特币转移Defi
5. 前COMP时期DeFi
6. 币安智能链创新加速发展
7. DeFi 和以太坊
8. 多重签名multisig
9. 投资DeFi项目
10. 币安智能链的发展
11. 治理代币DF上线火币
12. Snapshot + Waku
13. 预言机中继网络
14. Reef Finance宣布与OpenDeFi合作
15. 预言机确保传输到链上的数据是可信安全的
16. DBLend开启公测 DeFi风起云涌
17. 以太坊链上巨鲸
18. 比特币技术创新
19. 明星资产比特币
20. DeFi发展的重要议题
21. Balancer遭闪电贷攻击
22. 机构对比特币的广泛采纳
23. WAX 建立 NFT 枢纽
24. 币安智能链BSC处于领先地位
25. 多链之间的金融体系交互
26. 比特币站上三万美元大关
27. OKEx 动作不断
28. 加密货币获得更广泛的关注
29. 跨链比特币的技术方案
30. DeFi的挑战和风险
31. 比特币是制造信用的机器
32. 2020年表现最好的加密资产
33. heco打造自身开放平台
34. 比特币暴涨背后
35. DeFi依托高性能可扩展的平台
36. 下一个发币空投的DeFi
37. NFT的历史和使用案例
38. 比特币破历史新高
39. BCH 在DeFi 领域的跟进速度相对较慢
40. DeFi之王YFI
41. 有望打造全球最大区块链生态集群
42. DeFi的下一站：交易所公链
43. DeFi则是圈内人的狂欢
44. BTC突破24500美元
45. 各国央行普遍开始关注、研发CBDC
46. DeFi 期权协议 Opium
47. DeFi流动性挖矿的破局者
48. Uniswap成价值股
49. 华尔街聚焦DeFi
50. MXC抹茶的布局路径
51. 打响流动性挖矿市场的第一枪
52. DeFi 的潜能巨大
53. defi项目要解决问题
54. MantraDAO内幕曝光
55. 2021年12月比特币的价格将达到31.8万美元
56. DeFi加速资产上链
57. SushiSwap计划在波卡上推出
58. 幽灵协议Aave的崛起
59. DeFi暴涨下的POW主流币
60. 富达比特币投资报告
61. btc永恒牛市真的来了？
62. Basis Cash 把 Rebase 机制更加复杂化
63. AMPL 为代表的简单粗暴流
64. 孙宇晨的Tron
65. DeFi改变了数字资产格局
66. MMM去中心化互助金融

阅读者 GoodReader

做一个优秀的读者,不因个人偏好而错过有意思的原创观点.
To be an excellent reader, don't miss interesting original ideas because of personal preference!

图片来源:百度搜索