区块广播:
· 虚拟货币价格急挫导致栢能集团2018年图像显示卡的销售额放缓
· IBM区块链副总裁Jesse Lund:World Wire基于SWIFT开发的标准
· 国际清算银行总裁警告各国央行不要发行自己的央行数字货币
· Mt Gox债权人提案草案:大规模出售可能会让比特币的分叉币面临下跌风险
· 日本加密货币交易所Bitpoint发布关于因硬分叉生成的新币的对应方针
· 纽约大学法律副教授Andrew Hinkes加入律所,专注于服务代币发行项目方
· 以太坊行情 | ETH现价137.73美元
· 娄底上线首家不动产抵押登记便民服务点 依托互联网和区块链技术
· CoinEx宣布将上线CET公链和去中心化交易所CoinEx DEX
· tZero计划推出加密货币交易的手机应用程序
· 印度最高法院律师:加密货币相关听证会或经历多次延期
· 招商银行(香港)年报:在区块链基础设施与能力建设上不断取得突破
· 比特币行情 | BTC现价4036.25美元
· 近7天比特币搜索指数整体环比下降7%
· 媒体:波点钱包地址余额两天内下降99%,或存在携款潜逃的风险
· 美国海关官员:将区块链技术应用至生物识别中可提高旅行安全
· 巴比特晚间要闻一览
· 区块链应用新进展,助力浙金中心半年不到发行资产超200亿
· 麻省理工将于5月召开区块链专题活动
· 江苏省金融研究院院长吴先满:区块链等信息技术为金融业带来了深刻改革
· 虚拟货币价格急挫导致栢能集团2018年图像显示卡的销售额放缓
· IBM区块链副总裁Jesse Lund:World Wire基于SWIFT开发的标准
· 国际清算银行总裁警告各国央行不要发行自己的央行数字货币
· Mt Gox债权人提案草案:大规模出售可能会让比特币的分叉币面临下跌风险
· 日本加密货币交易所Bitpoint发布关于因硬分叉生成的新币的对应方针
· 纽约大学法律副教授Andrew Hinkes加入律所,专注于服务代币发行项目方
· 以太坊行情 | ETH现价137.73美元
· 娄底上线首家不动产抵押登记便民服务点 依托互联网和区块链技术
· CoinEx宣布将上线CET公链和去中心化交易所CoinEx DEX
· tZero计划推出加密货币交易的手机应用程序
· 印度最高法院律师:加密货币相关听证会或经历多次延期
· 招商银行(香港)年报:在区块链基础设施与能力建设上不断取得突破
· 比特币行情 | BTC现价4036.25美元
· 近7天比特币搜索指数整体环比下降7%
· 媒体:波点钱包地址余额两天内下降99%,或存在携款潜逃的风险
· 美国海关官员:将区块链技术应用至生物识别中可提高旅行安全
· 巴比特晚间要闻一览
· 区块链应用新进展,助力浙金中心半年不到发行资产超200亿
· 麻省理工将于5月召开区块链专题活动
· 江苏省金融研究院院长吴先满:区块链等信息技术为金融业带来了深刻改革
· 虚拟货币价格急挫导致栢能集团2018年图像显示卡的销售额放缓
· IBM区块链副总裁Jesse Lund:World Wire基于SWIFT开发的标准
· 国际清算银行总裁警告各国央行不要发行自己的央行数字货币
· Mt Gox债权人提案草案:大规模出售可能会让比特币的分叉币面临下跌风险
· 日本加密货币交易所Bitpoint发布关于因硬分叉生成的新币的对应方针
· 纽约大学法律副教授Andrew Hinkes加入律所,专注于服务代币发行项目方
· 以太坊行情 | ETH现价137.73美元
· 娄底上线首家不动产抵押登记便民服务点 依托互联网和区块链技术
· CoinEx宣布将上线CET公链和去中心化交易所CoinEx DEX
· tZero计划推出加密货币交易的手机应用程序
· 印度最高法院律师:加密货币相关听证会或经历多次延期
· 招商银行(香港)年报:在区块链基础设施与能力建设上不断取得突破
· 比特币行情 | BTC现价4036.25美元
· 近7天比特币搜索指数整体环比下降7%
· 媒体:波点钱包地址余额两天内下降99%,或存在携款潜逃的风险
· 美国海关官员:将区块链技术应用至生物识别中可提高旅行安全
· 巴比特晚间要闻一览
· 区块链应用新进展,助力浙金中心半年不到发行资产超200亿
· 麻省理工将于5月召开区块链专题活动
· 江苏省金融研究院院长吴先满:区块链等信息技术为金融业带来了深刻改革
  • 全部
  • 比特币地址
  • 比特币钱包
  • 比特币协议
  • 比特币客户端
  • 比特币域名
  • 私钥
  • 公钥
  • 交易费
  • 消息签名
  • 多重签名
  • 双重支付
  • 匿名性
  • 混币
  • 备份
  • 冷存储
  • 纸钱包
  • 脑钱包
  • 虚荣地址
  • 中本聪
  • 去中心化
  • Bitcoin-Core
  • bitcoind
  • Multibit
  • Electrum
  • Armory
  • Merkle-Tree
  • P2SH
  • Wallet-dat
  • OP_RETURN
  • 矿池
  • 联合挖矿
  • 哈希
  • 算力
  • 难度
  • ASIC
  • FPGA
  • SHA256
  • SCRYPT
  • SCRIPT
  • P2Pool
  • 货币
  • 通货膨胀
  • 奥派经济学
  • 弗里德曼
  • 哈耶克
  • 莱特币
  • 点点币
  • 以太坊
  • 瑞波币
  • 域名币
  • 狗狗币
  • 彩色币
  • 区块
  • 区块体积
  • 区块浏览
  • 孤块
  • 分叉
  • 侧链
  • 闪电网络
  • POW
  • PoS
  • Testnet
  • 加密
  • Linux
  • Ubuntu
  • Windows
  • iOS
  • Android
  • ECDSA
  • python
  • Java
  • GPU
  • CPU

