网址：https://certik.org
通过形式化验证，确保智能合约及区块链系统的安全性。
Balancer Grants DAO已上线并接受赠款申请:官方消息，BalancerDAO治理投票通过后，Balancer Grants DAO已上线并接受赠款申请。Balancer Grants DAO将作为一个独立的社区拥有的Balancer生态系统的赠款计划。第一个周期将持续3个月，预算为20,000 BAL（按今天的估值约为50万美元）分配给Balancer Grantees。[2021/8/20 22:25:37]
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。
Balancer社区提议将AMPL流动性挖矿上限提升至1000万美元:Balancer社区提议将AMPL流动性挖矿上限从300万美元提升至1000万美元。
当前AMPL/USDC智能池总流动性为880万美元，而AMPL的流动性为610万美元，已经超过300万美元的流动性上限，因此社区成员提出该提案。投票将从北京时间凌晨两点开始，如果投票通过将在北京时间12月14日早上8点生效。[2020/12/11 14:54:06]
该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
Balancer前端短时屏蔽YFII流动性挖矿页面，团队已道歉:据YFII社群表示，Balancer前端代码曾短时屏蔽YFII的流动性挖矿页面，代码显示将其定义为「ScamPool（欺诈资金池）」。据了解，该情况不影响资金安全，但充提过程会变得十分繁琐。且屏蔽YFII流动性挖矿页面后，意味着新用户的进入将会变得十分困难。不过截止发稿时，Balancer官方已道歉并重新开发页面。
据社群透露，YFII为中国团队开发项目。由DeFi协议yearn.finance分叉而来，其分叉原因是由yearn.finance社区治理YIP-8提出了增发提案，对每个矿池的每周增发量进行减半。但YIP-8提案因最终参与投票数量不足未获得通过，因此对该提案赞成的社区成员发起了硬分叉，并创建了与YFI基本相同的新项目名为YFII。
Balancer前后端开发主管Timur Badretdinov表示是自己的操作失误导致了YFII池子出现被屏蔽问题，目前已重新开放了YFII的流动性挖矿页面，他对此带来的影响表示抱歉。（BlockBeats）[2020/7/29]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。