ZK证明计算:算力硬件的新征途?
摘要
零知识证明在以太坊扩容、乃至区块链行业发展中都被寄予厚望。而零知识证明技术面临一定难度,虽然各类创新算法不断涌现,但验证易、生成证明难的局面依旧。我们前期报告也分析过,区块链扩容的一大方向便是计算脱链,因此将证明生成计算放在链外则成为主流方案。为解决生成证明过程的去中心化问题,ZK证明计算逐渐风生水起。随着以太坊合并之后,市场存量的以显卡算力只能另寻他途。而ZK证明正是为这些矿机硬件提供了新的应用空间。
零知识证明协议的验证非常快,而所有的难点就在于生成证明。只要生成证明的速度跟得上,那么链上验证就很简单,验证亚线性特点更利于区块链的拓展性。零知识证明目前有多种实现方式,如ZK-SNARKS、ZK-STARKS、PLONK以及Bulletproofs。每种方式在证明大小、证明者时间以及验证时间上都有自己的优缺点。完全理想的零知识证明非常难达到,几种主流的算法通常在不同维度之间做平衡。ZK-SNARK具有更简洁的证明,耗费更小的链上存储空间,但需要可信设置,存储一定的风险和漏洞。ZK-STARK具有更快的验证速度和证明速度,不需要可信设置,但是电路规模很大。BulletPropfs没有可信设置,且性能可拓展性很高,证明大小不是指数级增加,节省更多的存储空间。
ALEO的目标是构建一个可编程的隐私DeFi平台,类似Zcash和以太坊的综合体。用户可以不泄露数据隐私的情况下,使用区块链网络服务,其利用的主要技术就是零知识证明。零知识证明可以在不透露输入参数的情况下,验证交易的有效性,这为隐私验证提供了新的解决方案。Aleo结合零知识提供了全栈解决方案,保证应用程序堆栈的每一层都可编程、可使用、可去中心化隐私计算。这有些类似Zcash和以太坊的综合,既考虑隐私的需求,又能够运行各类合约,为DeFi等生态发展提供根基。
Aleo算力对CPU和GPU的要求都较高,对内存和固态存储的要求较低。从市场现有机型来看,Filecoin P1P2算力机改装最为简单,成为主流的测试机型。Fil C2超算机部分机型的CPU需要加强,再更改CPU的同时也可能会有主板的更改,改造成本也较低。对于Chia P盘机和ARweave,除了需要增加显卡,基本不需要其他改动,改造成本中等。而以太坊在转POS之后,如果ETH矿工想要加入 Aleo算力,则除了部分高端显卡之外,其余部分基本都需要改装,成本较高。
硬件方面的选择包括GPU、FPGA 或 ASIC,后两者潜力似乎更大。需要注意的是零知识证明仍处于早期发展阶段,目前仍然很少有标准化,且算法也在不断更新变化中。每种算法都有其特点,适合于不同的硬件,且随着项目发展需求每种算法都会有一定程度改进,因此很难去具体评估目前存量矿机的优劣。GPU能通过算法进行加速并行计算,但是算法内包含MSM、FTT,因此即使实现了并行运算,也无法大幅降低其证明时间。FPGA能够通过针对于ZK算法定制化优化矿机。ASIC是为特定用途专门定制的集成电路芯片,从出厂硬件上实现优化。但是ASIC由于过于定制化,需要的时间需要的时间和成本也会更多。也许硬件的迭代伴随着行业规模的增大,逐渐朝着ASIC方向发展,但是不会一步到位。
风险提示:区块链商业模式落地不及预期;监管政策的不确定性。
1. 核心观点
零知识证明在以太坊扩容、乃至区块链行业发展中都被寄予厚望。而零知识证明技术面临一定难度,虽然各类创新算法不断涌现,但验证易生成证明难的局面依旧。我们前期报告也分析过,区块链扩容的一大方向便是计算脱链,因此将证明生成计算放在链外则成为主流方案。为解决生成证明过程的去中心化问题,利用各类算力进行生成ZK证明计算(可以理解为类似ZK mining)逐渐风生水起。随着以太坊合并之后,市场存量的以太坊矿机只能另寻他途。而ZK证明计算正是为这些矿机硬件提供了新的应用空间。Aleo作为ZK证明计算的典型项目,提供了一种综合Zcash和以太坊的隐私平台方案。
本文分析了ZK证明计算的原理,对比了ZK-SNARKS、ZK-STARKS以及Bulletproofs几种典型方案的优劣。同时根据ZK的原理,分析了各类硬件应对零知识证明中的MSM、FFT的优劣。总而言之,对于Aleo而言,Fil矿机的改造成本最低;从硬件类型来看,FPGA和ASIC有较大的优势和潜力。但需要注意的是,ZK算法的复杂性和快速迭代下,不同需求适应的硬件可能也会不同。
2. 零知识技术的潜力:隐私和扩容
自以太坊诞生以来,扩容就成为区块链永恒的主题。L2无疑是扩容的主流方案,为解决L2与主网验证效率的问题,零知识证明技术(Zero Knowledge Proof,ZKP)是最有潜力的技术——这来源于ZKP验证的准线性特点。但其代价就是生成ZK证明计算带来的复杂性和难度,因为ZK证明计算需要大量的算力消耗,且消耗越大,验证的效率可能越高。因此ZKRollup成为最具潜力的扩容方案,而在公链的赛道上,ZK证明计算就成为绕不过去的点。因此,随着区块链扩容的发展,系统的复杂度也有着相应的提升,包括脱链(off-chain)计算(如SCP、ZKP证明计算)、硬件算力都成为扩容的选择。
以太坊扩容是大思路是数据运算、执行甚至存储脱离主链,这位硬件算力提供了新的应用场景。一些L2的ZK证明计算是放在私有算力硬件上完成的,但不要忘记零知识证明技术最基本的潜力是隐私性。为解决ZK证明计算的去信任化,利用去中心化的硬件节点来解决算力消耗成为一种自然而然的方向。例如Scroll创建一个去中心化的证明市场来解决以太坊L2扩容问题,创造了一个兼容EVM的ZKRollup。当然也有Aleo这样,利用ZKP的隐私特点,打造了一个隐私公链平台,且利用了硬件算力来解决ZK证明计算问题的新平台。
无论是用作L2,还是独立的新公链平台,ZKP证明计算的对硬件算力的需求都会催生出新的算力市场模式。
2.1. 运行原理、特点
零知识证明最早由MIT的Shafi Goldwasser和Silvio Micali在1985年一篇名为《互动式证明系统的知识复杂性》的论文中提出。作者在论文中提到,证明者(prover)有可能在不透露具体数据的情况下让验证者(verifier)相信数据的真实性。公共的函数f(x)和一个函数的输出值y,Alice对Bob说她知道x值,但是Bob不信。为此,Alice使用零知识证明算法,来生成一个证明。Bob验证这个证明,确认Alice是不是真的知道满足函数f的x。零知识证明可以是交互式的,即证明者面对每个验证者都要证明一次数据的真实性;也可以是非交互式的,即证明者创建一份证明,任何使用这份证明的人都可以进行验证。零知识分为证明和验证两部分,一般来说证明是准线性的,即验证是T*log(T)的。
假设验证时间是以交易数量对数的平方,那么10000笔交易一个块的机器验证时间是
VTime = (log2 10000)2 ~ (13.2)2 ~ 177 ms;现在将块大小增加一百倍(达到100万tx/块),验证器的新运行时间是VTime = (log2 1000000)2 ~ 202 ~ 400 ms。因此,正是这种非线性关系,我们能看到其超强的可拓展性,这就是为什么说,从理论上tps能够达到无限的原因。
验证是非常快的,而所有的难点就在于生成证明这一部分。只要生成证明的速度跟得上,那么链上验证就很简单。零知识证明目前有多种实现方式,如ZK-SNARKS、ZK-STARKS、PLONK以及Bulletproofs。每种方式在证明大小、证明者时间以及验证时间上都有自己的优缺点。
ZK-SNARK具有更简洁的证明,耗费更小的链上存储空间,但需要可信设置(在协议进行证明和验证之前,需要设置和生成一些公共的参数,但是在生成这些公共参数的过程中会产生一些不能公开的中间数据,任何一方拿到这些数据都能破解协议,因此需要确保在完成设置之后删除这部分数据,在隐私保护的角度,这则成为风险和博弈的漏点)。
ZK-STARK具有更快的验证速度和证明速度,不需要可信设置,但是电路规模很大。BulletPropfs没有可信设置,且性能可拓展性很高,证明大小不是指数级增加,节省更多的存储空间。
2.2. 几种算法方案对比
一个理想的零知识证明算法满足以下条件:
1)生成证明的计算复杂度最多是线性的;
2)验证证明的计算复杂度最多是对数的;
3)证明的大小复杂度最多是对数的(证明内容和函数大小增大,呈对数增长);
4)无需可信设置(可信设置存在数据泄露的风险)。
在理想的零知识证明算法下,区块链可以不用保存原始的交易数据,而是保存协议生成的零知识证明,矿工节点只需验证零知识证明,而无需验证原始交易数据。显然,生成的证明小于原始交易数据,且验证时间比原来的验证方式短。这样可以提高区块链的拓展性。
但是完全理想的零知识证明非常难达到,几种主流的算法通常在不同维度之间做平衡。
如比特币、以太坊等区块链,“矿工”验证最原始的交易数据,这种原始验证方式(下图中的Naive)计算复杂度和验证证明的计算复杂度是一样的。ZK-STARK算法的性能如图所示,它生成证明的时间复杂度随着输入和函数f的复杂度线性变化。很明显,验证的时间复杂度是对数的(因此可以提升扩展性)。虽然生成证明的时间复杂度是线性的,但它比原始的方式慢100多倍(放大坐标轴才能看出来差别)。2013年业界提出ZK-SNARK算法(匿名币Zcash采用这种算法),性能有不小的提升,但需要可信设置(红色曲线)。正如上文提到的,可信设置会带来一些数据泄露的风险和博弈。
零知识证明越复杂、越大,则性能越高,验证所需的时间越短。如下图,STARKs和Bulletproofs无需可信设置,随着交易数据量从1TX激增至10000TX,后者证明的大小增加的更少。Bulletproofs的优点是证明的大小是对数变换(即使f和x很大),有可能将证明存入区块,但其验证的计算复杂度是线性的。可见各类算法都有很多要权衡的关键点,亦有很多待升级的空间,然而在实际运行过程中,生成证明的难度远比想象中的要大,因此现在行业都致力于解决生成证明的问题。
以上分析为ZK证明计算提供了应用空间,其大思路则有些类似于mina、或AR生态的SCP,将更复杂的计算(生成证明)置于主链之外,利用硬件的堆叠来解决零知识证明生成的算力消耗,而主链则负责验证证明,以提升区块链的扩展性。交易数据在链外可以通过零知识证明、TEE等技术手段实现主链对链外平台的监督和验证。整体上的思路就是脱链/链外计算,把计算(存储等资源消耗)与存证分开。而零知识证明的特点则在于验证的高效解放了区块链的拓展性,代价则是生成证明的复杂性。
3. ZK证明计算:算力硬件的新出路?
2022年,在以太坊合并之前,在网工作的显卡数量约2700万张,算力亦在5月中达到高峰的1.13P,随着以太坊的合并,这些算力除切换至ETC等分叉链,还有其他出路吗?除了大量显卡,市场上的Filecoin(fil)、AR等算力设备存量也很大。ZK证明计算也许会为矿机硬件提供新的用武之地。
为什么ZK证明计算可实现?
1)当将证明这一部分外包出去是,通过KZG承诺等技术也能保证内容不会被篡改,这也就是所谓的计算完整性;
2)ZKPs 从根本上为可扩展的私人支付以及智能合约平台的加速发展提供了可能,但是其高昂的计算成本在一定程度上限制了其大规模采用的进程,因此出现ZK矿工提供算力支持成为自然。
ZK证明计算就是致力于通过硬件的堆叠,以快速高效的提出证明便于链上验证。随着新需求和用例的出现,芯片制造商会设计专用的 GPU、FPGA 和 ASIC,以针对特定功能和软件进行优化。从云计算到计算机图形学、人工智能和机器学习,所有主要的科技行业都已经发展到需要能够加快计算运行速度和效率的硬件。由于大量昂贵的数学运算,ZKP 的生产速度慢且成本高。但是,通过使用可编程门阵列 (FPGA) 和专用集成电路 (ASIC) 等专用硬件,它们可以加速 10-1000 倍。
随着用户寻求更具表现力、高性能和私密性的计算,使用 ZKP 证明的语句的复杂性将会增加。这将导致证明生成速度变慢,需要使用专门的硬件才能及时生成证明。与比特币矿工类似,硬件运营商的工作需要得到补偿——而同时用户需要解决算力外部的问题,这便形成了ZK证明计算的市场。最终,一个完整的 ZK采矿和证明行业将出现,首先是爱好者在他们的 CPU 中生成证明,然后是 GPU,然后是 FPGA。ZK证明计算可以在私人网络里运行,但考虑到去中心化的需求,可以利用区块链节点来解决。
目前比较形成系统的ZK证明计算项目是Aleo,尽管尚在早期,但为ZK硬件生态构建做了一些探索。Aleo还未有专门适配的ZK证明计算机器,但是也可以通过改装现有机器。
3.1. ALEO的探索
ALEO的目标是构建一个可编程的隐私DeFi平台,用户可以不泄露数据隐私的情况下,使用区块链网络服务,其利用的主要技术就是零知识证明。零知识证明可以在不透露输入参数的情况下,验证交易的有效性,这为隐私验证提供了新的解决方案。Aleo结合零知识提供了全栈解决方案,保证应用程序堆栈的每一层都可编程、可使用、可去中心化隐私计算。这有些类似Zcash和以太坊的综合,既考虑隐私的需求(以太坊的链上交易都是透明可查的),又能够运行各类合约,为DeFi等生态发展提供区块链平台。
该项目使用的是PoSW(简洁工作证明)共识机制,该算法是基于SNARK的激励算法。PoSW 是一种类PoW的共识机制,是比特币基于SHA的难度调整算法的变体,主要区别在于底层计算不是任意散列函数,而是知识证明。使得 PoSW 解决方案不仅可以充当 PoW 以确保系统共识,还可以提供给定区块中包含交易的验证,让算力发挥实际运算的作用,且逻辑上来说也可以让性能更进一步优化。
Aleo layer1层主要作为数据层,执行层在链下,验证层由Layer1验证节点承担,类似于ETH2.0结构。执行层执行交易并且由矿工生成SNARK证明,提交到Layer1,验证节点负责验证该证明有效性。而Layer1仍然采用的是POS质押模型。Aleo 通过ZKCloud体系实现可编程隐私的功能。ZKCloud 是一个脱链、去信任的计算环境,程序在其中以私密、安全、廉价的方式执行。这与AR生态的SCP等链下计算方式类似。
Aleo代币也称为积分额度,是访问零知识计算的关键资源,因此Aleo积分成为零知识证明市场定价的货币工具——在用户和矿工之间流转,这与fil等存储网络的经济模式类似。同时,PoSW共识机制下,Aleo网络上的费用是可以事先计算的,因此网络中不存在 "Gas "的概念,这一点与以太坊有着明显的区别。在Aleo网络中,每个人都提前知道运行一个特定的程序需要多少Aleo积分。Aleo目前出于三期测试网状态。
在兼容以太坊EVM的各类L2网络应用ZKP,则可以分享以太坊强大的生态资源,Aleo算是开辟了一个新的赛道模式——创造新公链平台,成为以太坊的竞争对手。当然,也不排除Aleo后面会兼容以太坊EVM,成为以太坊大生态的一部分。
3.2. ALEO算力机器改装
Aleo算力对CPU和GPU的要求都较高,对内存和固态存储的要求较低。从市场现有机型来看,Filecoin P1P2算力机改装最为简单,成为主流的测试机型。Fil C2超算机部分机型的CPU需要加强,再更改CPU的同时也可能会有主板的更改,改造成本也较低。对于Chia P盘机和ARweave,除了需要增加显卡,基本不需要其他改动,改造成本中等。而以太坊在转POS之后,如果ETH矿工想要加入 Aleo算力,则除了部分高端显卡之外,其余部分基本都需要改装,成本较高。
因此,从Aleo算力来看,fil矿机是最适合改造为ZK矿机的。对于 Aleo全网算力的预测可以借鉴 Fil主网上线时的增长幅度。因为诸多Fil算力机基本可以零改装费接入 Aleo网络,市场上很多矿商都在关注 Aleo算力业务。参考 Filecoin 主网上线第一年的增速,前3个月约为50%-60%增速,3-6月约为30%左右增速,6-12月约为15%-25%左右增速。市场对三期测试网的预期较为乐观,假设全网总算力为105万pps为起点,则预测 Aleo 主网上线一年后,全网可达到2000万pps左右。
但这种乐观的预期能否实现还要看最终的市场接受程度、Aleo网络生态发展状况。
3.3. Scroll:用于ZKRollup的证明市场
Scroll 是一个等效于 EVM 的 ZKRollup,旨在扩展以太坊。Scroll 能够兼容 EVM 支持生成零知识证明,以太坊智能合约可以无需修改而直接部署运行。而Scroll跟其他ZKRollup最大的区别是,项目希望创建一个去中心化的证明市场,这也为ZK证明计算带来应用空间。
在 ZKRollup 的运行原理里,存在一个Sequencer的角色,它负责收集交易并进行排序和打包发布到以太坊主网,随后 Prover会为这些交易生成证明。只有证明提交并被验证通过后,这些交易才最终被确认。目前主流的 ZKRollup 如 ZKSync 和 StarkWare 的 Sequencer 和 Prover 是中心化的,即掌握在项目方手中。而 Scroll 和其他 ZKRollup 的一个重要的不同点在于它希望通过去中心化网络创建一个证明市场,即Roller社区。Roller Network 里的 Roller 可以外包给提供 GPU、FPGA 和 ASIC 等机器的矿工,解决零知识证明运算。
在市场化的竞争下,去中心化的算力市场很可能会诞生类似比特币或以太坊矿池的形式,有能力的开发者 / 矿池会优化各种算法提高生成证明的效率、降低成本,以获得更多的奖励。而普通的矿工则直接接入这样的矿池,按贡献算力获取奖励。
3.4.ZK证明计算机器需要解决的问题
根据证明系统的不同,证明生成过程可能会有所不同,但始终面临以下瓶颈:
1)对大型数字向量(字段或组元素)的乘法,特别是可变基数和固定基数多标量乘法(MSM);
2)快速傅里叶变换(FFT) 和逆 FFT(尽管有用于无 FFT 证明系统的技术);
3)在同时存在 FFT 和 MSM 的系统中,大约 70% 的时间生成证明花费在 MSM 上,其余时间则由 FFT 主导。
虽然MSM 和 FFT 都很慢,但都有提高性能的方法。MSM 具有并行性的可能,可以通过在多个线程上运行它们来加速。然而,即使在数百个内核上,如果每个元素向量是长(即 3300 万个元素,对于像ZKEVM这样的应用程序来说,这是一个较为保守的复杂度范围),乘法最终会花费大量时间。这意味着经常重复相同的操作,并且会耗尽设备上的大部分可用内存。
MSM 需要大量内存并且即使在高度并行化时仍然很慢,而FFT 严重依赖算法运行时数据的频繁洗牌。这使得它们很难通过跨计算集群分配负载来加速。此外,它们在硬件上运行时需要大量带宽。改组意味着需要“随机”加载和卸载元素,例如,具有 16GB 或更少内存的硬件芯片上的 >100GB 数据集。虽然硬件上的操作非常快,但通过网络加载和卸载数据的时间最终会显着减慢操作速度。
综上所述:
MSM 具有可预测的内存访问,允许大量并行化,但由于所需的原始计算量和内存量,它们的成本仍然很高。
FFT 具有随机内存访问,这使得它们对硬件不友好,自然难以在分布式基础设施上运行。
3.5.ZK时代,什么类型的硬件会胜出?
纵观各类ZK算法,现在都能做到恒定的证明大小和较短的验证时间,因此目前对ZK算法的瓶颈桎梏主要不在区块大小上。然而,证明生成的复杂性和算术环路大小呈现理论上的线性关系(实际上目前在生产过程中仍然是指数级关系)。证明者需要评估整个算数环路,这需要大量时间,目前算力成本高和证明时间长,生产阶段的指数级难度递增,这些都确确实实限制了ZK应用的普及。改进方法在算法本身和硬件加速两方面。
就硬件方面,目前的选择包括GPU、FPGA 或 ASIC。需要注意的是零知识证明仍处于早期发展阶段,目前仍然很少有标准化,且算法也在不断更新变化中。每种算法都有其特点,适合于不同的硬件,且随着项目发展需求每种算法都会有一定程度改进,因此很难去具体评估哪种算法最优、目前存量矿机的优劣。
GPU能够通过一定的算法,加速并行计算。但是算法内包含MSM、FTT,因此即使实现了并行运算,也无法大幅降低其证明时间。根据上文分析,GPU改造成ZK证明计算的成本很高,逊色于Fil矿机的竞争力,根据草根调研,目前大部分矿机都是Fil矿机。
FPGA是可编程的集成电路,因此开发者能够通过针对于ZK算法定制化优化矿机。在可预见的未来,有机会实现比GPU更高的灵活性和省电、加速能力。
ASIC是为特定用途专门定制的集成电路芯片。如果说FPGA是从软件上实现加速优化,那么ASIC就是从出厂硬件上实现。因此设计人员能够针对ZK技术的特点专门设计适配的硬件,再结合算法的优化能够很大程度的释放硬件潜能。但是ASIC由于过于定制化,需要的时间和成本也会更多,也许硬件的迭代伴随着行业规模的增大,逐渐朝着ASIC方向发展,但是不会一步到位。
从上述分析看,FPGA和ASIC有较大的优势和潜力。但需要注意的是,ZK算法的复杂性和快速迭代下,不同需求适应的硬件可能也会不同。
风险提示
区块链商业模式落地不及预期:区块链、密码学等相关技术和项目处于发展初期,存在商业模式落地不及预期的风险。
监管政策的不确定性:区块链项目实际运行过程中涉及到多项金融、网络及其他监管政策,目前各国监管政策还处于研究和探索阶段,并没有一个成熟的监管模式,所以行业面临监管政策不确定性的风险。
本文节选自国盛证券研究所已于2022年11月4日发布的报告《国盛区块链 | ZK证明计算:算力硬件的新征途?》,具体内容请详见相关报告。
宋嘉吉 S0680519010002 songjiaji@gszq.com
任鹤义 S0680519040002 renheyi@gszq.com
特别声明:《证券期货投资者适当性管理办法》于2017年7月1日起正式实施。通过微信形式制作的本资料仅面向国盛证券客户中的专业投资者。请勿对本资料进行任何形式的转发。若您非国盛证券客户中的专业投资者,为保证服务质量、控制投资风险,请取消关注,请勿订阅、接受或使用本资料中的任何信息。因本订阅号难以设置访问权限,若给您造成不便,烦请谅解!感谢您给予的理解和配合。
重要声明:本订阅号是国盛证券通信团队设立的。本订阅号不是国盛通信团队研究报告的发布平台。本订阅号所载的信息仅面向专业投资机构,仅供在新媒体背景下研究观点的及时交流。本订阅号所载的信息均摘编自国盛证券研究所已经发布的研究报告或者系对已发布报告的后续解读,若因对报告的摘编而产生歧义,应以报告发布当日的完整内容为准。本资料仅代表报告发布当日的判断,相关的分析意见及推测可在不发出通知的情形下做出更改,读者参考时还须及时跟踪后续最新的研究进展。
本资料不构成对具体证券在具体价位、具体时点、具体市场表现的判断或投资建议,不能够等同于指导具体投资的操作性意见,普通的个人投资者若使用本资料,有可能会因缺乏解读服务而对报告中的关键假设、评级、目标价等内容产生理解上的歧义,进而造成投资损失。因此个人投资者还须寻求专业投资顾问的指导。本资料仅供参考之用,接收人不应单纯依靠本资料的信息而取代自身的独立判断,应自主作出投资决策并自行承担投资风险。
版权所有,未经许可禁止转载或传播。
公链2020H1
漫画区块链
比特币UTXO
比特币挖矿初探
比特币挖矿产业链
比特币与黄金相关性
DCEP专利分析
DCEP双离线支付
DCEP标的
Libra
区块链+电子发票
区块链+溯源
区块链+供应链金融
区块链标准委标的
唯链
帅初-Qtum
段新星-OKCoin
孙鸣-法律专家
张原-比特大陆
咕噜
白硕-上交所前总工
余文波-分布式资本
张元杰-Conflux
吕国宁-Nervos
郑义-Qtum
孟岩-CSDN
陈雷-比特蓝鲸
周沙-区块链早期参与者
俞阳-矿海会
国盛通信区块链系列——【区块链深度】
2020.4.17 国盛区块链:一图看懂央行数字货币相关标的
2020.4.8 国盛区块链:三探中国央行数字货币:透过专利看“超级货币”蓝图
2019.9.24 国盛区块链:初探中国央行数字货币:目标、定位、机制与影响
2019.10.09 国盛区块链:再探中国央行数字货币:对电子支付行业有何影响?
2020.4.10 国盛区块链:科创未来(五):分布式账本给国际支付体系的启示
2020.3.1 国盛区块链:解决核心痛点,区块链开辟供应链金融新空间
2020.1.18 科创未来(四):以太坊2.0带来的分布式智能启示
2020.3.17 国盛区块链:暴跌之下,如何看待比特币资产属性与挖矿产业
2019.3.28 【国盛区块链专题】“链”接场景,开启数字产权新时代
2019.3.10 科创未来(一):区块链、AI和5G融合将带来什么?,2019年3月
2019.6.4 科创未来(二):区块链催生云算力市场,打造新一代IT 基础设施
2019.9.15 科创未来(三):打造数据隐私之盾,释放数据红利
2016.2.28 区块链首次深入解读:巨头引领变革,区块链大有作为
2016.4.13 最通俗、最诙谐解读,阅读量过12000【漫画区块链:我和小明的2块钱恩怨情仇】
2016.4.21 区块链行业跟踪:分布式总账联盟成立,区块链标志性事件出现
2016.7.5 没想到你是这种区块链!【国君通信·海外区块链风云榜(上)——底层技术谁领风骚?】
2016.7.6 区块链的红旗还能扛多久?【国君通信·海外区块链风云榜(中):合纵连横,平台初现】
2016.7.7 开启“区块链+”的时代【国君通信·海外区块链风云榜(下):戒骄戒躁、精选场景】
2016.7.15 区块链帅得惊动CCTV!国君通信宋嘉吉应邀解读投资机会
2016.8.9 IBM与区块链的那些事儿 ——“链秀”全球区块链项目路演大会
2017.1.5 【国君通信宋嘉吉团队】电话会议纪要:最赚钱投资标的解读——如何投资比特币
2017.5.3 【国君通信宋嘉吉团队】善粮味道——区块链+农业最新案例分享!
2018.7.8 芯片创新or金融工具?——矿机行业深度研究
2019.7.12 听证会前,一图看懂Facebook加密货币Libra
2019.7.19 Facebook 听证会深度解析:道阻且长,聚焦三大问题
2019.9.20 国盛区块链:这届“上海区块链国际周”,有何不同?
2019.10.1 国盛区块链:比特币“减半前最后一跌”?数字黄金的信心还稳吗?
2019.10.9 国盛区块链:PayPal退出Libra、跟监管正面刚,数字货币不容易啊!
2019.10.10 国盛区块链:如何看待比特币挖矿后市?(9月公链观察)
2019.10.14 国盛区块链:数字货币在监管施压与国际认可中徘徊前行
2019.10.19 国盛区块链:第二批区块链信息服务通过备案,助力产业发展
2019.10.25 国盛区块链:扎克伯格出席 Libra 听证会,欲增美国金融领导力
2019.11.5 国盛区块链:政策的朝阳下映射出区块链未来发展图谱
2020.1.18 科创未来(四):以太坊2.0带来的分布式智能启示
2020.3.1 国盛区块链:解决核心痛点,区块链开辟供应链金融新空间
2020.3.17 国盛区块链:暴跌之下,如何看待比特币资产属性与挖矿产业
2016.3.20 对话区块链大佬1:前沿探索——“和清华大学物理学博士聊聊区块链“
2016.4.19 对话区块链大佬2:小蚁Onchain达鸿飞——【漫画区块链之应用篇:对不起,地球人……】
2016.6.1 对话区块链大佬3:BitSE(唯链Vechain)COO陆杨——区块链在供应链溯源、防伪领域应用
2016.6.16 对话区块链大佬4:《区块链新经济蓝图》主编、DACA区块链联盟秘书长韩锋——区块链与意愿经济
2016.6.17 对话区块链大佬5:OK Inc. 副总裁段新星——区块链:重塑经济与世界
2016.6.21 对话区块链大佬6:世泽律所合伙人孙铭——DAO遭遇黑客攻击的法律分析
2016.6.22 对话区块链大佬7:比特大陆CEO助理张原——比特币矿机芯片的今天与明天
2016.7.12 对话区块链大佬8:StoneLedger创始人鲁斌——智能合约的前沿研究
2016.7.13 对话区块链大佬9:小蚁Onchain创始人达鸿飞、VP陶荣祺——区块链ICO究竟是什么鬼?
2016.7.19 对话区块链大佬10:布比联合创始人杨帆——区块链商业应用如何落地?
2016.7.23 对话区块链大佬11:巴比特COO屈兆翔——区块链能防止淘宝刷单?
2016.7.28 对话区块链大佬12:FinTech如何拥抱区块链?金丘实业(837901)为您解读
2017.6.10 对话区块链大佬系列13:QTUM发起人,帅初——解读2017最赚钱ICO项目
2018.7.28 对话区块链大佬系列14:Ulord谭林——解读“内容分发”公链
2018.10.24 对话区块链大佬系列15:众托帮CEO,乔克——由“相互保”大火,聊聊互助保险
2019.6.24 对话孟岩:Facebook掀起数字货币浪潮
2019.6.26 对话井底望天:Libra“稳定不易”,将变革美国移动支付市
2019.11.11 对话上交所前总工白硕:区块链政策拐点下的机遇和隐忧
2019.11.11对话分布式资本余文波:区块链产业投资的逻辑与思考
国盛通信区块链系列——【大话区块链】
2016.4.10 大话区块链(二)——去中心化?你几个意思?
2016.6.3 大话区块链(四):告别晦涩,说说大家都懂的理儿
2016.6.27 大话区块链(六):我们为什么如此看好区块链主题?
2016.8.30 大话区块链(七):Talkis cheap,show me the code
2017.8.14 大话区块链(八):平行世界里的疯子和骗子
2017.12.13 大话区块链(九):比特币、迅雷和云撸猫
2018.1.4 大话区块链(十一):梦百合携手唯链,海外区块链上市公司又在做什么?
2018.1.30 大话区块链(十二):当买矿机概念股时,你买的是什么?
2018.3.13大话区块链(十三):台北遇到区块链
2018.3.30 大话区块链(十四):A股上市公司区块链布局的昨天、今天和明天
2018.5.02 大话区块链(十五):QTUM假期亮相,”卡牌对战“玩法渐多
2018.6.16【国盛区块链】比特币避险性的实证研究——大话区块链(十六)
2018.6.23 大话区块链(十七):一图看懂“交易挖矿”的市场竞争逻辑
2018.8.06 大话区块链(十八):你参加的同学聚会是否也要来场“币改”?
2018.8.31 大话区块链(20):一头猪告诉你为何没有比特币而只有UTXO
2018.9.1 大话区块链(21):矿机追踪——新玩家露脸&悄然疯涨的算力
2018.9.8 大话区块链(22):带上金箍,你还是那个比特币?
2018.10.08 区块链经济学脉络(二):市场结构、资源要素和竞争约束
2018.10.14 区块链经济学脉络(三):合约理论审视去中心化系统
2018.10.18 区块链经济学脉络(四):租值是算力市场价值的源泉
2018.10.27 区块链经济学脉络(五):从租值耗散看为什么PoW机制最高效?
2018.10.27 区块链经济学脉络(六):十年来欠中本聪多少比特币?
2018.11.13区块链经济学脉络(七):社区与矿工的恩怨来自权利界定不明
2018.12.31区块链经济学脉络(八):比特币、货币和价格锚定的误区
(向下滑动,查看更多)
答疑 | 香港虚拟资产,到底利好了谁?
飒姐团队写了两篇关于香港虚拟资产发展的深入文章,有圈内老友前来询问了不少问题,今天我们把问题进行抽象,奉献给大家。“1.香港开虚拟资产交易所,参与投资人的资格有哪些?内地居民可以参与投资吗?目前来看,香...
将 Web2 用户带入 Web3 —— 未来属于无助记词钱包本文由YoubiCapital的ChenLi,IvyZeng和IvoEntchev共同撰写。对于第一次接触Web3的Web2用户来说,初次上手的体验(客气地说)是不大愉悦的。传统的EOA钱包需要经过钱包生成,私钥管理,保存助记词等一系列复杂繁琐的...
Buidler DAO 一文读懂IBC:Cosmos 跨链通信协议BuidlerDAO:Web3人才与项目孵化器https://linktr.ee/buidlerdao商务合作WeChat:w55566567编排:@Coucou注:文章仅代表作者个人观点,不构成任何投资建议。TL;DR▪IBC不仅解决了区块链互操作性问题,而且以信任最...
DAOrayaki |熊市下DAOs的财库管理现状DAOrayakiDAO研究奖金池:资助地址:DAOrayaki.eth投票进展:投票2/0通过研究种类:DAO,TreasuryManagement创作者:twinFin翻译者:Shaun@DAOrayaki.org审核者:Yofu@DAOrayaki.org原文:TheStateofTreasuryManagemen...
TE 系列 5 :Web3 的可持续性循环|1.介绍上一篇文章(Web3SustainabilitySurvey)中,我们提出了一个设想:想象一下,你是一个Web3项目的创始人,项目生态刚刚起步,同时有几个团队在这个生态系统中使用你的技术构建应用程序。你应该会问:我们如何...
近期最火热的 NFT:goblintown.wtf 市值达 1.5 亿美金,地板价达 7.9ETH
OpenSea数据显示,近24小时,goblintown.wtf交易量超过4800ETH,位列站内第一,地板价已达7.9ETH,是近期最...
巴哈马银行 Capital Union 表示持有 Tether(USDT)稳定币发行商的部分准备金
巴哈马银行CapitalUnion表示持有Tether(USDT)稳定币发行商的部分准备金,并已经向其专业客户推出了加密货...
BLOCKv 和 Tether 联创 Reeve Collins:Terra 的崩溃给加密货币市场带来了冲击波,可能带来大多数算法稳定币的终结
据CNBC报道,BLOCKv和Tether联创ReeveCollins表示,“像terraUSD这样的算法稳定币不太可能存活,它的崩溃给...
Web3收入情况概览:Ethereum成最强收入机器
TLDR;结论:(1)总收入:Web3商业模式已经大有发展,其中最强大的仍然是“出售区块空间”,其次是NFT交易...