首页 资讯 正文

AEX看点直播间丨SERO主网一周年回顾及关于SERO2.0规划声明!

安银(AEX) 2020年09月27日 02:10

【看点直播间】是一档区块链行业的线上个性化访谈栏目,由AEX(安银)(aex.plus)发起,以聚焦区块链行业各赛道生存现状以及分析市场可持续发展模式为核心,共同探索行业生态发展新趋势。

本期为AEX(安银)看点直播间第十九期专访回顾

本期主题:SERO主网一周年回顾及关于SERO2.0规划声明!

本期嘉宾:SERO CTO Durant.D

主持人:AEX(安银)交易所CMO 小凤仙

直播时间:2020年09月25日19:00

【AEX小凤仙】:大家好,我是AEX(安银)交易所CMO,小凤仙。

AEX安银,创办于2013年,是一家全球性的数字资产交易服务平台,已提供上百种数字资产的交易和投资服务,率先开创资讯社区,致力于为百万用户打造最值得信赖的数字资产银行。成立至今,AEX安银坚守中立不作恶原则,实行100%准备金制度,保障用户资产兑付,同时开展透明化,确保资金流向公开透明—资产守护,安银相助。

今天的嘉宾是SERO CTO Durant.D,下面请嘉宾跟大家打声招呼!

【段总】:大家好。我是SERO CTO Durant.D,很高兴AEX交易所提供了机会,在这里和大家相聚,来一起聊聊SERO,我这次AMA主要分两大部分讲一下,一个是SERO到目前为止的技术实践,一个是SERO以后技术发展的一个底层的技术方向。

小凤仙:

好的,感谢段总,估计有一些小伙伴对于SERO还不是很了解,那请段总先介绍下SERO吧?

【段总】:

那我先简要介绍下SERO

区块链数字货币按大类分两种类型。一种是支付类代币,这个以BTC作为代表,只有普通转账。一类是应用类代币,可以支持智能合约的运行,并支持在上面发布丰富的应用,这个以ETH为代表。

以往的匿名类代币,比如门罗和Zcash等这个种类,并不支持图灵完备的智能合约,SERO是我们在这个方向的实践,给区块链领域这个方向填补了空白。除此之外,SERO还有很多创新的内容。

SERO链的两个主要特点,一个是匿名,一个是支持图灵完备的程序。

小凤仙:

刚刚有听到说“匿名”跟“支持图灵完备的程序”,请段总给大家介绍一下上面提到的sero的两个特点吧?

【段总】:

好的,其实SERO有很多创新性的特点,我接下来详细逐一介绍下。

匿名

匿名是用零知识证明领域的snarks方案,作为匿名的基础,在学术领域方面这个方案有近20年的密码学的学术研究作为支撑,并在加密货币领域17-18年逐步在大零币上开始实践。我们匿名的数学理论体系和大零币一致,但在工程实践上,做了大量的优化。目前支持在超零上各类可交易资产的匿名化,包括交易地址和交易数量匿名。

同时,超零支持图灵完备的智能合约,可以把超零作为一台世界计算机基础使用,在上面运行各类复杂的智能合约应用,智能合约类dapp可以以完全去中心化的方式运行,去中心化的方式可以编写出完全无人操控,不用维护,永续运行的业务。

在功能上,和加密强度上。零知识证明几乎是完美的匿名技术。既不像达世币一样,需要中心化的混币器,又不像门罗币一样,只能把一笔交易,用环形签名的方式,把交易混淆到三到五笔交易中。零知识证明,普通人可以这样理解,就是把交易混淆到历史所有交易中,加密比如SERO可以混淆到以往的两百多万笔交易中,以数百万阶的多项式进行描述,基于NP完全性问题,这是根本无法破解的技术。

但是零知识证明有一个很大的问题,就是生成速度比较慢,在这里,超零团队用持续一年多的时间,进行了不断的优化,具体应用了非常多的途径,比如这里列出的。用扭曲爱德华曲线这种特殊的椭圆曲线代替SHA256散列算法来加速非对称加密,把零知识证明的电路运算进行并行化处理,底层的加密函数,用一些汇编代替c++进行深度优化,编写groth16的c语言版代替rust等很多处理。最终优化结果,相对于zcash,快了一个数量级以上。

大家可实际体验用下大零币钱包和SERO的钱包,来看一下这个优化的实际体验的提升。

图灵完备的程序和复杂的数据结构

既然是图灵完备的智能合约,就能编码现实世界的规则。在交易部分,其实并不只有数字货币这种完全同质化的东西,还有大量非同质化的数字资产,比如区块链宠物,区块链游戏中的装备等,这些都是有自己的很多属性的物品,每个都不一样,这个也需要打包进行交易,并且需要匿名化。SERO独创的ticket结构就支持这一点,ticket里面可以加入复杂嵌套的数据结构,形成一个复杂的交易包,这个交易包,也可以进行匿名交易。还有,如果,交易包里面的文本内容,比如明名字,电话号码,软件序列号等关键信息,也可以继续用chacha20进行打包,然后接受者用相关密钥进行解包,这就是Packet加密包结构。

支持智能合约轻钱包

