2020年2月19日至2月21日,由PoS公鏈Findora團隊成員DanBoneh和BenediktBünz聯席舉辦的學術會議——“2020斯坦福區塊鏈大會”在硅谷落下帷幕,會議重點關注區塊鏈系統中的安全工程和風險管理的方法,探討通過加密技術的應用、去中心化協議、形式化方法和實證分析等來提高區塊鏈部署中的安全性或降低風險。值得注意的是,VitalikButerin、RippleCTODavidSchwartz、斯坦福大學密碼學專家BenFisch、Calibra主管BenMaurer等多位業內知名人士均參與了這次學術討論。
學者們在大會中交流,圖中是Findora首席科學家BenediktBünz與以太坊VitalikButerinPlasma技術的限制與必要工作量證明會議首先探討了有關可擴展性的話題。來自華沙大學的StefanDziembowski發表了題為《Off-Chain協議的界限:探索Plasma技術的限制》的演講,據其表示,他們調查了Plasma系統存在的固有局限性,并表明惡意方總能發起攻擊,迫使誠實方將大量數據傳輸到區塊鏈。這一研究表明,每個plasma系統都必須具有大的出口,否則必然會遭受由數據不可用引起的大量退出問題,而這一問題無法通過引入額外的密碼學假設來規避。來自紐約大學的博士生AssimakisKattis展示了他的《必要工作量證明:簡潔狀態驗證和公平保證》論文成果,據悉,這一研究可使無狀態的輕客戶端能夠在大約40毫秒內有效地驗證整個區塊鏈歷史。換言之,簡潔狀態模型中的信任模型是比特幣的簡化版本,不管交易總數是多少,證明的大小都是一樣的,大約在373字節。通過遠程側信道攻擊破解Zcash或Monero的匿名性區塊鏈的安全問題也是備受關注的一個話題,在這個方面,來自斯坦福大學的FlorianTramer,DanBoneh及KennyPaterson發表了題為《通過遠程側信道攻擊匿名交易記錄》的演講,其描述了一類通用的時間側信道和流量分析攻擊方式,允許遠程惡意對手繞過匿名貨幣提供的密碼學保護。這些攻擊使遠程攻擊者可以識別Zcash或Monero中任何交易的收款人,研究發現,在Zcash中,生成零知識證明的時間取決于秘密交易數據,特別是交易資金的數量。因此,盡管證明系統具有零知識屬性,但能夠測量證明生成時間的攻擊者,可能會破壞交易的機密性。零知識證明話題:炙手可熱的加密算法近年來,關于零知識證明的研究已經越來越炙手可熱,而這次斯坦福區塊鏈會議也重點研討了有關零知識證明算法方面的研究進展。來自加州大學伯克利分校的NickSpooner則在會議上發表了題為《Fractal:基于Holography的后量子和透明遞歸證明》。在這篇文章里,Spooner提出了一種新的方法,可以有效地實現簡潔的非交互式知識論證的遞歸組合。在進行這項工作之前,唯一已知的方法是基于在配對友好的橢圓曲線的循環上實例化的基于配對的SNARK。這個方法論不依賴任何特殊的代數對象,而且實現了新的理想特性:它是后量子的,并且是透明的。
Ripple案陪審團審判定于2024年第二季度進行:金色財經報道,一位聯邦法官發布了何時可以在陪審團面前聽到Ripple vs SEC案論點的時間表,周三公布的法庭文件顯示,Ripple vs SEC訴訟案預計將于2024年第二季度在紐約南區接受審判。雙方都有兩周時間向法庭提交限制日期。 法官補充說,Ripple和SEC必須在2023年12月4日之前提交所有審前文件、文件證據和排除陪審團證據的動議。
最新提交的文件是在法官Analisa Torres對該案作出部分簡易判決幾周后提交的,Torres裁定,雖然Ripple的XRP機構銷售被認定構成未注冊的證券發行,但程序化銷售并不構成。
根據Torres的簡易判決,任何一方都必須在“合理”的時間內提出上訴請求。SEC尚未提出上訴,也沒有提交中間上訴的嚴格期限。然而,法律專家表示,如果提出上訴,SEC很可能會在本周末之前提出。[2023/8/10 16:16:15]
彭博商品策略師:比特幣可能在2022年下半年跑贏市場:金色財經報道,盡管加密貨幣市場從 2022 年上半年開始下滑并延續到下半年,但彭博高級商品策略師 Mike McGlone 認為比特幣實際上可能在下半年表現出色。多頭商品平倉、銅價創下 2008 年以來最快跌幅,以及美國債券期貨從 1987 年股市崩盤以來的 50 周均值的最大跌幅中回升,所有這些都發生在美聯儲積極收緊政策之際,可能同時觸底加密貨幣。
McGlone 還補充說:對于比特幣和債券期貨持續牛市的 2H 觀點可能歸結為它們并沒有變得更冷的事實。[2022/7/27 2:39:18]
FindoraCTOBenFischFindora首席技術官以及斯坦福應用密碼學博士生BenFisch利用在針對單變量和多變量構建了一個新的polynomialcommitment,具有對數大小的評估證明和驗證時間。此外,該計劃不需要像Zcash目前所需的可信設置。下面這個列表可以看到一個更直接的對比:
軟銀計劃在2022財年推進ARM上市:市場消息:ARM首席執行官SIMON SEGARS即將離職,由HAAS接任。 軟銀計劃在2022財年推進ARM上市。 (金十)[2022/2/8 9:37:07]
獨特的51%攻擊及治理方式如何應對51%攻擊是過去十年來討論很多話題,對此以太坊聯合創始人VitalikButerin發表了題為《越過51%攻擊》的演講,他首先介紹了不同類型的51%攻擊,例如最常見的回滾交易攻擊,此外還有審查攻擊、輕客戶端攻擊、勸阻攻擊,以及最嚴重的覆巢式攻擊,Vitalik認為覆巢式51%攻擊成PoW區塊鏈致命威脅,PoS或是唯一出路。而99%容錯共識、及時性檢測器等技術來檢測攻擊鏈以及審查攻擊,可以使權益證明貨幣基本消除51%攻擊帶來的威脅。
比特幣的一萬倍擴容除了如何應對51%攻擊,吞吐量和延遲間以及性能和安全性上的權衡是區塊鏈系統常常會遇到的瓶頸,在共識協議解決方案方面,會議上來自麻省理工的LeiYang發表了題為《Prism:比特幣的1萬倍擴容》的演講,他認為比特幣在安全性與性能上不能很好的相容。而通過引入“交易區塊”避免分叉、處理延時以及系統部署等手段,Prism可以有效解除性能與安全的聯系。他解釋了Prism的部署中所做的優化,并展示了評估的結果:相對于比特幣的每秒7筆交易,Prism可以實現每秒70000筆交易的吞吐量。共識機制哥倫比亞大學的TimRoughgarden發表了《公理理論分析區塊獎勵》,對比特幣的區塊鏈獎勵分配算法用公理理論進行了嚴謹的分析。分析規則包括:對稱性;預算余額;防Sybil和各種等級的防共謀。研究證明了比特幣的比例分配規則是滿足特定屬性系統的唯一分配規則,但這并不適用較弱的屬性集,或當礦工不是風險中性時。
聲音 | 閃電網絡錢包Zap創始人:機構將在2020年使用閃電網絡:最近,在接受播客節目What Bitcoin Did主持人Peter McCormack的采訪時,閃電網絡錢包Zap創始人Jack Mallers談到閃電網絡的實際價值、可以實現的目標以及其機構用例。他認為閃電網絡是“物理上的結算和清算真正價值的軌道”,而在另一個完全不同的用例中,閃電網絡可以用來在互聯網上進行真正的私人商務。“你應該能夠打造自己的通道,使其變得私密,這就像是互聯網商業的黑匣子黑洞。價格穩定得如此之快、如此之便宜,而且你是如此的私密。”Mallers還表示,保管錢包將開始需要KYC,并稱閃電網絡將成熟一點。根據他們對用戶的研究,它提供了“真正的價值,在很多方面都比我們用來支付的現有工具更好。”他表示,“我認為參與閃電網絡的機構將是2020年的一件大事。”未來一年,機構閃電網絡的使用將是一筆巨大的交易,自營交易公司將是其首批大用戶。(AMBCrypto)[2020/1/1]
動態 | 2020年騰訊犀牛鳥精英人才培養計劃發布 新增區塊鏈等課題:12月10日,2020年騰訊犀牛鳥精英人才培養計劃發布,2020年度項目截止申報時間為2020年1月19日14:00。今年新增智慧城市、區塊鏈、自動駕駛等與智慧生活息息相關的產學研熱議方向,包括城市感知、仿真和優化以及區塊鏈密碼學和智能合約等熱點研究課題。(東方網)[2019/12/11]
FindoraCEOCharlesLu,Findora首席科學家BenediktBünz,和哥大教授TimRoughgardenGauntlet的TarunChitra發表了《抵押貸款和鏈上貸款之間的競爭均衡》,對權益證明(ProofofStake)的安全性進行了研究。衍生品市場的存在使驗證者之間的惡意協調比在工作量證明系統中更容易。Chitra證明鏈上貸款的智能合約也可以削減PoS系統的網絡安全性。當這些智能合約提供的回報率比staking抵押提供的利率更高時,staking的人會將原本staked的代幣取出,然后在這些智能合約上借出,從而降低網絡安全性。本文中,Chitra用了一個簡單的隨機模型描述了具有不同風險偏好的理性持幣者對staking回報率和借貸回報率是如何反應的。結果表明,非惡意的理性參與者可以在staking利率低于借貸利率的情況下下大大降低PoS網絡的安全性。斯坦福大學、UIUC和華盛頓大學的教授們發表了《再論權益證明最長鏈協議》。中本聰發明的最長鏈協議一直很好地服務于比特幣。它非常簡單,僅使用基本的密碼基元,但其工作量證明的方法浪費了非常多的能源。權益證明是一種節能的替代方案。但這種協議非常復雜,并且會削減安全性。本文分析了為何直接模仿Nakamoto協議的權益證明共識機制容易受到致命攻擊。學者隨后也根據攻擊的方法編寫出了中本聰風格最長鏈PoS協議新家族的設計,并正式證明了它們在一般安全模型中的安全性。康奈爾大學的BenjaminChan和ElaineShi發表了《Streamlet:教科書簡化的區塊鏈》。本文描述了一種構造共識協議Streamlet的極其簡單自然的范例。協議受到了過去五年的核心技術的啟發;但通過充分利用“精簡”的想法,Streamlet比以往任何的機制都簡單。本次大會主要探討了可擴展性、隱私、共識機制、區塊鏈經濟以及狀態通道。除了上述總結的演講之外,大會還主辦了其他精彩的學術展示,在此就不一一列舉。讀者若感興趣可前往https://cbr.stanford.edu/sbc20/查看所有演講的主題,并搜索相關的研究論文。在此之外,一些項目方也展示了自己的技術特點,例如Facebook的區塊鏈技術主管BenMaurer就在會議上介紹了Libra區塊鏈以及他們的Move編程語言,來自Celo協議的MarekOlszewski重點介紹了他們的ultralight超輕客戶端,Dfinity介紹了他們的Motoko編程語言等等。今年的大會到此結束,讓我們一起期待明年斯坦福區塊鏈大會學者們再次展示研究成果。參考文章:《直擊斯坦福區塊鏈大會Day1:新攻擊可破解Zcash或Monero的匿名性?》來源:巴比特
作者;EricChung翻譯:FrauYang簡介大量跡象表明,2018年Web3的UX體驗成為了許多項目討論的焦點.
1900/1/1 0:00:00頭條 IOTA官方:Trinity錢包用戶資金遭竊IOTA基金會宣布,Trinity錢包軟件用戶的資金已被竊取。IOTA基金會已關閉了該基金會目前控制的協調節點.
1900/1/1 0:00:00編者按:本文來自量化踢馬河,Odaily星球日報經授權轉載。從前年開始,去中心化金融的概念就逐漸熱了起來,DeFi行業也以驚人的速度逐步在發展成熟.
1900/1/1 0:00:00文|棘輪在區塊鏈技術被提到國家戰略層面之后,從業者備受鼓舞,行業發展明顯加速。與此同時,也有資金盤故意扭曲概念,以“我們是被國家鼓勵的”為名,在線上和線下大肆割韭菜.
1900/1/1 0:00:00編者按:本文來自橙皮書,Odaily星球日報經授權轉載。和所有生命一樣,病希望盡量多的復制自己,盡量久的存續下去。他們之所以會這么做,能這么做,是因為他們基因組里攜帶的信息有這個需求.
1900/1/1 0:00:00文|比薩“中國醫生是一個特殊的群體。沒有其他任何一個國家的醫生,能承受中國醫生這樣的壓力。”紀錄片《中國醫生》的導演張建珍曾這樣感慨。她發現,近五分之一的中國醫生,每周的工作時間超過80小時.
1900/1/1 0:00:00