比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > 區塊鏈 > Info

Flashbots核心貢獻者等人發表新論文,研究DeFi智能合約經濟安全的形式化驗證框架CFF

Author:

Block

Time:2021/9/18 23:35:18

9月18日消息,Flashbots核心貢獻者PhilipDaian、康奈爾大學計算機安全博士生KushalBabel和MahimnaKelkar以及康奈爾理工學院教授AriJuels共同發布關于ClockworkFinanceFramework(CFF)的新論文,這是一種DeFi智能合約經濟安全的形式化驗證框架。論文中表示,CFF具有三個關鍵特性,合約完備、以漸近最優的模型大小實現、在構造上窮舉攻擊。CFF可以支持多個目標,開發者對合約的經濟安全性分析、用戶對DeFi交易風險的分析、機器人或礦工對套利機會的優化。此外,CFF框架引入了一個新的DeFi合約經濟安全概念,可提取價值(EV)。

當前以太坊中至少有7種活躍的中繼器,其中81.13%的區塊由Flashbots單獨構建:9月20日消息,據跟蹤MEV-Boost中繼器和區塊構建者的網站mevboost.org,當前以太坊中至少有7種活躍的中繼器傳遞至少一個區塊,包括Flashbots、BloXroute Max Profit、BloXroute Ethical、BloXroute Regulated、Blocknative 、 Eden和Manifold。其中,有81.13%的區塊是由Flashbots單獨構建,數量達到5640個。[2022/9/20 7:08:23]

Alchemy 與 Flashbots 合作支持在以太坊上發送隱私交易:金色財經消息,區塊鏈開發平臺 Alchemy 宣布與 Flashbots 合作支持在以太坊上發送隱私交易,Alchemy 表示實現隱私的方式是將交易直接發送給礦工而不是公共內存池,這將使得包含該交易的區塊未上鏈前保持隱私狀態,從而防止搶先交易、套利等行為。[2022/5/27 3:44:55]

Flare Networks與國際電子競技聯合會(GEF)達成合作:8月6日消息,智能合約平臺Flare Networks已與國際電子競技聯合會(GEF)建立長期合作伙伴關系,將共同建立在全球游戲社區采用區塊鏈解決方案的途徑。(U.Today)[2021/8/6 1:39:09]

Compass Mining推出家庭挖礦新服務,目前僅在美國提供

9月21日消息,比特幣挖礦硬件市場和托管服務提供商Compass Mining推出一項新服務,讓零售礦工在家中進行比特幣挖礦。該服務包括在客戶家中提供比特幣礦機,幫助這些機器與F2Pool礦池連接,并提供任何其他支持...

Block Chain:2021/9/21 23:41:15
Filecoin網絡近24小時產出34.33萬枚FIL

據IPFS100報道,Filfox瀏覽器數據顯示,Filecoin網絡當前區塊高度為1132897,全網有效算力為11.242EiB,總質押量約為1.1272億枚FIL,活躍礦工數為3261個,每區塊獎勵為23.87...

Block Chain:2021/9/22 16:57:55
GameFi+山海經文化鏈游今日十二點正式上線

據官方消息,基于Conflux網絡開發、由NFTBox平臺支持的GameFi+山海經文化策略修仙鏈游《山海經》今日十二點正式上線。《山海經》可以打造一個獨特的玩法系統,探索 NFT + Game + DeFi 與山海...

Block Chain:2021/9/20 23:38:01
pNetwork攻擊事后分析報告:黑客嘗試對多個pToken橋進行攻擊,僅對pBTC-on-BSC攻擊成功

9月22日消息,跨鏈協議pNetwork針對此前攻擊事件致277枚BTC被盜發布分析報告稱,pNetwork系統遭到黑客攻擊,該黑客對多個pToken網橋進行了攻擊.

Block Chain:2021/9/22 16:56:55
以太坊穩定幣總發行量達到840億美元 創歷史新高

金色財經報道,據最新數據顯示,以太坊上的穩定幣總發行量已經達到840億美元,創下歷史新高。以太坊上的穩定幣是用于區塊鏈網絡中的法幣,通常和法幣價格鉚定,由第三方審計,有真實美元作為儲備或由復雜的算法來保障其價格.

Block Chain:2021/9/22 16:56:29
DeFi 概念板塊今日平均漲幅為1.90%

金色財經行情顯示,DeFi 概念板塊今日平均漲幅為1.90%。47個幣種中37個上漲,10個下跌,其中領漲幣種為:SRM(+16.45%)、KCASH(+14.06%)、YFII(+12.13%).

Block Chain:2021/9/19 23:36:02
數據:北美四大上市礦商年初至今股票平均回報率高達140%,高于比特幣回報率

金色財經報道,對于那些在公開市場上尋找間接比特幣敞口或價值投資比特幣機會的人來說,投資比特幣上市礦商股票是一個辦法.

Block Chain:2021/9/19 23:36:03
Aave社區發起“初始資金庫策略”提案,建議部署Reserve Factor在Balancer V2上獲得BAL獎勵

9月18日消息,DAO資金庫聚合平臺Llama在Aave社區發起新提案“初始資金庫策略”.

Block Chain:2021/9/19 23:35:54
Conflux將在上海自貿區試點離岸人民幣穩定幣跨境支付

9月19日消息,公鏈項目Conflux Network發文稱,將在上海自貿區試點離岸人民幣穩定幣跨境支付。該文指出,研究工作將由上海海事大學新成立的上海樹圖區塊鏈研究院推動,該研究院為Conflux樹圖區塊鏈研究院的...

Block Chain:2021/9/19 23:35:44
前PAG Asia Capital總法律顧問Lily Zhuo女士加入Cobo任COO

據官方消息,加密貨幣托管及資管平臺Cobo,宣布任命Lily Zhuo擔任COO.

Block Chain:2021/9/18 23:35:07
Virtue Gaming 和幣安NFT將推出名人錦標賽禮盒藏品

據官方消息,Virtue Gaming將在9月23日推出幣安神秘禮盒收藏系列產品,產品里包含了52張NFT撲克牌,其中有一張黑桃A帶有Phil的數字簽名,并附贈5000美金的獎勵.

Block Chain:2021/9/22 16:56:47
騰訊運用區塊鏈等助力全國數字化薄弱地區的地標農產品品牌加速成長

目前,騰訊在持續推動地標農產品品牌溯源技術標準制定、品牌營銷與保護、品牌形象設計等板塊內容,充分運用大數據、物聯網、區塊鏈等技術,全面助力全國數字化薄弱地區的地標農產品品牌加速成長.

Block Chain:2021/9/19 23:36:11
ads