除全节点钱包外,SERO支持完全去中心化的轻钱包,并且轻钱包里有去中心化应用市场。这些应用都是开源的,而且应用开发者开发出来,要在pc钱包的投票应用里进行投票,由社区自主治理决定这个应用是不是在钱包页面展示出来,当然不展示的话,直接由地址也可以进入。

PoW+PoS共识

一开始,SERO选用PoW共识,这种共识的安全性,取决于物理矿机算力的大小。如果作为应用类的区块链,在上面承载大规模资产的话,作为一条比较小市值的链,有一定的风险。考虑安全性的话,PoW+PoS共识在这方面是非常完美的,简单来说,就是PoW矿工出块,PoS用户通过投票来确认块的合法性,两者互相制约。这样的共识,让整个链的安全性稳固无比,无论算力波动,链总是安全的,而且不会出现PoW类型区块链常见的分叉成多个链的问题。

而且,我们也支持去中心化的PoS权益池节点,把PoS的扩散和维护通过权益池节点分散出去,权益池节点有整个出块1/8的收益,节点主也可以把这些收益用来维护他们自己组建的PoS社区,增强了PoS的稳定性。

ProgPoW

SERO支持公开的PoW挖矿,任何有4G以上显存的各个品牌的家用独立显卡都能挖矿,这样非常民主公平。每个矿工都可以用自己的显卡自由参与。

但是显卡挖矿有现实的威胁,就是FPGA和ASIC矿机会找机会研发出来,进行低成本挖矿,这样会造成挖矿的不公平性问题。

在这里,我们采用ProgPoW方案,这个方案简单来说,就是极大的挖掘显卡潜力,让显卡以最大功率运行,根据计算,即使ASIC矿机出来,其算力也只对显卡有1.2倍的算力优势,使FPGA和ASIC的矿机的研发从经济上完全不可行。我们是世界上最大的ProgPoW网络实践,并上了世界上最大的综合性矿池,鱼池,为世界上PoW的实践做出了自己的贡献。

小凤仙:

从SERO的特点可以看出你们在匿名跟POW实践这块做了很大的贡献,那我们代币销毁的机制是怎样的呢?

【段总】:

好的,我来说下这2个方面。

关于销毁机制,我们是实时销毁机制

sero每块SERO币根据算力波动的,有个设定的最大值。当算力降低时,自动会降低每个区块SERO币的释放量。这样,会在市场处于逆境时,对市场有一定的支撑作用。

支持多种匿名代币在同一智能合约调用

SERO底层链机制是UTXO,而不是和以太坊一样的账户模型。SERO上的发行的代币 和SERO币一样,不但匿名,而且可以不局限在一个智能合约的数据结构中,而是可以在被用户自己操作的情况下,用户打入不同功能的智能合约中,从而被各种不同的合约调用。同一合约,也支持编程多种代币逻辑,从而让比如DEX的开发,非常容易。

小凤仙:

对于生态布局,大家都比较感兴趣,请段总讲讲SERO在产品生态上的布局是怎样的呢?

【段总】:

除基础链外,SERO在基础产品生态上有很多布局也可以用一张图片来概括。

综合我以上讲的,SERO这个匿名系统,可以被定义为匿名币技术巅峰领域的探索和很多创新的开创者。

SERO上面今年孵化出了很好的DEFI项目。比如在SERO上的Coral去中心化交易所和三方的DEFI项目匿名算法稳定币系统POFID等。

接下来,基于流动性挖矿的dex及通用跨链系统等一系列项目群集,SERO项目组也在积极进行推进并在开发进度上已经取得良好进展。

这些项目互相调用和支撑,将组成SERO的DEFI和NFTfi应用集群。

综上,SERO不止是一个匿名代币,而是基于匿名的一整套价值交换系统,可以被定义为在匿名区块链技术巅峰领域的探索和很多创新的开创者。

小凤仙:

刚刚有提到SERO的一些规划,那接下来的SERO2.0又会有怎样的规划呢?

【段总】:

这个部分我讲一下SERO未来的底层技术方向。

市面上有层出不穷的技术和方向,但是真正沉淀下来的,能长久实用的技术不多。而且技术还分学院派的设计和工业化的领域。

有时候学院派设想的很好,但是工程方面就是实现不出来。SERO立足于最前沿领域的实用技术,因为SERO的风格就是拿成品出来应用的,所以我们的研究呢,也是最前沿领域的,能确实实践出来的技术。而且,公链不是玩具,而是实实在在的资产。所以我们还要尽可能设想这个方向是一条大路,而不是一条死路。这里呢,我们推选出几个方面,并推断这个应该能实践出来,并且能落地。

主要是这几个主要的layer1层的底层技术领域,涵盖了数据通讯和共识层相关的几个模块。

网络通讯

网络通讯,是一切的基础,是最底层的东西。这里,我推举把libp2p,作为web3,也就是今后研发的底层基础。因为这个,已经逐渐稳定化,而且,因为有版本区别,也能进行比较平滑的升级。我觉得,非常值得把今后的工作,压注到libp2p上。主要是它有很多的优点,比如NAT穿透,这个老大难的问题,似乎随着新的公链的发展,NAT的穿透率能从1%,穿透到75%以上,这样,我们能在非公网IP的环境下,能做出节点。而且,我们能用别的链已经构建的代理,来传递我们的数据。

