网址：https://certik.org
通过形式化验证，确保智能合约及区块链系统的安全性。
CertiK：Base Name Service basenameapp项目Discord服务器已被入侵:金色财经消息，据CertiK监测，Base Name Service @basenameapp 项目Discord服务器已被入侵。在团队确认他们重新获得服务器的控制权之前，不要点击任何链接。[2023/6/1 11:51:01]
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。
Kine将于3月11日通过BalancerLBP拍卖500万枚KINE:3月9日消息，去中心化衍生品交易所Kine将于北京时间3月11日晚10点通过Balancer流动性引导池（LBP）拍卖500万枚KINE代币，本次LBP将持续约36小时。
此前报道，Kine已正式启动测试网，目前用户可测试链上质押、合成资产交易和质押分红等功能，主网预计将于月内上线。[2021/3/9 18:29:49]
该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
去中心化交易协议Balancer将路由通道升级为多路径路由:BalancerLabs宣布完成对其去中心化交易协议Balancer的更新，将路由通道升级为多路径路由，可大幅改善gas定价及使用量。用户需要为新的委托合约解锁代币。[2020/8/26]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。