形式化验证
-
Web 3进行时:崩溃、融合与新生
作者:吴啸 Web2与Web3的融合, 不可逆转且大势所趋, 元宇宙中会诞生一个无限增量市场, 而对于规则、标准与话语权的抢夺, 会是Web2和Web3融合的主战场。 混乱是阶梯,…
-
Web 3进行时:崩溃、融合与新生
作者:吴啸 Web2与Web3的融合, 不可逆转且大势所趋, 元宇宙中会诞生一个无限增量市场, 而对于规则、标准与话语权的抢夺, 会是Web2和Web3融合的主战场。 混乱是阶梯,…
-
2022年新趋势,“DAO”到底是什么?
你能想象一种与世界各地的其他人一起组织的方式,彼此不了解对方但是建立相应的规则,并自主地做出自己的决定,所有这些都编码在区块链上吗? DAO 正在使这成为现实。 最近,一些 DAO…
-
红杉布局区块链安全赛道,以近10亿美元估值领投CertiK 8000万美元B2轮
CertiK于2021年11月30日,宣布完成8000万美元的B2轮融资,再次刷新区块链安全赛道单笔最大融资额。该轮融资由红杉资本领投,Tiger Global、高瓴创投、Coat…
-
红杉资本布局区块链安全赛道,以近10亿美元估值领投CertiK 8000万美元B2轮融资
区块链安全公司CertiK于2021年11月30日,宣布完成8000万美元的B2轮融资,再次刷新区块链安全赛道单笔最大融资额。该轮融资由红杉资本领投,Tiger Global、高瓴…
-
央行数字货币研究所狄刚:区块链助力数字金融发展从8方面破局
在2021中国(北京)数字金融论坛上,中国人民银行数字货币研究所副所长狄刚表示,数字金融不仅仅是金融业务利用互联网实现业务流程搬家,而是利用智能化、数字化实现万物互联,实现流程再造…
-
从历史和稀缺性角度分析:NFT市场为什么需要一次完全的洗牌
原文标题:《站在NFT的「垃圾堆」上展望未来》 这个世界上无数的区块链玩家,拿着自己的钞票冲向DeFi与NFT的市场,并且在市场下跌中损失惨重。这正是我们所处于的大泡沫时期的真实写…
-
三剑合璧的借贷、稳定币及合成资产协议
文章翻译自:A Tale of Three Protocols: Unifying Lending,Stablecoin & Synthetic Protocols 在《揭…
-
专访PlatON曲俊杰:将隐私计算和区块链连接在一起
你还有多少隐私? 在算法、大数据的监视下,人们的隐私越来越少。人们的隐私信息在全世界范围内不停地流动,与此同时隐私计算被更多人关注。在隐私计算方面,PlatON是其中的佼佼者,那么…
-
DODO攻击事件分析:搬起“石头”,竟砸了自己的脚?
一、事件概览 北京时间2021年3月9日,根据【链必安-区块链安全态势感知平台(Beosin-Eagle Eye)】舆情监测显示,去中心化交易所DODO上的wCRES/USDT资金…