而且,它能构建出分布式的,基于公私钥体系的IP层的加密,这样,我们能对IP地址和上面的数据流,再做一次去中心化加密,能实现更强大的隐私保护特性。

libp2p已经支持的协议

这里是一些已经构建出来的协议,可以看到有很多著名的协议,已经构建在上面。其实我们可以在网络第二层 就是IP层基础上,基于这个数据交换技术,任意构建我们定制化协议,不论是短连接还是长连接,不论的文本式的,还是数据流式的,还是大数据块式的,都能定制和基于版本化进行无缝的升级。这个,应该就是未来web3的基础,而且能穿透目前的硬件的网络设施,如防火墙和路由器,能取代目前事实上的网络基础,即超文本协议。

高TPS下的共识

我们时常在研究,在真正实用化场景中,比如上万,几十万TPS环境下,应该用什么共识才能支撑。就现实点来说,是用基于区块链经济基础支撑的POS,还是用基于算法的BFT。我的想法比较现实,如果不考虑POW的话,这两个全部得用上。因为如果不考虑经济基础的话,那也不叫是公链了,因为没有区块链经济机制的话,其共识也无法传递。但是,纯依赖经济机制的话,也不行,因为我们是一条中小市值的链,经济基础并不一定能承载大量的价值数据,所以,要加入算法层。所以,我们应该用BFT作为基础,在上面加入POS的一些思路。但是传统的BFT,它的O N 平方的通讯复杂度,总是实践方面遇到难以跨过的工程化障碍。Hotstuff,提供了 O N的通讯复杂度的思路,这个感觉可以,能实际应用了。但是还要把它做工程方面的改造,如果基于VRF,优化成 O log(n)的通讯复杂的,就非常的好用了,当然,还要考虑在分片环境下,新的共识如何适配,这个我们也做了大量的思考和推断。

这里,我们可以看下Hotstuff时序图。可以看到这个共识,用纯leader通讯,降低复杂度,并实现了三条并行的pipeline和leader确认过程。

分片

分片可分为三种类型:

网络分片:将节点分组为分片的方式,可用于优化通讯,因为分片内部的消息传播比传播到整个网络要快得多。需要考虑到攻击者获得了对特定分片的控制权之后,可能会发动的攻击。

交易分片:将交易映射到处理它们的分片的方式。在基于账户的系统中,可以根据发送人的地址将交易分配给分片。

状态分片:把网络和交易进行分片的同时,把存储状态也进行分片,让每个分片中的节点存储不同的部分。因此,每个节点只负责存储自己分片的数据,而不是完整的区块链状态。

如果要实现超高TPS,同时还坚持去中心化的话,必须要进行分片或者某种类似分片的思路,否则,无论是区块数据存储还是通讯,都会出现瓶颈。网络分片,交易分片和状态分片,都要融合在一起。特别是状态分片,只要实现了状态分片,估计才是完全版的分片。

分片设计目标

既要实现基于状态的分片,同时分片还要有明确的设计目标。比如这个分片,需要是比较均匀的,而且是可扩展的,可扩展的意思是按照设计,即能增大,也能收缩。而且整个过程要有提前量,不影响交易的及时性,同时也要保证数据的冗余备份,这都是实际工程实践中要考虑的问题。

零知识证明

这里,再讲一下零知识证明。零知识证明,作为一种基础架构。不仅仅局限于隐私保护,还可以用来作为解决区块链上很多的工程难题的突破口。

比如,智能合约,要运行在多分片环境下,进行跨分片的执行,那么运行效率如何保证呢,如何让它不卡住呢,如何实现图灵完备呢。如果,让零知识证明进行交易的批量压缩和证明确认的话,是很理想的一个解决办法,也是零知识证明除了隐私交易之外,一个很实用的方向。

各种零知识证明方案比较

目前各种零知识证明方案出现了,但是从实用性上,没有一种能比snark更加实用了 而且,大量方案,从理论上,也没有能更加平衡的,除了证明时间外,比如证明体积,比如确认时间,都是很重要的问题。这决定了,其他方案,暂时只能用在很狭窄的领域,而不是普适性的领域。这一块,还得继续发展,比如,如果在跨链和分片环境下,基础电路需要不断变化,怎么弄。这些,snark最新家族的发展,比如plonk或者snork给我们都提供了很好的思路和范式。

高性能区块链适用的虚拟机

在当前环境下,solidity肯定不是瓶颈,而是别的更底层的方面是瓶颈。但是在高TPS环境下,solidity肯定会出现瓶颈,所以,要用更适合的虚拟机。比如,用WASM裁剪和定制出来,虚拟机这个,不能追求极端技术化,因为这是社区用的东西,而不是几个技术自己自娱自乐,所以还得考虑到推广的方便,这个又是WASM的优点。这个裁剪和定制,虽然比较底层,但是也是能hold住的。

感谢大家,我讲完了!

以上观点仅代表嘉宾立场,本资讯不作为投资理财建议