截止目前,链节点大牛们一共热心回答了 669

写下了 477,625 个字,相当于 0 本《区块链:从数字货币到信用社会》

  • 最新发布
  • 热门点击
  • 所有状态
  • 无回答
  • 未解决
  • 已解决
  • 默认
  • 降序
我要提问

区块链爱好者于2018-11-26 23:50提问

什么是形式化验证?20 回答2 收藏0

Miboa 2018-11-27 12:47:06 回答

什 么 是 形 式 化 验 证 ? 形式化方法是采用某种严格的数学理论,对目标对象进行准确且无二异性的严格数学建模,描述以及推导与证明。 形式化验证是用逻辑来验证程序的可靠性,就是把一段程序用逻辑的方法证明一遍,证明它能得到预期的结果,没有bug。 在Starteos与电子科技大学联合实验室联合研发的形式化验证中: ▲证明部分以Proof.关键字开始 以Qed.关键字结束 证明成功则Qed.关键字转为绿色背景 ▲证明部分未完成如果尝试结束证明 则Qed.关键字为红色背景 ▲若证明部分中途失败 则失败处为红色背景且无法继续证明 ▲同时会给出报错信息便于定位错误原因 形 式 化 验 证 的 优 势 做为穷尽式数学技术,形式化验证相比与传统测试具有以下优势: 优 势 分 析 不受有限测试集的限制,能从逻辑上概括所有的运行情况。 基于定理证明的方式,支持无限状态集合并且不会出现错误的反例。 支持内存空间的仿真,支持指针运算、数组等数据结构。 减少了大量的人工抽象和重构工作,将工作量从40:1降低到2:1。 因此,采用此验证方式的开发者更关注于产品设计意图,能够在确保正确性的同时极大的提高项目的设计和验证产能。 形 式 化 验 证 的 意 义 谈论意义之前,我们先聚焦两个问题: 其一,形式化验证的实用性问题。 效率问题决定了项目的深度,项目验证时间成本必须控制在合理范围之内。 讲究效率的时代,如果项目解决问题的能力跟不上巨大的市场需求量,那么这个项目注定是不成熟的。 其二,形式化验证的应用性问题。 应用领域问题决定了项目的广度,项目必须能够适用于多种验证情况。 如果淘宝只卖拖把,你还会觉得淘宝在生活中不可或缺吗? BAT之所以能成为巨头,因为它早已渗透到生活的方方面面;而项目的影响力,取决于它广阔的格局观和适用范围。

