加密貨幣交易所 加密貨幣交易所
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)。

Flare:FlareDrop.04的投放時間為6月15日:金色財經報道,智能合約平臺Flare在社交媒體宣布,FlareDrop.03已成功分發給Flare社區成員,FlareDrop.04的投放時間為6月15日。Flare表示,要獲得 FlareDrop.04 資格必須持有WFLR,每月36個FlareDrops中的每一個都按比例分配給WFLR的持有者。錢包必須在每個領取日之前的23天內持有Wrapped FLR (WFLR)。這被稱為“持股計算期”。 在Holdings計算期間,隨機選取三個區塊計算所有錢包的平均持有量。該計算根據錢包在流通中的所有WFLR中的相對份額確定錢包可以領取的#FlareDrop代幣數量。[2023/5/23 15:20:08]

Flashbots的MEV-Boost現已在Coinbase Cloud上運行:11月2日消息,Coinbase Cloud在推特上宣布,Flashbots的免費開源中間件MEV-Boost現已在Coinbase Cloud上運行,其以太坊質押客戶現在可以選擇在其基礎設施中運行MEV-Boost,接收由Proposer-Builder Separation (PBS) 啟用的MEV(最大可提取價值)獎勵,據估計獲得的平均區塊獎勵可能增加100-200%。質押以太坊的Coinbase Prime和零售客戶將自動獲得額外獎勵。

此外,Coinbase Cloud表示為實現去中心化和抗審查將鼓勵中繼多樣性,計劃訂閱所有符合其技術要求的可行中繼,且將繼續在沒有MEV-Boost的情況下運行一些驗證器。[2022/11/2 12:08:09]

Wing Flash Pools上WING和pWING的Supply功能暫停:7月29日消息,跨鏈DeFi平臺Wing發推稱,由于WING價格波動,可能對用戶資產造成潛在風險,所有Wing Flash Pools上WING和pWING的Supply功能暫時關閉,恢復時間將另行通知。[2022/7/29 2:46:06]

SBF:加強對加密貨幣交易所的監管或對投資者產生積極影響

9月20日消息,FTX首席執行官SBF表示,對加密貨幣交易所進行更嚴格的監管,可能對投資者產生積極影響。他在接受彭博(Bloomberg)采訪時表示:“這是一個漫長的過程,是完全必要的--我們對此非常滿意.

Block Chain:2021/9/20 23:38:56
在WEX交易所創始人被捕后 3000萬美元的ETH正在流出

金色財經報道,在俄羅斯加密貨幣交易所Wex創始人Dmitry Vasiliev在波蘭華沙被捕后,價值3000萬美元的ETH開始從與WEX相關的錢包中流出。然而,資金的實際處理似乎對控制者來說可能存在問題.

Block Chain:2021/9/22 0:07:57
Andre Cronje:Fantom鏈游Rarity Codex模塊代碼已更新,“Gambits”功能已部署

9月21日消息,Yearn.finance創始人Andre Cronje在推特上發布Fantom鏈游Rarity的最新進展,其中Codex模塊代碼已更新.

Block Chain:2021/9/21 23:40:53
韓國財政部長:2022年初開始征收加密貨幣稅,沒有理由推遲

9月18日消息,韓國戰略和財政部長洪南基在9月15日的國民議會會議上表示,計劃中的加密貨幣征稅法將于明年年初生效,執政的民主黨和反對黨已同意采取立法行動對加密貨幣征稅,沒有理由推遲該法律的實施.

Block Chain:2021/9/18 23:35:37
美OCC代理署長:加密貨幣和DeFi正在威脅金融體系

9月22日消息,美國銀行監管機構貨幣監理署(OCC)代理署長Michael Hsu周二出席區塊鏈協會的視頻會議時表示,加密貨幣和DeFi正演變為對金融體系的威脅,很像10年前某些衍生品讓金融系統幾乎崩潰時的狀況.

Block Chain:2021/9/22 16:56:52
SBF:禁止穩定幣是“可悲的”

金色財經報道,加密衍生品交易所 FTX 的首席執行官 Sam Bankman-Fried在接受彭博社采訪時表示,鑒于穩定幣的有用性,禁止穩定幣將是非常“可悲的”。SBF認為,監管機構應該還有更有益的其他類型監管干預措施.

Block Chain:2021/9/21 23:39:26
Mask Network獲得Filecoin開發公司Protocol Labs戰略支持

9月19日消息,Web 3.0項目Mask Network宣布獲得Filecoin開發公司Protocol Labs的戰略支持.

Block Chain:2021/9/19 23:36:23
Coinbase CEO:正更多地致力于開發自我托管錢包

加密貨幣交易所Coinbase的CEO Brian Armstrong表示,該公司在美國有超過50份許可證。美國證券交易委員會(SEC)沒有“創造公平的競爭環境”。如果SEC要求,很樂意取得額外的許可證.

Block Chain:2021/9/22 16:56:39
數據:比特幣全網算力為 145.3EH/s,較上一低點上漲 137.4%

9月20日消息,Glassnode 數據顯示,比特幣全網算力兩個半月來持續收復跌幅,截至 9 月 19 日為 145.3EH/s,相比 6 月 27 日 61.2EH/s 的兩年內最低值,已上漲 137.4%.

Block Chain:2021/9/20 23:38:36
甘肅文旅、眾洋星光與螞蟻鏈達成戰略合作

9月18日消息,甘肅文旅、眾洋星光與螞蟻鏈正式達成戰略合作,三方將以絲路文化區域文旅業態為基礎,打造全國首個“絲路文化文昌星平臺”,探索傳統文化煥新與文旅場景運營融合的新模式.

Block Chain:2021/9/18 23:35:34
Avalanche公布升級版共識機制Snowman++

9月19日消息,Avalanche于9月16日公布升級版共識機制Snowman++,目前Snowman++已經在Fuji測試網上激活,主網上的激活時間將在后續公布。交易所、錢包無需做出改變.

Block Chain:2021/9/19 23:36:31
DappRader與西甲達成合作擬共建NFT市場

金色財經報道,NBA Top Shot 開發公司Dapper Labs披露已經與西班牙足球甲級聯賽(LaLiga)達成合作,雙方將合作共建一個類似于NBA Top Shot的NFT 市場.

Block Chain:2021/9/22 16:58:47
ads