BTC/HKD+0.2%
ETH/HKD+1.33%
LTC/HKD+5.64%
DOT/HKD+1.28%
ADA/HKD+5.56%
SOL/HKD+1.45%
XRP/HKD+15.5%
DOGE/US+0.53% 
Flashbots核心貢獻者等人發表新論文，研究DeFi智能合約經濟安全的形式化驗證框架CFF:9月18日消息，Flashbots核心貢獻者PhilipDaian、康奈爾大學計算機安全博士生KushalBabel和MahimnaKelkar以及康奈爾理工學院教授AriJuels共同發布關于ClockworkFinanceFramework（CFF）的新論文，這是一種DeFi智能合約經濟安全的形式化驗證框架。論文中表示，CFF具有三個關鍵特性，合約完備、以漸近最優的模型大小實現、在構造上窮舉攻擊。CFF可以支持多個目標，開發者對合約的經濟安全性分析、用戶對DeFi交易風險的分析、機器人或礦工對套利機會的優化。此外，CFF框架引入了一個新的DeFi合約經濟安全概念，可提取價值（EV）。[2021/9/18 23:35:18]
波卡生態智能合約平臺Plasm Network將更新品牌形象和網站:官方消息，波卡生態智能合約平臺Plasm Network宣布，將在短期內更新品牌形象和網站。[2021/5/12 21:53:12]
動態 | TrustToken智能合約已通過三項獨立安全審計:據coindesk報道，加密創業公司TrustToken周三宣布，其智能合約已通過Certik、SlowMist和Zeppelin的三項獨立安全審計，未發現任何漏洞。此外，根據該公司的數據，其TrueUSD（TUSD）穩定幣的月交易量已超過11億美元，市值為2億美元。此外，據CCN消息，TrueUSD與Nexo合作，為TUSD持有者提供加密貨幣即時貸款。[2018/12/20]
編者按：本文來自白話區塊鏈,原作者：JoshStark、EvanVanNess,譯者：殷建松,《殷建松說區塊鏈》作者,Odaily星球日報經授權轉載.
1900/1/1 0:00:00眾所周知,中本聰2009年1月在Metzdowd密碼學郵件列表發布了開源客戶端Bitcoinv0.1.0,正式邀請大家共同維護比特幣網絡的正常運行；但很多人不知道的是.
1900/1/1 0:00:00頭條 委內瑞拉總統稱將重振Petro,起初將通過Petro每天銷售5萬桶石油委內瑞拉總統馬杜羅周二在制憲會議上承諾將重振石油幣.
1900/1/1 0:00:00對于外行人來說,加密貓是一個在區塊鏈上養貓的游戲,根據每對貓父母的基因構成,培育出的貓咪可能有4萬億種可能,也就是說,你可以繁育出4萬億只不同的貓.
1900/1/1 0:00:00編者按：本文來自LongHash區塊鏈資訊,作者：KyleTorpey,Odaily星球日報經授權轉載.
1900/1/1 0:00:00隨著國家對區塊鏈行業的逐步重視,積極推動企業與大學之間的深度合作與協同發展成為實現中國自主創新的新思考和建設創新型國家的關鍵.
1900/1/1 0:00:00
比特幣交易所