您的点赞将会为提问者选择最佳答案提供参考,帮助到更多的人 我来回答

Financer1121于2018-11-26 11:11提问

庄家是如何做到24小时控盘?20 回答7 收藏0

恭喜发财大吉大利 2018-12-06 13:43:53 回答

K线都是画出来的。

您的点赞将会为提问者选择最佳答案提供参考,帮助到更多的人 我来回答

qdsasy于2018-11-21 10:29提问

各种指数在哪里能看?20 回答5 收藏0

长线是金731 2018-11-21 10:29:36 回答

https://alternative.me/crypto/fear-and-greed-index/

blockmeta_wde于2018-11-20 17:24提问

是BLOEX上了NULS合约才会跌得这么惨吗?20 回答4 收藏0

Rach2018然 2018-11-21 10:06:34 回答

BLOEX推出了NULS合约,这其实对于持有NULS的朋友是一个好消息。因为即使我们把NULS都拿去共识,但是收益远远比不上熊市里亏损的价值。   但是,如果你拿10%的NULS去开个合约的空单,用10倍杠杆就能锁定你全部持有的NULS价值不会贬值。 如果NULS继续下跌,那么合约空单收益会抵消掉NULS币价下跌的损失;如果NULS在未来反弹上涨,那么NULS币价上涨的收益会抵消掉合约空单的损失。 利用好合约这种工具在熊市里保值套利,同时,剩下的90%你还可以继续共识挖矿,这部分收益就是稳稳的啊

您的点赞将会为提问者选择最佳答案提供参考,帮助到更多的人 我来回答

a408617208于2018-11-20 11:44提问

新手提问:请问有没交易所是自己开发数字货币的?20 回答12 收藏0

区块艾普森 2019-02-16 14:41:19 回答

我们是技术开发公司,对于交易所会不会发自己的数字币,这个其实也是需要根据项目方的项目情况而定的,有的交易所需要有的交易所不需要,他们制定的商业模式不一样,或许后期会上也说不一定。对于区块链项目来说,如果发一个数字币能够带动交易所的生态产业链那又何乐而不为呢?这也是需要时间的,也有的交易所一起上线的,这主要还是看项目方的意思

您的点赞将会为提问者选择最佳答案提供参考,帮助到更多的人 我来回答

HD19910404于2018-11-17 17:04提问

现在这种熊市,你们还在坚持信仰吗?20 回答13 收藏0

chuhaiou 2019-02-11 10:30:31 回答

喊信仰的人,是忽悠别人,让别人为他抬骄

您的点赞将会为提问者选择最佳答案提供参考,帮助到更多的人 我来回答

很多还不懂于2018-11-15 17:25提问

IPFS挖矿机制是什么,IPFS挖矿需要多大带宽?20 回答2 收藏0

songyou508 2018-11-16 16:06:50 回答

ipfs挖矿的宽带当然是越大越好咯!

您的点赞将会为提问者选择最佳答案提供参考,帮助到更多的人 我来回答

MFMF_666 2018-11-16 09:15:44 回答

提示: 作者被禁止或删除 内容自动屏蔽

您的点赞将会为提问者选择最佳答案提供参考,帮助到更多的人 我来回答

NIK0于2018-11-14 18:12提问

如何从BCH硬分叉中获利?20 回答3 收藏0

HD19910404 2018-11-17 17:06:52 回答

合约搞起 直接做空

您的点赞将会为提问者选择最佳答案提供参考,帮助到更多的人 我来回答

贱不贱我说了算于2018-11-12 16:42提问

求助,你们知道的哪家合伙人收益比较多?20 回答7 收藏0

387677341 2018-12-07 14:16:49 回答

笑了,这广告牛逼

您的点赞将会为提问者选择最佳答案提供参考,帮助到更多的人 我来回答

  • 1
  • 4
  • 5
  • 6
  • 7
  • 8
  • 134
前往
我要提问
问答/互助 关注节点
今日1
主题1.3千
帖数1.9万
开源社区的精神在于分享与互助,让我们共同建设中国的stackexchange,为比特币新人照亮航道,让比特币更早成为大众应用。
本站与SOSO问答已绑定,请大家提问时标题尽量采用疑问句式,这样将被同步到SOSO。