Search Results for "形式化验证"
央行：防范虚拟货币风险，明确任何单位和个人禁止制作和发售数字代币
Blockchain.News消息，根据中国人民银行官网消息，央行发布关于《征求意见稿》公开征求意见的通知。《征求意见稿》规定人民币包括实物形式和数字形式，为发行数字货币提供法律依据；防范虚拟货币风险，明确任何单位和个人禁止制作和发售数字代币。
BIS Economist 建议 『内嵌式监督』，以增强代币化市场的透明度
Economist Raphael Auer 银行的全球结算（BIS）有提出手段的分布式分类帐技术（分布式账本技术）作为监督财务市场风险的一种方式
从比特币的历史事件追踪其周期性变化轨迹
比特币的先发优势和记账的去中心化，去信任化这些特点令其获得了很多饱受恶性通胀之苦，被肆意掠夺财富民众的信任，并在世界上形成一股追求去中心化的思潮和信仰，从而影响到越来越多人对比特币持开放的态度，甚至接受和拥抱比特币。
VanEck，SolidX Bitoin ETF 建议，从 SEC 的 CBOE 开始回顾
9月17日，美国证券和交易所委员会（SEC）正式宣布，芝加哥委员会选项交易所 s （CBOE）权益交易所已在9月13日前撤销了其申请 VanEck/SolidX 比特币 ETF 建议
以太坊Vitalik Buterin：没有隐私的集中化数字货币倒退了一大步
Buterin在3月4日在Block TV播客上说，央行数字货币（CBDC）和像Libra这样的私人稳定币将在不久的将来存在，但他们认为这些机构数字货币的非包容性“集中式”将会令大众偏向于去中心化加密货币的采用。