eos社区首个产品与资讯聚合平台（EOS.CYBEX社区满分入围EOS超级节点候选人）

eos社区首个产品与资讯聚合平台（EOS.CYBEX社区满分入围EOS超级节点候选人）香港数码港香港东京东京CBD核心区域六本木 Ark Hills South

EOS.CYBEX社区正式成为EOS超级节点候选人

截至北京时间3月29日早上9点，官方已正式通过EOS.CYBEX社区成为EOS超级节点的候选人的申请！更令人激动的是，EOS.CYBEX社区6分满分入围！

我们的使命

社区共有，社区共治，社区共享

东京

东京CBD核心区域

六本木 Ark Hills South

香港

香港数码港

Cyberport

新加坡

科学公园

Science Park

2

我们有专注区块链领域的严肃媒体

Longhash：http://hack.longhash.com/

区块链铅笔：http://chainb.com/

3

我们有去中心化交易所CYBEX

赛贝CYBEX交易所：https://cybex.io/

4

我们有第一个EOS的硬件冷钱包

星云硬件钱包是第一个同时支持EOS/CYB/BTS的硬件钱包，EOS采用了和BTS相同的签名算法和一致的JSON交易格式，通过LEB128压缩编码成二进制流，星云硬件钱包对二进制流进行ECDSA签名(secp256k1)，同时解析出关键数据结构（收件人，金额，手续费等）并显示在硬件屏幕上提示用户确认。相比于传统的软件签名方式，极大地增强了安全性，做到了用户私钥完全由硬件真随机数源所产生且永不可读写。

相比于市面上的BTC/ETH硬件钱包来说，EOS硬件钱包通过交易格式中的时间戳对交易防止了重放攻击（replay attack），而BTC使用UTXO，ETH使用nonce。同时，EOS交易体数据量较大，在硬件钱包这种嵌入式设备中，签名体长度对硬件内存的影响非常关键。硬件钱包通过Hash函数的特性进行了分段Hash再送入的方法进行了优化，而在BTC中，由于签名脚本（ScriptSig）和可变的数据结构在输入数据中（而不在输出数据中），因此无法通过分段Hash的方法进行。

5

我们有全球第一个EOS形式化验证平台VaaS

形式化方法简单的说就是用数学工具进行定义、开发和验证，根据某个或某些形式规范或属性，使用数学的方法证明其正确性或非正确性。形式化验证可以最大限度地理解和分析系统，并尽可能地发现其中的不一致性、模糊性、不完备性等错误。

随着DAO系统、Parity钱包、Coincheck等区块链安全问题的频发，区块链平台特别是智能合约的安全问题成了这一新技术的发展障碍。为解决此问题，国内外的学者和研究者一致认为，形式化验证方法将有效提高区块链生态系统和智能合约安全性。为此，中国具有“985”、“双一流”双重称号的电子科技大学的杨霞教授带领的形式化验证团队，经过近2年的研究和努力，研制出了一套高度自动化的区块链形式化验证平台VaaS。目前，已经能够对主流区块链平台（如EOS、以太坊等）智能合约的功能正确性和安全性进行形式化验证。

VaaS作为全球第一个针对EOS的形式化验证平台，采用了多种形式化验证方法，具有验证效率高，自动化程度高，人工参与度低，可支持大容量区块链底层平台验证等优点。近期，VaaS平台将重点专注于EOS区块链平台的形式化验证，提供全面的形式化验证服务，包括EOS智能合约的形式化验证，EOS沙箱和共识机制的形式化建模和验证。

核心团队

龚鸣

ICOAGE （曾为中国最大ICO平台）及区块链铅笔（最大中文区块链媒体）创始人。2012年开始致力于推动数字货币和区块链行业的发展，翻译并撰写过大量相关资料和区块链项目白皮书，参与著有《区块链社会》、《区块链——新经济蓝图》、《数字货币》等多部著作。

陈彦丰

