形式化方法為軟件開(kāi)發(fā)過(guò)程提供了一種較為透徹的思維方式，該方式可以用于工程化系統(tǒng)設(shè)計(jì)，并且可以很好地幫助工程人員建立系統(tǒng)抽象模型，從而進(jìn)行系統(tǒng)精化和驗(yàn)證。
2022-11-09 11:25:07
1792 
今天的形式驗(yàn)證工具具有更大的容量，并且許多工具能夠在服務(wù)器或云上以分布式模式運(yùn)行。形式驗(yàn)證的技術(shù)和方法也得到了擴(kuò)展。
2022-11-29 14:31:032753 形式化工程方法，是以軟件形式化方法理論為基礎(chǔ)，以系統(tǒng)化的工程方法引導(dǎo)工業(yè)界工程人員構(gòu)建高質(zhì)量的軟件模型，用以引導(dǎo)后續(xù)的代碼編寫(xiě)和相關(guān)測(cè)試分析。并選取了工業(yè)實(shí)際場(chǎng)景中的某操作系統(tǒng)的調(diào)度系統(tǒng)的形式化驗(yàn)證
2023-03-24 11:01:262476 
“在未來(lái)五年內(nèi)仿真將逐漸被淘汰，僅用于子系統(tǒng)和系統(tǒng)級(jí)驗(yàn)證。與此同時(shí)，形式化驗(yàn)證方法已經(jīng)開(kāi)始處理一些系統(tǒng)級(jí)任務(wù)。隨著技術(shù)發(fā)展，更多Formal相關(guān)的商業(yè)標(biāo)準(zhǔn)化會(huì)推出?！?Intel?fellow
2023-09-01 09:10:042165 重磅推薦｜ACRN 之InterruptWindow功能正確性形式化驗(yàn)證
2020-06-18 16:04:42
不需要通過(guò)銀行或任何第三方網(wǎng)絡(luò)，而是直接以點(diǎn)對(duì)點(diǎn)的形式發(fā)到手機(jī)錢(qián)包中。在收到比特幣之后，你就可以通過(guò)當(dāng)?shù)亟灰姿阉鼡Q成法幣，或者把它存在一個(gè)U盤(pán)里（甚至只需要記住一串助記詞），這樣就能徹底遠(yuǎn)離那些不必要
2019-01-01 23:23:36
管理的操作系統(tǒng)。它的系統(tǒng)讓遍布整個(gè)對(duì)等網(wǎng)絡(luò)用戶端的各節(jié)點(diǎn)，按照其種 子文件達(dá)成網(wǎng)絡(luò)協(xié)議，從而確保在貨幣發(fā)行、管理、流通等環(huán)節(jié)中公平、安全、可靠，并承諾比特幣將成為類(lèi)似電子郵件的“電子現(xiàn)金”，實(shí)現(xiàn)
2013-12-15 11:17:12
無(wú)關(guān)，任何形式的封裝，皆需要做老化實(shí)驗(yàn)。蘇試宜特提供客戶量身訂制全方位的一站式服務(wù), 從老化驗(yàn)證的硬件設(shè)計(jì)/制造到樣品調(diào)試/實(shí)驗(yàn)/報(bào)告, 蘇試宜特都可以協(xié)助客戶完成。
2022-09-13 09:46:22
通過(guò)分析安全策略中可能出現(xiàn)的問(wèn)題，對(duì)安全策略的一致性與完備性進(jìn)行形式化定義。通過(guò)構(gòu)造安全策略的狀態(tài)模型，提出策略的一致性與完備性驗(yàn)證算法?；诳蓴U(kuò)展訪問(wèn)控制標(biāo)
2009-04-07 09:00:39
9 本文回顧和討論了形式化方法和測(cè)試技術(shù)，以及形式規(guī)格說(shuō)明可以用于測(cè)試用例生成、測(cè)試順序確定的途徑；并提出了將形式化方法和測(cè)試技術(shù)應(yīng)用于安全保密設(shè)備。關(guān)鍵詞 形式
2009-06-11 10:49:2625 本文提出了一種基于 Petri網(wǎng) 的安全協(xié)議形式化描述和安全性驗(yàn)證的方法. 該方法的特點(diǎn)是,利用逆向狀態(tài)分析判定協(xié)議運(yùn)行過(guò)程中可能出現(xiàn)的不安全狀態(tài),利用Petri 網(wǎng)的狀態(tài)可達(dá)性分析判
2011-06-20 15:37:1729 本文提出了一種基于 Petri網(wǎng) 的安全協(xié)議形式化描述和安全性驗(yàn)證的方法. 該方法的特點(diǎn)是,利用逆向狀態(tài)分析判定協(xié)議運(yùn)行過(guò)程中可能出現(xiàn)的不安全狀態(tài),利用Petri 網(wǎng)的狀態(tài)可達(dá)性分析判
2011-08-18 15:34:5018 一種服務(wù)網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)的形式化描述方法_陳鵬
2017-03-14 17:10:372 比特幣就像這部電影，它不是像央行一樣存在中央服務(wù)器中，而是存在于世界上億萬(wàn)的電腦之中。自發(fā)行后，理論上沒(méi)有任何人可以控制比特幣數(shù)量，也無(wú)法通過(guò)大量制造比特幣來(lái)人為操控幣值?；诿艽a學(xué)的設(shè)計(jì)可以使比特幣只能被真實(shí)的擁有者轉(zhuǎn)移或支付，安全性極佳。
2017-12-16 11:04:1760480 由于系統(tǒng)的巨大規(guī)模，操作系統(tǒng)設(shè)計(jì)和實(shí)現(xiàn)的正確性很難用傳統(tǒng)的方法進(jìn)行描述和驗(yàn)證．在匯編層形式化地對(duì)系統(tǒng)模塊的功能語(yǔ)義進(jìn)行建模，提出一種匯編級(jí)的系統(tǒng)狀態(tài)模型，作為匯編語(yǔ)言層設(shè)計(jì)和驗(yàn)證的紐帶．通過(guò)定義系統(tǒng)
2018-01-05 14:45:571 比特幣是一個(gè)協(xié)議。在不久的將來(lái)，我們將在不了解比特幣的運(yùn)行原理的情況下使用比特幣協(xié)議來(lái)向?qū)Ψ桨l(fā)送資金。而解釋比特幣和區(qū)塊鏈技術(shù)會(huì)像如今解釋電子郵件的技術(shù)一樣沒(méi)有必要。電子郵件是一種簡(jiǎn)單的郵件傳輸協(xié)議，現(xiàn)如今我們發(fā)送電子郵件和當(dāng)年寫(xiě)信沒(méi)什么兩樣。
2018-03-12 16:17:026986 
說(shuō)起閃電網(wǎng)絡(luò)，總能令比特幣愛(ài)好者興奮起來(lái)，也有說(shuō)不完的話題，因?yàn)檫@是一條改善比特幣小額支付的交易通道。
2018-05-20 11:16:002447 
民宿通MST是全球第一家旅游住宿產(chǎn)業(yè)區(qū)塊鏈資產(chǎn)交易平臺(tái)。引導(dǎo)全球的民宿、精品酒店、度假地產(chǎn)發(fā)行代表其使用權(quán)的通證并流通，為區(qū)塊鏈和全球旅游愛(ài)好者提供一個(gè)安全、公平、開(kāi)放的交易平臺(tái)，讓用戶可以像投資比特幣一樣投資全球旅游住宿產(chǎn)業(yè)。民宿通有望成為全球旅游住宿行業(yè)的“幣安”。
2018-06-03 12:29:002336 這或許是早期的比特幣信仰者時(shí)常掛在嘴邊的口號(hào)，因?yàn)樗麄冋J(rèn)為這個(gè)加密貨幣是更優(yōu)秀的一種支付方式。然而，隨著比特幣技術(shù)的局限性逐漸暴露，這種亢奮的情緒開(kāi)始減弱。而到了現(xiàn)在，比特幣愛(ài)好者似乎重燃了希望——基于二層技術(shù)閃電網(wǎng)絡(luò)的應(yīng)用在今年進(jìn)入測(cè)試階段，其已經(jīng)展示出了傳統(tǒng)支付系統(tǒng)不具備的交易能力。
2018-08-13 09:19:321505 一種交易比特幣和數(shù)字貨幣的新方式已經(jīng)來(lái)了。SparkSwap是首個(gè)基于閃電網(wǎng)絡(luò)（Lightning Network）的加密貨幣交易所。在這里，用戶可以在數(shù)秒內(nèi)完成比特幣和其它加密貨幣交易，同時(shí)還不需要在第三方存入資產(chǎn)。
2018-08-14 09:06:582376 首先，隨著閃電網(wǎng)絡(luò)測(cè)試階段的開(kāi)啟，困擾比特幣多年的擴(kuò)容爭(zhēng)議也逐漸塵埃落定。目前，閃電網(wǎng)絡(luò)的節(jié)點(diǎn)數(shù)量已經(jīng)突破3000個(gè)，容量也達(dá)到了100BTC?；?b class="flag-6" style="color: red">閃電網(wǎng)絡(luò)的app也越來(lái)越豐富。比特幣開(kāi)發(fā)者說(shuō)，閃電網(wǎng)絡(luò)兌現(xiàn)了比特幣在2013年做出的承諾，為我們打造了一個(gè)支付網(wǎng)絡(luò)。
2018-08-15 09:13:141502 從比特幣每秒交易量來(lái)看，以太坊的運(yùn)營(yíng)狀況要比比特幣好點(diǎn)。以太坊的最大交易量為每秒20筆交易，幾乎是比特幣的三倍。 然而從本質(zhì)上講，以太坊的區(qū)塊鏈比比特幣的區(qū)塊鏈要忙碌得多，因?yàn)樗粌H可以作為一種支付
2018-08-16 10:11:2610637 閃電網(wǎng)絡(luò)，顧名思義，就是一個(gè)網(wǎng)絡(luò)。為了向某人發(fā)送付款信息，付款信息通常會(huì)在到達(dá)接收者之前在幾個(gè)不同的節(jié)點(diǎn)上跳轉(zhuǎn)，這類(lèi)似于以前的郵遞員們將信件或包裹從一個(gè)人傳遞給另一個(gè)人，以將郵件送至目的地。
2018-08-21 10:06:101605 “閃電網(wǎng)絡(luò)”最初由撒迪厄斯·德里亞（Thaddeus Dryja）和約瑟夫·潘（Joseph Poon）在2015年的白皮書(shū)中提出，它在比特幣區(qū)塊鏈上創(chuàng)建了一個(gè)層，在這個(gè)層上，交易可以來(lái)回傳遞，然后再添加到底層區(qū)塊鏈中。
2018-09-06 10:16:34674 從長(zhǎng)遠(yuǎn)來(lái)看，2018年1月，比特幣閃電網(wǎng)絡(luò)頻道不到100個(gè)，5月份超過(guò)6600個(gè)。顯然，網(wǎng)絡(luò)正在快速增長(zhǎng)，這是一個(gè)積極的信號(hào)，表明它最終可以成為比特幣的可伸縮性解決方案。
2018-09-07 11:52:021618 比特幣交易是在比特幣區(qū)塊鏈上進(jìn)行的，交易是通過(guò)驗(yàn)證或工作共識(shí)算法進(jìn)行的。礦商（網(wǎng)絡(luò)上的節(jié)點(diǎn)）爭(zhēng)奪對(duì)交易的認(rèn)證，并以比特幣的形式獲得采礦獎(jiǎng)勵(lì)。這些交易是用密碼學(xué)來(lái)保護(hù)的，這就是為什么它也被稱為加密貨幣（比特幣是世界上第一個(gè)這樣的代幣）。
2018-09-10 08:31:581564 比特幣在日益擁堵的時(shí)候，一家開(kāi)發(fā)閃電網(wǎng)絡(luò)的公司卻獨(dú)樹(shù)一幟，妄圖在比特幣擴(kuò)容時(shí)控制比特幣，這就是Blockstream公司一家通過(guò)建立側(cè)鏈盈利的公司。
2018-09-22 09:00:003219 未來(lái)幾個(gè)月，比特幣的生態(tài)系統(tǒng)肯定會(huì)發(fā)生一些重大變化。很多人對(duì)閃電網(wǎng)絡(luò)有很高的期望。其較低的收費(fèi)、即時(shí)支付和整體規(guī)模的改進(jìn)都非常有吸引力。
2018-09-17 08:47:291606 那么我們?nèi)绾潍@取比特幣呢？最開(kāi)始，比特幣的獲取方式就是通過(guò)CPU來(lái)進(jìn)行“挖礦”。也就是說(shuō)像挖金子一樣，通過(guò)CPU計(jì)算，通過(guò)貢獻(xiàn)我們的CPU計(jì)算量，我們就可以獲得比特幣，當(dāng)你的CPU挖出了一個(gè)區(qū)塊，你就獲得了一定量的比特幣。
2018-10-01 09:00:003134 閃電網(wǎng)絡(luò)（Lighting Network）指的是，A和B兩人可以把比特幣放到一個(gè)多重簽名錢(qián)包中鎖定（鏈下），然后進(jìn)行交易簽名更改雙方各自能取回的比特幣數(shù)量。
2018-10-09 14:36:041496 研究人員正在提出一項(xiàng)新的努力來(lái)開(kāi)發(fā)比特幣的閃電網(wǎng)絡(luò)。隨著segwit2x硬分叉的中止——該計(jì)劃想要將比特幣的區(qū)塊大小增加到2MB，瑞士蘇黎世聯(lián)邦理工學(xué)院研究人員Conrad Burchert
2018-10-17 14:42:131221 事實(shí)證明，比特幣無(wú)法滿足不斷增長(zhǎng)的需求，而不偏離中本聰（Satoshi Nakamoto）最初設(shè)想的“對(duì)等電子現(xiàn)金系統(tǒng)”。
它的目的是提供一種快速、安全、廉價(jià)的支付方式，無(wú)需使用傳統(tǒng)的金融系統(tǒng)。如今，今天，它仍然只管理Visa或Mastercard的一小部分流量，但已經(jīng)變得非常慢，而且非常昂貴。
2018-11-02 14:38:231562 2017年8月啟動(dòng)的隔離見(jiàn)證（SegWit）軟分叉可以說(shuō)是比特幣迄今為止最大的一次協(xié)議升級(jí)了。這次軟分叉升級(jí)修復(fù)了比特幣網(wǎng)絡(luò)上長(zhǎng)期存在的可擴(kuò)展性問(wèn)題，它使比特幣更好地啟用了第二層協(xié)議，同時(shí)用區(qū)塊重量
2018-12-10 14:50:031215 VaaS形式化驗(yàn)證平臺(tái)，采用了多種形式化驗(yàn)證方法，具有驗(yàn)證效率高、自動(dòng)化程度高、人工參與度低、易于使用、支持多個(gè)合約開(kāi)發(fā)語(yǔ)言、可支持大容量區(qū)塊鏈底層平臺(tái)的形式化驗(yàn)證等優(yōu)點(diǎn)。
2018-12-14 10:18:251547 “這不是權(quán)威性的，也不代表長(zhǎng)期的拓?fù)浣Y(jié)構(gòu)，”O(jiān)suntokun繼續(xù)說(shuō)道。盡管如此，這些圖像現(xiàn)在扮演了一個(gè)重要的角色，經(jīng)常被用于解決關(guān)于網(wǎng)絡(luò)如何發(fā)展的未解的問(wèn)題，即閃電是否正在實(shí)現(xiàn)它（有時(shí)是有爭(zhēng)議的）去中心化的承諾。
2018-12-19 13:50:18645 “當(dāng)我們第一次推出我的公司閃電實(shí)驗(yàn)室時(shí)，我們實(shí)際上把‘比特幣’這個(gè)詞從我們的平臺(tái)和我們的營(yíng)銷(xiāo)材料中去除了，因?yàn)樗顷P(guān)于區(qū)塊鏈的?！钡F(xiàn)在，我覺(jué)得我們已經(jīng)進(jìn)入了一個(gè)“比特幣，而非區(qū)塊鏈”的世界，在那里
2018-12-20 14:44:16988 比特幣網(wǎng)絡(luò)為了保證交易的正確性和不可篡改性，需要將每筆交易的詳細(xì)內(nèi)容都記錄在區(qū)塊中，同時(shí)為了控制區(qū)塊數(shù)據(jù)的增長(zhǎng)速度，比特幣網(wǎng)絡(luò)將每個(gè)區(qū)塊的大小限制在了1MB，每個(gè)區(qū)塊的挖礦時(shí)間控制在10分鐘左右，這樣理想狀況下，比特幣每秒可處理的交易數(shù)（TPS）大約為7筆。
2019-01-27 10:55:42995 
最活躍的閃電網(wǎng)絡(luò)實(shí)現(xiàn)之一的LND于本周發(fā)布了其最新0.5.2測(cè)試版代碼。盡管它包括了來(lái)自代碼貢獻(xiàn)者所提供的幾個(gè)變化，但這些變化主要還是為了方便終端用戶使用這一處于測(cè)試階段的支付系統(tǒng)，代碼庫(kù)中有一項(xiàng)涉及“區(qū)塊大小增加”的特性，不得不讓人們聯(lián)想到17年比特幣社區(qū)分裂的場(chǎng)景。
2019-02-11 14:14:461738 在上周舉行的“Satoshi’s Roundtable”活動(dòng)上，有人譴責(zé)比特幣是比特幣版的Bilderberg，有人提出了提高比特幣2100萬(wàn)上限的可能性。是Matt Luongo提出了這個(gè)建議，以回應(yīng)關(guān)于預(yù)期采用閃電網(wǎng)絡(luò)的討論。
2019-02-11 15:20:091051 根據(jù)CoinGate的博客文章，參與LN試驗(yàn)的商家包括電子競(jìng)技網(wǎng)站、售賣(mài)加密商品的在線商店、服務(wù)器和托管服務(wù)，以及成人娛樂(lè)網(wǎng)站?！度A盛頓郵報(bào)》指出，閃電網(wǎng)絡(luò)支付將于7月1日開(kāi)始運(yùn)營(yíng)。
閃電網(wǎng)絡(luò)是解決比特幣（BTC）網(wǎng)絡(luò)可擴(kuò)展性問(wèn)題的第二層解決方案，它通過(guò)保持大部分交易的鏈外運(yùn)行。
2019-03-12 11:20:591952 閃電網(wǎng)絡(luò)是密碼貨幣在小額雙向高頻交易場(chǎng)景中的殺手級(jí)應(yīng)用。但它被納入core的小區(qū)塊抗審查路線后，被迫承接比特幣的全部支付功能。這使得閃電網(wǎng)絡(luò)不僅在技術(shù)上變得十分復(fù)雜，也面臨一系列商業(yè)邏輯缺陷，極難
2019-03-13 10:22:391043 提案的第三個(gè)也是最后一個(gè)部分是提倡一個(gè)框架，在這個(gè)框架中，可以將整個(gè)網(wǎng)絡(luò)的NAR聚合、平均、并報(bào)告為一個(gè)利率，稱為閃電網(wǎng)絡(luò)參考利率（Lightning network Reference rate， LNRR）。LNRR可以為一個(gè)相對(duì)價(jià)值計(jì)算的世界鋪平道路，并在場(chǎng)外比特幣貸款定價(jià)方面發(fā)揮作用。
2019-03-18 11:00:41663 比特幣已經(jīng)是一種儲(chǔ)備資產(chǎn)。這是世界上第一個(gè)真正的分散式數(shù)字稀缺性貨幣的例子，其優(yōu)雅的、預(yù)先確定的供應(yīng)計(jì)劃重塑了貨幣政策。比特幣的價(jià)值被數(shù)百萬(wàn)擁有比特幣的人視為一種儲(chǔ)蓄工具、投機(jī)性投資或貨幣對(duì)沖工具。比特幣是一種儲(chǔ)備資產(chǎn)，因?yàn)閿?shù)以百萬(wàn)計(jì)的人擁有它。
2019-03-18 11:05:511284 
閃電網(wǎng)絡(luò)提供了一個(gè)框架來(lái)衡量比特幣的時(shí)間價(jià)值，比特幣是資本市場(chǎng)和儲(chǔ)備貨幣地位的先驅(qū)。哈希值鎖定合約中的時(shí)間的可觀察變量可以用來(lái)計(jì)算支付渠道中持有的比特幣利率，讓投資者能夠衡量自己的資本機(jī)會(huì)成本。閃電網(wǎng)絡(luò)
2019-03-18 10:58:17902 比特幣的抗脆弱協(xié)議及其成倍增長(zhǎng)的網(wǎng)絡(luò)效應(yīng)使其成為一個(gè)龐然大物，逐漸吞噬全球經(jīng)濟(jì)活動(dòng)。最新的網(wǎng)絡(luò)效應(yīng)是第二層協(xié)議——閃電網(wǎng)路，該協(xié)議使用比特幣的底層協(xié)議作為其安全性。分層貨幣協(xié)議的概念在貨幣史上并不新鮮。
2019-03-18 11:13:544887 Voorhees試圖通過(guò)閃電披薩下訂單，卻發(fā)現(xiàn)由于交通堵塞，有兩個(gè)披薩限制。這一事件凸顯了閃電網(wǎng)絡(luò)在網(wǎng)絡(luò)容量和限制其使用的商戶采用方面所面臨的主要困難。
2019-03-25 10:53:19839 根據(jù)Lightning Lab開(kāi)發(fā)人員Alex Bosworth和Bryan Vu在一篇博客文章中寫(xiě)道：“閃電通道就像我們的自來(lái)水管道一樣，只不過(guò)里面流的是資金：你發(fā)送的越多，你收到的也越多
2019-03-25 11:25:00506 閃電實(shí)驗(yàn)室（Lightning Labs）是閃電網(wǎng)絡(luò)的主要貢獻(xiàn)者之一，它宣布將在比特幣網(wǎng)絡(luò)之上的第二層微支付解決方案中推出一項(xiàng)新功能的 Alpha 版。閃電循環(huán)——作為更新的名稱，旨在解決目前的問(wèn)題，圍繞著一些早期應(yīng)用該技術(shù)的信道容量限制。
2019-03-28 10:39:28867 Bitrefill在2019年1月推出了Thor服務(wù)。作為一個(gè)按需支付的閃電通道服務(wù)，無(wú)論用戶是否將比特幣放在閃電錢(qián)包里，Thor都會(huì)允許用戶接收支付。
Bitrefill首席運(yùn)營(yíng)官John
2019-04-09 10:20:511268 閃電網(wǎng)絡(luò)的主要思路十分簡(jiǎn)單——將大量交易放到比特幣區(qū)塊鏈之外進(jìn)行。即在A與B之間建立一個(gè)專屬支付通道：雙方各自將部分比特幣放進(jìn)支付通道中，并利用其進(jìn)行相互轉(zhuǎn)賬。
在轉(zhuǎn)賬過(guò)程中，這些交易不會(huì)記錄
2019-04-15 14:10:08965 
目前可用的最酷的解決方案。閃電網(wǎng)絡(luò)可以被認(rèn)為是比特幣的另一層。閃電網(wǎng)絡(luò)允許雙方進(jìn)行近乎即時(shí)的交易，而不會(huì)阻塞比特幣的主要層。雙方之間的這些交易發(fā)生在閃電網(wǎng)絡(luò)建立的支付通道上。一旦建立了支付通道，雙方
2019-04-19 10:46:282455 比特幣堆棧是一組構(gòu)建塊，以獨(dú)特的方式組裝，為用戶提供新穎且吸引人的功能。舉個(gè)例子，支付通道利用比特幣網(wǎng)絡(luò)和多重簽名交易作為構(gòu)建模塊，使人們能夠快速、廉價(jià)、可靠地在彼此之間直接交易比特幣，而不會(huì)產(chǎn)生鏈上交易費(fèi)用，也不用忍受區(qū)塊確認(rèn)所帶來(lái)的延遲。
2019-04-28 11:39:24883 
，閃電網(wǎng)絡(luò)上的智能合約執(zhí)行的是比特幣或萊特幣交易。大家需要特別注意的一件重要問(wèn)題是，這些交易并不發(fā)生在比特幣的區(qū)塊鏈上。
2019-05-06 11:22:481300 已經(jīng)有了一個(gè)比特幣閃電網(wǎng)絡(luò)節(jié)點(diǎn)，現(xiàn)在想要向商戶付款，但是卻找不到傳輸路徑。那么你就要選擇另外開(kāi)啟一條比特幣閃電網(wǎng)絡(luò)通道，或者使用 submarine swaps。這需要一個(gè)小時(shí)的時(shí)間，還需要支付比特幣交易手續(xù)費(fèi)。
2019-05-06 11:55:251361 比特幣最初被設(shè)計(jì)成一個(gè)點(diǎn)對(duì)點(diǎn)的現(xiàn)金系統(tǒng)，可以直接通過(guò)增加區(qū)塊大小進(jìn)行擴(kuò)容。但是，關(guān)于網(wǎng)絡(luò)如何實(shí)現(xiàn)擴(kuò)容的討論已變得更加復(fù)雜和更具有爭(zhēng)議。
57名Bitcoin“Core”開(kāi)發(fā)者簽署了一份官方
2019-05-22 11:37:463762 比特幣的狂熱和捆綁的藝術(shù)確實(shí)有利于少數(shù)人，而且是集中的。如果稀缺的數(shù)字資產(chǎn)所有權(quán)是集中的，那么比特幣的某些方面是否去中心化并不重要。
通過(guò)閃電網(wǎng)絡(luò)的比特幣將主要造福于硅谷的人們，而忽略了
2019-05-23 11:33:281024 。比特幣需要擴(kuò)張（考慮一種提高交易速度的方法），但硬分叉是唯一擴(kuò)大區(qū)塊大小的方法嗎？答案是否定的。與BCH從社區(qū)中分離出來(lái)相比，鏈的擴(kuò)展在整個(gè)比特幣社區(qū)中更容易被接受，即閃電網(wǎng)絡(luò)的“鏈擴(kuò)展”。
2019-05-27 10:43:394983 閃電網(wǎng)絡(luò)是一種基于區(qū)塊鏈的加密貨幣（如比特幣）之上的第二層支付協(xié)議。它可以在參與者之間以較低的費(fèi)用實(shí)現(xiàn)快速交易。
閃電網(wǎng)絡(luò)于2016年由Joseph Poon和Thaddeus Dryja于
2019-07-08 11:09:34857 
就像比特幣一樣，litecoin是一種由采礦產(chǎn)生的加密貨幣。
2019-07-16 11:10:083271 
比特幣二層網(wǎng)絡(luò)以其速度和可擴(kuò)展性而備受贊賞，同時(shí)它也有助于實(shí)現(xiàn)一些有趣的智能合約新功能。在這方面，小額交易特性也激發(fā)了數(shù)字資產(chǎn)持有者開(kāi)發(fā)并采用閃電網(wǎng)絡(luò)應(yīng)用（LApps）。這些應(yīng)用程序顛覆了從
2019-07-22 11:31:311344 市場(chǎng)對(duì)于比特幣支付的新興趣幾乎完全歸功于閃電網(wǎng)絡(luò)的發(fā)展，后者以支付為核心，是比特幣網(wǎng)絡(luò)的第二層協(xié)議。
2019-08-02 10:28:38734 Chubu電力公司專門(mén)向CoinDesk透露，該公司已與當(dāng)?shù)?b class="flag-6" style="color: red">比特幣物聯(lián)網(wǎng)（IoT初創(chuàng)公司Nayuta達(dá)成了概念驗(yàn)證（Poc），該公司正在探索如何通過(guò)閃電網(wǎng)絡(luò)支付比特幣，這是一種承諾削減比特幣用戶成本
2019-08-16 14:24:241140 比特幣一直以來(lái)都有一種機(jī)制，它可通過(guò)更復(fù)雜的策略（而不僅僅是單個(gè)密鑰）來(lái)使幣可花費(fèi)：這就是腳本（Script）系統(tǒng)。雖然腳本主要用于單密鑰支付，但它也是各種多重簽名錢(qián)包、原子互換結(jié)構(gòu)和閃電網(wǎng)絡(luò)的基礎(chǔ)。
2019-09-10 11:16:072231 閃電網(wǎng)絡(luò)尚未在數(shù)學(xué)上進(jìn)行過(guò)正式的安全測(cè)試，這一測(cè)試可以建立一個(gè)計(jì)算機(jī)系統(tǒng)在數(shù)學(xué)上的安全程度。
2019-09-23 14:40:16978 比特幣的鏈下交易服務(wù)主打方案閃電網(wǎng)絡(luò)網(wǎng)絡(luò)雖被吹捧為針對(duì)擴(kuò)容問(wèn)題的富有潛力的解決檔案，但它似乎已經(jīng)喪失了增勢(shì)。就
2019-09-27 08:51:47629 隨著閃電網(wǎng)絡(luò)的發(fā)展，在線盜版網(wǎng)站有機(jī)會(huì)進(jìn)一步進(jìn)行比特幣的貨幣化實(shí)踐。
2019-09-29 08:56:111272 Samson Mow對(duì)比特幣閃電網(wǎng)絡(luò)非常有信心。盡管Blockstream首席戰(zhàn)略官似乎大部分時(shí)間都花在Twitter上發(fā)布旅行照片，但他還是比特幣的熱心觀察者，尤其是Lightning Network，又名第二層擴(kuò)展解決方案。
2019-10-09 10:46:031073 閃電網(wǎng)絡(luò)是比特幣的鏈下擴(kuò)容解決方案，但它還沒(méi)有具備足夠的吸引力和實(shí)用性來(lái)顯著地緩解網(wǎng)絡(luò)擁堵的問(wèn)題。
2019-10-18 14:32:55794 總的來(lái)說(shuō)，所有包含比特幣的模擬投資組合都表現(xiàn)出了更好的風(fēng)險(xiǎn)收益率… … 這些結(jié)果表明，遵循多元資產(chǎn)策略，比特幣為全球所有的投資者提供了積極的多元化利益。
2019-10-18 14:51:10998 比特幣和閃電網(wǎng)絡(luò)的采用將要求商家激勵(lì)消費(fèi)者使用比特幣來(lái)代替其他貨幣。
2019-10-18 14:54:40638 人們持有比特幣資產(chǎn)目前已超過(guò) 10 年，這表明比特幣在實(shí)踐中是安全的。但另一方面，在學(xué)術(shù)界和理論界，一直未能在學(xué)術(shù)研究的模型中重現(xiàn)比特幣這種安全的特性，學(xué)者們斥之為「錯(cuò)漏百出」、「難逃一死」等，這也導(dǎo)致了「比特幣在實(shí)踐中安全，在學(xué)術(shù)中不安全」的一種「meme」。
2019-10-22 10:52:263579 作為比特幣網(wǎng)絡(luò)世界的一部分，閃電網(wǎng)絡(luò)讓比特幣成為更加支持個(gè)人主權(quán)和自由市場(chǎng)的事物。
2019-10-23 11:00:50550 閃電網(wǎng)絡(luò)長(zhǎng)期以來(lái)一直被其支持者吹捧為解決比特幣擴(kuò)容問(wèn)題的一種快速、低成本的解決方案。
2019-10-25 16:17:28870 上周，閃電實(shí)驗(yàn)室（Lightning Labs）開(kāi)發(fā)人員約斯特·賈格（Joost Jager）對(duì)外公布了他的新想法：Whatsat，一款可以用閃電網(wǎng)絡(luò)發(fā)送私密信息的應(yīng)用程序。
2019-11-11 11:21:161130 近期，筆者注意到一款智能合約自動(dòng)形式化驗(yàn)證工具BeosinVaaS推出了離線免費(fèi)版。所謂離線免費(fèi)版，相較于之前該公司推出的在線免費(fèi)版、企業(yè)版而言，亮點(diǎn)自然不言而喻。對(duì)于開(kāi)發(fā)者來(lái)說(shuō)，離線版的驗(yàn)證工具將
2019-11-23 00:06:471064 許多BTC支持者長(zhǎng)期以來(lái)一直認(rèn)為，閃電網(wǎng)絡(luò)（LN）將是解決比特幣區(qū)塊鏈擴(kuò)容問(wèn)題的解決方案。但LN協(xié)議尚未兌現(xiàn)承諾，網(wǎng)絡(luò)一直飽受問(wèn)題困擾。例如，在10月曾發(fā)生過(guò)一個(gè)用戶在使用舊的無(wú)效閃電通道后丟失了4個(gè)BTC。
2019-11-29 11:16:041568 
閃電網(wǎng)絡(luò)從第一天起就支持信息，比特幣的基礎(chǔ)層也是如此。Blockstream衛(wèi)星已經(jīng)被用于閃電驅(qū)動(dòng)消息的實(shí)驗(yàn)中，私人文本消息服務(wù)已經(jīng)利用了閃電支付。
2019-12-02 11:01:242499 長(zhǎng)期以來(lái)，許多比特幣支持者一直認(rèn)為，閃電網(wǎng)絡(luò)是解決比特幣區(qū)塊鏈容量問(wèn)題的有效方案。然而到目前為止，閃電網(wǎng)絡(luò)協(xié)議依然還沒(méi)有完全兌現(xiàn)承諾，而且整個(gè)網(wǎng)絡(luò)似乎也被各種問(wèn)題所困擾。
2019-12-03 14:18:14688 為了實(shí)現(xiàn)可比的目標(biāo)，閃電網(wǎng)絡(luò)不僅要采用首選的付款方式，還應(yīng)采用自然的貨幣形式。
2019-12-04 09:57:48583 眾所周知，比特幣（BTC）的供應(yīng)是有限的。一旦產(chǎn)生了2100萬(wàn)枚硬幣，該網(wǎng)絡(luò)將停止產(chǎn)生更多的硬幣。這就是比特幣通常被稱為“數(shù)字黃金”的主要原因之一-就像黃金一樣，世界上數(shù)量有限，有朝一日，所有比特幣都將被提取出來(lái)。
2019-12-10 09:14:252898 在比特幣“數(shù)字黃金”的屬性愈發(fā)受到認(rèn)可之際，一直致力于比特幣即時(shí)轉(zhuǎn)賬、拓展比特幣“支付貨幣”屬性的閃電網(wǎng)絡(luò)，終于攻下重要一城：北京時(shí)間 12 月 4 日起， Bitfinex 正式支持閃電網(wǎng)絡(luò)存取款，與此同時(shí)，Bitfinex 選擇與加密禮品卡提供商 Bitrefill 進(jìn)行合作。
2019-12-17 08:57:26680 如今從節(jié)點(diǎn)數(shù)量、通道數(shù)量、網(wǎng)絡(luò)容量等指標(biāo)衡量，閃電網(wǎng)絡(luò)在過(guò)去一年間都出現(xiàn)了數(shù)倍的增長(zhǎng)。
2019-12-17 10:28:241240 閃電網(wǎng)絡(luò)用戶必須通過(guò)交易所把法幣換成比特幣，經(jīng)歷所有KYC的麻煩，將他們的比特幣存入鏈上錢(qián)包，然后將其轉(zhuǎn)移到鏈下的閃電網(wǎng)絡(luò)錢(qián)包。
2019-12-24 11:15:03790 閃電網(wǎng)絡(luò)在2016年首次提出并作為比特幣協(xié)議的一部分引入，它提供了一個(gè)功能強(qiáng)大的第二層支付協(xié)議，可以部署在現(xiàn)有的區(qū)塊鏈之上。
2019-12-26 08:38:391497 本研究利用閃電網(wǎng)絡(luò)流量模擬器模擬網(wǎng)絡(luò)交易流程，得出目前的網(wǎng)絡(luò)交易費(fèi)率在經(jīng)濟(jì)上不具有長(zhǎng)期可行性的結(jié)論。除了不成熟的收費(fèi)市場(chǎng)，本文還探討了比特幣發(fā)送者使用閃電網(wǎng)絡(luò)來(lái)利用更直接、更少私人支付路徑的趨勢(shì)。
2019-12-31 09:20:071519 閃電網(wǎng)絡(luò)由基于閃電技術(shù)（BOLT）的節(jié)點(diǎn)運(yùn)行，而閃電技術(shù)是閃電網(wǎng)絡(luò)協(xié)議的基礎(chǔ)。
2019-12-31 11:16:241927 除了閃電網(wǎng)絡(luò)和隱私技術(shù)升級(jí)之外，在礦池模式的軟件方面正在進(jìn)行一些重要的研發(fā)，這將讓比特幣盡可能去中心化。
2020-01-05 09:20:251070 
除了閃電網(wǎng)絡(luò)和隱私技術(shù)升級(jí)之外，在礦池模式的軟件方面正在進(jìn)行一些重要的研發(fā)，這將讓比特幣盡可能去中心化。
2020-01-06 09:56:263569 
2019 年，眾望所歸的比特幣 Layer 2 技術(shù)閃電網(wǎng)絡(luò)經(jīng)歷了大起大落，很多人都期待著它可以幫助比特幣擴(kuò)展使用場(chǎng)景。雖然年初的「閃電火炬」活動(dòng)讓大家對(duì)該技術(shù)的發(fā)展充滿了信心，應(yīng)用層的發(fā)展非常迅速
2020-01-07 11:28:582491 區(qū)塊鏈?zhǔn)芟抻谀壳暗募夹g(shù)瓶頸，尚未能夠服務(wù)廣大用戶，更無(wú)法實(shí)現(xiàn)全球范圍的推廣。閃電網(wǎng)絡(luò)不僅能讓區(qū)塊鏈承載的交易量量級(jí)翻倍，更能使交易確認(rèn)速度提升到毫秒級(jí)，同時(shí)大大降低交易費(fèi)。
2020-02-03 11:42:243104 還有許多小眾的閃電網(wǎng)絡(luò)實(shí)現(xiàn)方案。在一個(gè)去中心化的支付網(wǎng)絡(luò)中，任何人都能開(kāi)發(fā)自己的閃電網(wǎng)絡(luò)方案。
2020-02-05 10:27:261087 比特幣閃電錢(qián)包(Bitcoin Lightning wallet)開(kāi)發(fā)商Zap發(fā)布了一款名為Strike的新應(yīng)用程序，希望讓所有人都能更容易地使用閃電網(wǎng)絡(luò)。該應(yīng)用程序允許客戶僅使用借記卡或銀行賬戶進(jìn)行閃電支付。
2020-02-08 10:47:072177 到今天為止，相信絕大多數(shù)人多少都聽(tīng)說(shuō)過(guò)比特幣。盡管褒貶不一，但是時(shí)不時(shí)會(huì)在各類(lèi)媒體中看到一些關(guān)于比特幣的新聞。對(duì)于絕大多數(shù)人來(lái)說(shuō)，恐怕都很難理解為什么一個(gè)比特幣會(huì)價(jià)值 1 萬(wàn)多美元，大約 7 萬(wàn)人民幣
2020-03-09 10:39:472019 方法只能在η固定的特定有限域上進(jìn)行驗(yàn)證，而且計(jì)算量往往超出計(jì)算機(jī)的能力?；诮换ナ蕉ɡ碜C眀器的形式化驗(yàn)證為有限域性質(zhì)的通用驗(yàn)提供了可能性，但這方面的工作難度較大。已有研究主要針對(duì)有服域的抽象性質(zhì)進(jìn)行形式化驗(yàn)證，但計(jì)
2021-04-25 11:41:361 高安全性應(yīng)用開(kāi)發(fā)環(huán)境（ SCADE）的形式化驗(yàn)證組件 Design Verifier能夠驗(yàn)證航空航天領(lǐng)域嵌入式軟件系統(tǒng)的安全性質(zhì)，但不能充分描述擁有復(fù)雜時(shí)序性質(zhì)的安全需求。為解決該問(wèn)題，構(gòu)建一
2021-05-28 14:51:391 軟件的形式化驗(yàn)證是保障軟件可證明性、可靠性和安全性的重要手段，但傳統(tǒng)形式化驗(yàn)證腳本的生成過(guò)程復(fù)雜且需要形式化驗(yàn)證專家的大量手工驗(yàn)證。為提高證明效率，構(gòu)建一種自動(dòng)證明模型，并在此基礎(chǔ)上提出語(yǔ)義自動(dòng)規(guī)約
2021-06-03 14:31:555 傳統(tǒng)的聯(lián)鎖系統(tǒng)開(kāi)發(fā)、設(shè)計(jì)和測(cè)試，只能從功能上保證其邏輯的正確性，而無(wú)法保證其安全需求完全得到滿足。SmartRocket iVerifier作為上?？匕矒碛凶灾鲗＠夹g(shù)的計(jì)算機(jī)聯(lián)鎖系統(tǒng)形式化驗(yàn)證工具
2022-08-09 16:37:042102 
形式化方法是基于嚴(yán)格的數(shù)學(xué)基礎(chǔ)，通過(guò)采用數(shù)學(xué)邏輯證明來(lái)對(duì)計(jì)算機(jī)軟硬件系統(tǒng)進(jìn)行建模、規(guī)約、分析、推理和驗(yàn)證，是用于保證計(jì)算機(jī)軟硬件系統(tǒng)正確性以及安全性的一種重要方法。
2023-01-30 16:42:132168 
形式化驗(yàn)證作為一種全新的驗(yàn)證方法，近年來(lái)在芯片開(kāi)發(fā)中快速發(fā)展，正逐漸取代傳統(tǒng)的仿真方法。 雖然仿真在系統(tǒng)級(jí)驗(yàn)證方面仍然發(fā)揮著重要的作用，但對(duì)于單元級(jí)的signoff而言，形式化驗(yàn)證已經(jīng)成為
2023-04-21 19:35:051220 
電子發(fā)燒友App
工商網(wǎng)監(jiān)
評(píng)論