请选择 进入手机版 | 继续访问电脑版
开启辅助访问
链路首页链路财经目前收录 币种 : 4908 交易所 : 310钱包 : 17 24H 交易量 : $43,403,137,051 总市值 : $245,388,183,835
2019
04/15
15:58
分享
评论

  • 上周星期四(4月11日)VaaS-ONT正式上线,当天我们携手本体(Ontology)举办答题送福利活动。


    在这几天的活动时间内,公众号后台收到了大家一百多条的答题消息,全部答对人数为45人。


    今天,Beosin 社区管理员统计出了最先答对的前三十名。


    下面让我们一起来看看大家期待已久的答案和获奖名单吧~



    题目答案




    1、以下哪个选项是本体第一套自动形式化验证平台的名称?

    A. SaaS

    B. VaaS

    C. VaaS-EOS

    D. VaaS-ONT


    VaaS-ONT是Beosin成都链安发布以太坊后全球第二个形式化验证平台,是Ontology本体第一套自动形式化验证平台。该平台于4月11日发布正式上线,现已在本体智能合约集成开发环境“SmartX-IDE”中集成。



    2、VaaS-ONT采用了什么方法验证智能合约漏洞?


    A. 人工审计方法

    B. 形式化验证方法

    C. 漏洞常规检测方法

    D. 多重防御检测


    VaaS-ONT平台采用了形式化验证方法验证智能合约漏洞精确地定义需要保证的合约正确性和安全性,并严格地保证较高的覆盖率。



    3、VaaS-ONT在以下哪一个智能合约集成开发环境中集成?


    A. VaaS-IDE

    B. Beosin-IDE

    C. ONT-IDE

    D. SmartX-IDE


    VaaS-ONT目前已经集成进本体智能合约集成开发环境“SmartX-IDE”内。





    4、形式化验证使用什么方式来确定及证明智能合约的正确性和安全性?


    A. 形式化语言

    B. 编译程序语言

    C. 数学和逻辑语言

    D. 大数据分析


    在区块链智能合约领域,形式化验证使用数学和逻辑语言精确定义智能合约、智能合约的运行环境以及智能合约的正确性和安全性,并通过数学证明和逻辑推理来证明智能合约的确满足其正确性和安全性定义。



    5、下面哪句话是正确的?


    A. VaaS-ONT形式化验证工具没有静态检测

    B. VaaS-ONT的动态检测部分,除开内建bug如除0,整数溢出,数组越界访问等外,需要通过在代码中添加VaasAssert或VaasRequire断言接口检测程序bug

    C. VaaS-ONT支持go语言开发的智能合约。

    D. VaaS-ONT的检测消耗的时间和Neptune编译器在一个量级。


    相关技术类知识可关注Beosin成都链安微信公众号,欢迎大家阅读平台推出的技术、漏洞分析类文章。



    答对前30名获奖名单如下(滑动):

    1-10名: 

    --良丰  。

    egotistic  

    MuziLee   

    kernel  

    天福  

    陆遥远@Ydapp

    云深不知处

    曾彬

    LuckyDog  

    Mr慢先森


    11-20名:

    鸟哥 dappbirds.com

    好好先森  

    LALALA  

    BoBo  

    站在巨人的肩上

    还是做个超人吧

    谢陈成

    惠飛  

    四月如风

    大飞


    21-30名: 

    吴氏眼镜

    万里行  

    新晨新语

    EOS起飞  

    又一山前  

    M

    123X  

    Lokki  

    Lac  

    Violet 


    1-10名:



    11-20名:



    21-30名:



    恭喜以上30位锦鲤喜提福利大礼包(前十名:书包1个+6个ONG,前11至20名:帽子1个+6个ONG,前21至30名:衣服1件+6个ONG)。

     

    本周社区管理员将与这30位锦鲤取得联系,并陆续发出奖品。

     

    请获奖用户留意微信好友添加消息,或自行添加社区管理员(微信号:cdlzkg),以便社区管理员为您送上奖品。


    感谢大家积极参与本次活动,以及一直以来对Beosin成都链安的支持,我们将为大家提供更多优质安全内容和服务,将来我们还会推出更多社区活动,请大家持续关注。



    欢迎大家体验:


    一、智能合约自动形式化验证平台VaaS精简版,准确率达到95%以上


    Beosin(成都链安科技)已向全球发布VaaS平台,全球首个同时支持ETH、EOS、Fabric、ONT、TRON等多个区块链平台的智能合约形式化验证平台,准确率达到95%以上。


    VaaS(精简版)系统为所有区块链从业者提供方便而免费的智能合约安全审计服务,对智能合约安全漏洞进行形式化验证,从容应对常规合约安全问题。欢迎大家登陆官方网址体验:


    官方网址:

    https://beosin.com/vaas/index.html#/audit/ptsj


    ▲VaaS 精简版平台


    二、在线 Beosin-IDE 免费版本


    Beosin-IDE 是一款免费的面向BOS、EOS区块链平台的智能合约在线集成开发环境,可同时支持合约开发、部署、测试和源码调试等功能的在线区块链应用开发集成环境。


    欢迎大家免费体验:通过浏览器访问

    https://beosin.com/BEOSIN-IDE/index.html#/

    (如下图,推荐Chrome浏览器)。


    ▲Beosin EOS-IDE


    Beosin官方发表正式声明:


    为了全球化市场战略需要,公司发布全新英文品牌 “Beosin”。作为深耕区块链安全领域的公司,“Beosin”力求为行业保驾护航,以打造区块链全生态安全为宗旨,竭诚为客户提供包括智能合约安全审计、智能合约开发审计一条龙、钱包安全加固与审计、DApp安全加固与审计、区块链平台安全检测、交易所安全检测、企业级安全服务等。但公司英文名称更名并不涉及业务架构或公司所有权变化。新品牌的Logo如下图:



    近期,有XX链安科技与成都链安科技重名,且Logo及宣传语相似。成都链安科技是一家由分布式资本、界石资本、盘古创富投资的专门从事区块链安全的公司,与其他XX链安科技无任何关联。请大家认准成都链安科技唯一指定商标品牌,谨防上当受骗,一切消息以官网及官方公众号为准。


    成都链安科技官方公众号名称:Beosin成都链安

    成都链安科技官方网址:

    www.lianantech.com

    ——Beosin




    关于Beosin:


    Beosin(成都链安)成立于2018年,公司位于四川省成都市,专注于区块链生态安全。公司由杨霞和郭文生两位教授共同创建,团队核心成员由来自海内外知名高校和实验室留学经历的教授、博士后、博士及阿里、华为等知名企业精英组成。已获得分布式资本、界石资本、盘古创富等著名投资机构的两轮股权投资。其核心技术为形式化验证,是全球最早一批将此技术应用到区块链安全领域的公司。


    公司首批入选Etherscan智能合约审计推荐名单及普华永道创新加速器,荣获全国首届中小微企业SaaS应用创新创业大赛冠军,获得OKEx最佳安全审计合作伙伴奖等荣誉,参加工信部多项区块链安全标准的撰写,入选工信部“2018区块链白皮书”,作为唯一安全公司入选“2018中国区块链企业百强榜”,荣膺金色财经“2018年度最专业安全服务机构”、“2019中国区块链安全领军企业”称号,荣获火星财经“最佳区块链数据安全团队”奖项。已与Huobi、OKEx、KuCoin、LBank、CoinBene、CoinMex、CoinTiger、Becent、ONT、Qtum、比原链、Wanchain、Scry、布比区块链云象区块链、QuarkChain、IoTeX、麦子钱包、EOSPark等共计超过40家区块链公司建立战略合作关系,审计报告被国内外各大知名交易所认可。审计智能合约超500份,独立发现区块链安全漏洞10余个,获得行业及客户的一致好评和认可。让区块链全生态更安全,是我们的美好愿景!






    Beosin

    作为Huobi、OKEx、KuCoin、LBank等

    著名交易所指定的合约审计公司。 

    入选Etherscan智能合约安全审计名单。


    欢迎联系Beosin,了解智能合约安全审计

    智能合约开发审计一条龙

    钱包安全加固与审计

    DApp安全加固与审计

    区块链平台安全检测

    交易所安全检测

    企业级安全服务

     ·

    电话:028-83262585

    网站:www.lianantech.com

    邮箱:vaas@lianantech.com

    地址成都市世纪城南路599号

    天府软件园D7座504室


    官网:

    https://www.lianantech.com


    GitHub网址:

    https://github.com/Lianantech/VCA


    Facebook网址

    https://www.facebook.com/BeosinChengdu/


    twitter网址:

    https://twitter.com/Beosin_com


    Telegram中文群:

    https://t.me/LiananTech_cn


    Telegram英文群:

    https://t.me/LiananTech_en


    微博:

    https://weibo.com/u/6566884467


    CSDN博客:

    https://blog.csdn.net/CDLianan


    知乎专栏:




      点击了解更多



主题帖 77 关注 0 粉丝 0
情感指数

链路大数据分析置信度 6.54 %

TA的主题帖
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

快速回复 返回顶部 返回列表