上海交通大学电子工程硕士，曾在美国国家仪器有限公司 (Nasdaq: NATI）任西部大区总经理，后作为创始股东创办“聚星仪器”，为工业客户提供定制化测试测量仪器。早期区块链行业的参与者和投资者，曾参与多个区块链项目，对行业有着深刻的理解。

郭谦

先后取得新加坡国立大学学士学位和英国伯明翰大学硕士学位，曾就职于西门子（新加坡）公司，任职项目经理；上海贝尔阿尔卡特股份有限公司，武汉地铁一号线信号系统项目负责人。上海爱扑网络科技股份有限公司的联合创始人及COO，带领公司成功上市新三板。目前任赛贝CYBEX的CMO。

戴有造

斯坦福大学管理科学与工程学士，拥有丰富的企业管理与投资经验，跨境（中国-日本）投资基金公司Leland Capital的联合创始人及首席执行官，曾是物流供应商Yixing SCM的首席运营官／信息官、埃森哲顾问及多家公司的联合创始人，也是比特币和以太坊的早期中国用户。

王坚波

曾任德意志银行ETF和中国风险交易总监、花旗中国ETF与股权衍生品高级副总裁、瑞信证券股权衍生工具投资副总裁。熟悉全球金融市场及金融衍生品交易，深刻了解全球ETF交易以及各类金融创新业务。分别于2003年与2005年获斯坦福大学电子工程专业学士与硕士学位。

Emma Cui

新加坡国立大学 理学硕士（2006）南洋科技大学 材料工程学士 （2005）

麦肯锡公司 Digital McKinsey 资深顾问（2016至今帮助东南亚公司（尤其是FIG）开展数字化转型，自2010至2016在澳新银行参与综合性银行项目，在金融行业有十多年的从业经验，指导、培养东南亚地区众多有潜力的创业者和企业，对于金融科技有独特的见解与洞见。

Hilbert WANG

上海交通大学计算机科学博士

曾供职于贝尔实验室、微软、霍尼韦尔等知名集团担任软件研发工程师

精通Perl、Python等编程语言，拥有十多年的安卓软件开发、云盘研发、可视化从业经验，曾主持X86Disassembler、LALR Parser generator、Android on Ubuntu等大型项目。

Penny Yip

西北大学电子与计算机工程学院，电子与计算机工程硕士。

清华大学计算机科学学院，计算机科学硕士，企业管理学硕士。

就职于摩根大通证券香港公司。

金融科技领域高级研发员，包括低延迟/高回弹计算；对C/C 有深刻的理解；组装级性能调优；熟悉硬件体系结构；有超强的算法/数据结构设计能力。

投资伙伴

Genesis financials

技术准备

1

硬件配置和架构（6月3号之前）

我们的服务器已在香港部署，eos.cybex在3月25日正式加入测试网。

技术规格和支出：

Server Specification

• 1 x Cloud Node（Microsoft Azure D13 V2)

• CPU: 8 vCPU Cores

• RAM: 56GB

• Network: 1000Mbps

• Storage: Local SSD 400GB Managed OS Disk 1TB

• Estimated Monthly Cost: USD $711

2

硬件扩充计划（6月3号之后）

我们计划在两个不同的云服务供货商(IBM和微软云)上设置服务器，以保证系统供货商，云计算，网络连接都有足够的容错性 。

主要服务器

• 1 x Bare Metal Node (IBM Softlayer BI.S1.H1000)

• CPU: Quad Intel Xeon E7-4890 v2 (60 Cores 2.80 GHz)

• RAM: 1TB RAM

• Network: 10Gbps

• Storage: 4 x 800GB SSD (Expandable to 17 x 800GB SSD)

• Estimated Monthly Cost: USD $6 058 / month

备用服务器

• 1 x Cloud Node (Microsoft Azure E64 V3)

• CPU: 64 vCPU Cores

• RAM: 432GB

• Network - 30Gbps

• Storage: Local SSD 1.6TB Managed OS Disk 2TB

• Estimated Monthly Cost: $4 688

一旦今年谷歌的服务器系统在香港可行，我们可能增加或转移到谷歌的服务器上，用来提供正常运行外的容错。

社区发展Roadmap

1

社区发展计划（6月3号之前）

4月初，成立EOS.CYBEX基金会。

4月上旬，上海meetup

4月中旬，新加坡meetup

4月中旬，东京meetup

4月下旬，迪拜meetup

4月下旬，香港meetup

5月中旬，发布EOS开发者教程

5月下旬，EOS测试链上线

2

社区发展计划（6月3号之后）

• CYBEX上线EOS资产专区

• 持续在全球范围内做meetup

• Longhash设立EOS开发者专区

• 区块链铅笔设立EOS开发者专区

• 孵化器设立EOS开发者专区

• 官网开放EOS项目展示专区，持续更新各类项目的工作进展以及EOS活动预告