Conflux研究總監楊光：好的編程范式可以讓智能合約更容易被形式化驗證，從而更安全

金色財經報道，6月9日，Conflux研究總監楊光做客金色財經舉辦的“Web3.0-從信息交互到萬物互聯還要走多久？”為主題的金色沙龍第63期活動。楊光表示如果將區塊鏈網絡作為Web3.0基礎設施，那么跨鏈協議是必備的，信息和資產需要在不同的區塊鏈網絡之間流動。其實跨鏈分很多個層次，信息跨鏈、資產跨鏈、智能合約的跨鏈互操作等等，難度是依次遞增的。與之配套的還有各種數據格式、接口、通訊協議等等，甚至是統一的智能合約語言和編程范式。好的編程范式可以讓智能合約更容易被形式化驗證，從而更安全；也可以讓合約在執行時候更容易實現并行化，優化性能和成本。

Binance：BNB Beacon Chain錢包維護已開始，存取款將暫停約1小時:6 月12日消息，Binance 發布提醒稱，預定于北京時間 6 月 12 日 15 時對 BNB Beacon Chain（BEP2）進行的錢包維護已經開始。錢包維護期間，BNB Beacon Chain（BEP2）上的所有存款和取款將暫停大約 1 小時。維護完成后將恢復充值和提款。[2023/6/12 21:31:36]

Binance Connect與加密錢包SafePal達成合作關系，SafePal用戶可直接購買加密資產:金色財經消息，據幣安官方公告，由幣安支持的支付基礎設施提供商Binance Connect宣布與加密錢包SafePal建立新的合作伙伴關系。SafePal中的用戶將能夠使用他們的信用卡/借記卡通過Binance Connect直接購買200多種加密貨幣資產。[2022/9/1 13:02:33]

動態 | 企業以太坊聯盟的主網計劃將在10月Devcon5上公布:據Coindesk報道，企業以太坊聯盟（EEA）已任命Aya Miyaguchi為以太坊基金會執行董事，幫助推動Mainnet計劃，同時也將協助EEA執行董事Ron Resnick正在進行的互操作性和標準制定工作。歐洲經濟區董事會成員、以太坊聯合創始人、ConsenSys創始人約瑟夫·魯賓在聲明中表示，在過去的一年里，我們看到企業對以太坊技術的興趣和采用率大大提高。值得注意的是，企業使用以太坊主網絡并為主網構建基礎架構已經做出了切實而堅定的努力，這些基礎架構也將長期服務于許多業務用例。EEA Mainnet計劃的更多細節將在即將于2019年10月8日至11日在日本大阪舉行的Devcon5上公布。[2019/8/6]