CaixaBank與微軟聯合創辦創新實驗室，探索AI與元宇宙技術應用

6月15日消息，近日，西班牙的CaixaBank宣布與微軟共同建立一個人工智能創新實驗室。根據協議，CaixaBank Tech的人工智能專家將與微軟巴塞羅那人工智能研發中心的開發人員、數據科學家和機器學習專家合作，專注于開發概念測試、原型和用例，以探索人工智能技術應用如何變革傳統金融服務。此外，雙方還將致力于創建交互式虛擬環境，為混合工作環境提供身臨其境的體驗。今年早些時候，CaixaBank的數字金融生活方式分支Imagin成為首家在元宇宙開設項目的歐洲金融科技公司。

Cairo公布路線圖：新合約語法將與Starknet alpha v0.12.0共同推出:6月29日消息，編程語言Cairo公布其路線圖，為了社區便利性，創建公共板以描述即將推出的一些新功能；很快將推出新的合約語法，與Starknet alpha v0.12.0一起發布，需要進行一些代碼更改，很大程度上豐富了智能合約語言；通過Cairo1.1.0在Starknet主網上的推出以及即將到來的v2版本，已經達到了語言成熟度的一個重要里程碑。文檔、書籍和Starknet Discord等資源足夠幫助用戶開始并從Cairo 0遷移。

隨著新合約語法的發布，Cairo現在足夠穩定和豐富，足以支持復雜的應用程序，并移植現有的Cairo 0邏輯。此外，Starknet的向后兼容性保證確保即使語言發生重大變化，用戶也將有足夠的時間（至少六個月）來完成合約的開發或審核和部署。[2023/6/30 22:09:25]

Open Zeppelin發布智能合約庫Cairov0.2.0，改進了可擴展性模式:7月6日消息，區塊鏈安全公司Open Zeppelin發布為StarkNet編寫的智能合約庫Cairov0.2.0，該版本利用Cairo命名空間迭代了可擴展性模式；實施了與以太坊兼容賬戶合約的第一個版本；附帶了安全訪問和權限管理的基本構建塊Access Control庫；增加免受重入攻擊的實用程序Reentrancy Guard等。[2022/7/6 1:54:22]

Veridise與Stark Ware合作開發Cairo語言符號執行引擎:5月28日消息，自動化安全審計公司Veridise宣布與Stark Ware合作開發Cairo語言符號執行引擎，會在兩周之內發布具備基本語言功能的測試版。Veridise的引擎會為Cairo語言提供自動安全檢測工具，幫助StarkNet生態項目的安全與審計。[2022/5/28 3:46:50]