原子性問題解決方案假如你要操作一筆交易,但是你不能百分百確認交易是否完全執行并發送到目的地,而且可能只有部分操作被記錄,也可能某一方會丟錢。如果出現諸如此類的情況,相信應該沒有人會再用這個網絡了。電源故障或事件故障可能會給數據庫造成嚴重影響。為了保證有效性,每個數據庫事務要滿足四大標準,也就是所謂的ACID模型,即原子性、一致性、隔離性以及持久性。本文主要圍繞原子性展開。首先,什么是原子交易?原子交易是指要么完全執行要么完全不執行的數據庫事務。那么,為什么要使用這些事務呢?先來看下我們所處理的問題,以分布式數據庫為例。假設我們想要更改一些數據,而數據庫不支持原子更改,那么可能會導致一部分數據與另一部分不一致。如果某位用戶不知道有過更改,他會看到替代數據,然后無法確定哪些數據是正確的。但是,如果數據庫支持原子交易,那么任何更改都只能通過兩種方式執行:要么全改要么全不改。下面我們會深入研究最新的分布式數據庫所遇到的問題,然后分析鏈下實現方案。傳統解決方案考慮原子性的話,多階段提交是目前使用較多的。兩階段提交協議是最常見的,而一階段和三階段提交協議也廣為接受。一階段提交是實現原子性最直接的方法,但也是較粗糙和低效的方法。更改由事務管理器發出、參與者執行指令來完成。顯然,這個模型有太多固有威脅和陷阱,比如參與者可能會掉線,然后回來的時候就錯過了提交。兩階段提交更全面些,它將每個事務分成兩個階段。首先,事務管理器會查詢每個參與者以確定是否提交事務。他們會創建必要的臨時項并投票提交。當管理器收到所有參與者回復“是,我已準備好付款”,它會向他們發出提交請求,但只要有一個人回答“否”或沒回復,管理器都會撤銷付款。這個方案比一階段提交更穩健、更安全,但也不是無懈可擊。實際上,如果有參與者拒絕該事務,那么這一項就會停留在那里,在管理器發出回滾指令之前都無法刪除,從而導致網絡鎖定。為了解決這個問題,三階段提交方案面世,它將第一階段分為兩部分。事務管理器也是從查詢參與者的投票開始,但會推遲預備指令,直到收到所有參與者的肯定回復。然后參與者創建項并確認他們已為下一階段做好準備。與兩階段提交一樣,最后階段僅在收到所有確認后執行。三階段提交具體步驟雖然三階段提交安全級別更高,但由于階段多,要交換的信息多,它的表現也沒有那么好。所以就這些傳統解決方案而言,很難確定哪個方案更好。這里有必要說一下單個數據庫節點的原子性問題。它是在前饋分類賬的幫助下實現的。一般來說,無論用戶什么時候請求將事務反映到數據庫,第一步就是讓這一項持久存在,然后將其寫入磁盤分類賬。如果過程中出現系統故障,會出現兩種可能的結果。一,如果磁盤上的賬本項不見了,事務就會回滾;二,如果還在,那么重啟時磁盤上的事務就可以恢復。有四個本地數據庫的分布式數據庫,每個數據庫中關于Bob和Alice的余額信息都不同鏈下網絡中的原子交易自2009年加密貨幣出現以來,比特幣用戶的數量呈指數級增長。相應的,交易傭金和交易延遲情況也在增加。因此,社區積極地尋找著可擴展性解決方案。在他們的努力下,閃電網絡成為第二層解決方案,實現了支付通道及多跳交易。為了防止因某人的過錯而損失資金,原子性也是需要的。下面是現有的各種解決方案。HTLC為了實現原子性,目前用的最多的就是HTLC,即在預設鎖定時間前呈現初始密鑰可以花費資金。為了深入了解這一方案,我們先來看下基于閃電網絡的事務流程。首先,接收方節點生成密鑰并計算哈希值。之后,將該哈希值發送到發送方節點作為HTLC生成的基礎。發送方生成合約并將其發送到節點1,即路徑上下一個節點,該節點用遞減的時間鎖創建新合同。這個新生成的合同由節點1沿著路徑發送到節點2,然后節點2重復相同操作并繼續縮短時間鎖。合約一路前進到接收方,由接收方通過自己一開始就生成的密鑰簽名釋放資金,然后從發出合約的節點處獲得資金。反過來,這一動作向最靠近發送發的節點揭示密鑰,并授權解鎖支付并接收資金,然后再向前一節點出示密鑰。整個路徑重復這一過程后,每個節點都收到了付款,至此支付完成。所以,造成節點丟錢的唯一因素就是它無法趕在時間鎖的時限內簽名釋放資金,比如在接收到密鑰后就離線。使用HTLC進行的Alice到Eric的支付該方案的缺點是,在不利情況發生的同時,偶爾會出現關于合同到期時間及客戶資金損失方面的分歧。HTLARipple的Interledger協議是一個開放協議套件,用于各類賬本間轉賬。該項目白皮書中提出了“公證人”這一概念。為了實現原子性,最初建議使用通用模式和原子模式。在通用模式下,Interledger的原子性通過HTLA實現——HTLA本質上是HTLC的改良版,兩者的不同在于,HTLA能夠在區塊鏈不支持HTLC的情況下支持各類連接,包括有條件支付通道、On-Ledger持有/托管、簡單支付通道、Trustline等等。Interledger跨賬本支付框架換句話說,如果跨鏈支付要通過不支持HTLC的區塊鏈,那么連接器可以使用其他方法復制,以便滿足所有合約條款,例如支付時間、金額、支付解鎖條件等。PMSprite通道的目標是開發新的支付通道,解決閃電網絡原子性、部分存款與通道資金注銷等問題。通過添加原始合約管理器,HTLC得到了顯著升級。開發者是想讓PM成為HTLC的仲裁人,然后將任何單個節點的合約到期決策權委托給相應的軟件,防治有參與者離線并丟失錢財。仲裁人應該是常規的以太坊智能合約,登記類似'H哈希的X原值已于到期前在區塊鏈上發布'這樣的聲明。Sprite通道也應該有統一的合約到期時間。如果原值在合約到期前及時發布了,那么就受理所有爭議。邏輯會排除有人收到了錢而另一人指出所有人的到期時間都一樣的情況。但是,如果原值發布時間無效,那么這筆付款就無爭議。SpriteChannel爭議解決過程HTLRCelerNetwork是針對公鏈可擴展性并通過離線技術實現性能最大化的解決方案。在這個體系中,PM變成了一個哈希時間鎖注冊表,但大部分功能仍舊保留。HTLR有兩個依賴端點,即IsFinalized和QueryResult。前者返回的結果是原值是否先于區塊數字完成注冊;而后者返回的是原值是否已注冊。這兩個功能最終可以實現合并。需要注意的是,HTLR始終是鏈上的。NotariesInterledger的原子模式應該就用到了“公證人”這個角色。通過公證人完成的支付和通過閃電網絡HTLC進行的支付很相似,兩者唯一的區別是,在出示密鑰之前,接收方節點會將合約轉交給公證人,即從其通用地址列表中隨機選擇的特殊實體。公證人的設定是允許發送方設置驗證支付的實體數量及可接受的惡意公證人數量。公證人必須在拜占庭容錯共識的基礎上,對批準付款進行投票。如果一切正常,他們將“標記”交易,使接收方節點能夠解鎖資金。這個概念在白皮書中看起來不錯,但很難實現跨鏈交易。此外,它要求用戶信任公證人。Observers這一角色在Geo協議中出現,該概念為原子性問題提供了獨特的解決方案。目前項目團隊在創建一個去中心化的點對點鏈下網絡來進行資產交換。只要事務參與者在執行期間遇到問題,觀察者就會介入。觀察者既不會影響事務方向也不會改變任何內容。他們不是用來驗證每一個事務的,只是用來干涉用戶請求的。Geo采用類似二階段提交的框架來處理常規事務。首先,所有參與者簽名表示已準備好付款。其次,如果每個人都有簽名列表,則執行付款。如果有參與者說“文件”不存在,那么觀察者會在兩個階段間采取行動。這種情況下,他們會從任意節點處拿到簽名列表并發送給所有參與者,如果無法完成就不執行任何操作,然后交易會按時到期失效。GEO協議觀察者工作流程原子跨鏈支付原子交換是目前實現跨鏈支付最常用的方式。通過原子交換進行的跨鏈交易無需托管服務或第三方介入。它使用時間鎖合同且必須是由執行事務的區塊鏈支持的。在現實生活中,用戶在區塊鏈上按預先設置的時間鎖定想要交換的金額,然后生成一個原值、計算哈希,再聲明另一個用戶只有呈現出這個原值才能獲得這筆錢。時間鎖和哈希可以在區塊鏈上看到。這時,另一位用戶想用3個萊特幣換這個比特幣。為此,他使用和第一個用戶一樣的哈希值將3個萊特幣鎖在合約上——他可以在另一條區塊鏈上看到這個哈希值。而第一個用戶要想從第二個用戶的合約里拿到幣,就必須透露他的原值,然后第二個用戶再用這個公布了的原值從第一個用戶的智能合約里拿到他的幣。要想完成交易,第一個用戶就必須透露他的原值。如果他不這樣做,交易就無法結束。在這種情況下,為避免出現兩位用戶的資金同時被阻攔的情況,合同有效性有一定時限。原子交易各階段展示多路徑閃電網絡的設計者提出了多路徑原子支付技術,但尚未實現。這個技術旨在將大額支付分解為多筆小額支付以緩解網絡流動性問題。其原子性通過改進后的HTLC實現。接收方創建一個基礎原值以用于之后創建每筆小額支付的部分原值。一旦接收方收到部分付款,就可以通過這個基礎原值解鎖資金,無論款項到達順序如何。在Geo協議里,多路徑原子性的提供方式與單路徑原子性完全相同結論在去中心化網絡中,原子性的開發受到了很多新概念的影響。第一個出現的是哈希時間鎖合同,其優勢在于節點掉線時減少損失并且保障發送方和接收方的安全。而其問題在于資金必須凍結在通道中,參與者必須保持在線以避免損失。然后是在HTLC基礎上改良后的HTLA和HTLR。前者可以實現在各種注冊表中使用HTLC,甚至是那些不支持相應合同的注冊表。后者則解決了節點脫機的問題。之后的新方案中出現了觀察者和公證人。雖然在使用這些方案時我們要非常小心,因為觀察者/公證人的中心化可能會損害網絡,但是一個設計得當的系統可以幫助這兩個角色維持去中心化狀態。我們會繼續進行研究,也歡迎大家一起加入分布式系統的開發與問題的解決。
外媒:香港金融監管機構本周討論了如何解決加密公司開設銀行賬戶面臨的挑戰:6月16日消息,據彭博社援引知情人士報道,香港金融監管機構已于本周一召集銀行、加密平臺和其他行業參與者在一起,主要討論如何解決加密公司在開設銀行賬戶方面面臨的持續挑戰。這是香港監管機構自 4 月下旬以來第二次推動銀行更多參與加密領域的會議。[2023/6/16 21:41:23]
張春泉:區塊鏈等如何與行業深度融合將是工業互聯網發展關鍵要素:曙光云計算集團副總裁、中國科學院智慧城市產業聯盟副秘書長張春泉表示,目前工業互聯網發展呈現出新特征,一是在云計算技術架構支撐下,企業之間正從技術、產品和供應鏈的競爭逐步演進成為平臺化的生態體系競爭。二是以工業互聯網為支撐,助力企業邁向網絡化、智能化的新階段,構建數字化的工業生態和數字化的商業服務生態。三是新一輪的IT技術加速行業的深度融合,比如說標識解析、區塊鏈等技術如何與行業深度融合,將是這一時期工業互聯網發展的關鍵要素。(經濟參考報)[2020/4/30]
聲音 | 前FDIC主席:對Libra有些擔憂 不知道其如何利用獲得的資 金:據CCN消息,前聯邦存款保險公司(FDIC)主席Sheila Bair在接受CNBC采訪時對Libra提出了一些擔憂,“如果我給他們一些錢去買Libra,他們會用這些錢做什么?他們在白皮書中對此有點模糊……抵押品的實力是我會問的一個問題。”盡管Libra聲稱自己是未來的穩定幣,但尚不清楚Facebook將如何利用其外匯儲備管理投資。 Bair后來重申了她關于美聯儲支持的加密貨幣的想法,然而,這一想法并沒有實現。政府通常對新技術的吸收很慢,但如果成功的話,Libra可能會改變這一切。[2019/6/19]
聲音 | Robert Rosenblum:如果監管者將加密貨幣視為證券,應明確公眾如何購以及交易市場建立場地等問題:據CoinDesk消息,在Token Summit 2019會議上,Wilson SAonsini Goodrich&Rosati公司的律師Robert Rosenblum表示,他的公司通常將大多數加密貨幣視為證券。當時他的同事總是感覺存在差距,“那么,現在怎么辦?”換句話說,監管者需要解釋,如果代幣是證券,公眾應該如何購買,交易市場可以在哪里建立。Cosmos創始人Jae Kwon也提出類似觀點。他指出,沒有人知道如何以美國監管機構目前認可的方式經營去中心化交易所。但是Robert Rosenblum似乎覺得這是可以解決的,“只有當我們擁有一個運行良好的市場,我們才會有更多的經驗和更好的框架。”不過,這需要多長時間?這成了根本問題。緩慢折磨著快速發展的行業。歐洲合規公司MME的律師Andreas Glarner表示,來自歐洲的觀點是整個行業都很困惑:“大約五年后,答案是還不清楚。否則,我們不會坐在這里(討論)。那是外面的景色。[2019/5/18]
美國證券交易所:加密貨幣交易所沒有透露是否對一些用戶提供了優先服務 以及平臺如何挑選加密貨幣:據華爾街日報,美國證券交易所今天發布了有關加密貨幣交易所存在不規范問題的公告。SEC在公告中表明,加密貨幣交易所存在非法運營的風險,這是因為他們沒有透露如何優先考慮投資者的訂單或如何選擇在其平臺交易何種加密貨幣。前SEC官員,現任由投資者支持的健康市場協會的執行董事Tyler Gellasch透露:“SEC不僅要管理產品,還要管理他們交易和交易的地點。”SEC沒有在其聲明中提及具體的加密貨幣交易所,但提醒投資者,監管機構對交易所的實際運作方式知之甚少,不知道它們是否為其中一些交易者提供了優先于其他交易者的服務。SEC表示,雖然其中一些平臺聲稱采用嚴格的標準來挑選高質量的加密貨幣資產進行交易,但SEC并沒有審查過這些標準。[2018/3/8]
本文來自:碳鏈價值,作者:JimmySong,編譯:MorphoHawkes、Diana,星球日報經授權轉發.
1900/1/1 0:00:00昨日,澳本聰發推特說,2019年我們將開始教人們如何構建真正的SPV系統。語氣一如既往的自信。而BTCABC這邊的“新聞發言人”江卓爾則在微博回應網友,BCH是最好的比特幣.
1900/1/1 0:00:00編者按:根據1月5日CCN的報道,比特幣創造者中本聰(SatoshiNakamoto)被《Worth》雜志評為金融界最具影響力的人物.
1900/1/1 0:00:0012月13日,據外媒TheBlock援引知情人士報道,穩定幣項目Basis遇到了監管阻力,決定停止運營,正在向投資者退回之前獲得的投資資金.
1900/1/1 0:00:00通證通研究院出品文:宋雙杰,CFA;Linky導讀平臺通證在熊市要經歷戴維斯雙殺過程,純粹的多頭策略無法保證在熊市中獲利,對沖是熊市獲利的金鑰匙。摘要估值是一門古老的投資學問.
1900/1/1 0:00:00編者按:本文來自藍狐筆記,作者:ErmanAkdogan,編譯:Leo,星球日報經授權發布。前言:區塊鏈和人工智能是未來世界的兩大技術基石.
1900/1/1 0:00:00