📢 Gate 廣場 TradFi 交易分享挑戰上線！
晒单瓜分 $30,000 獎池，新人首帖 100% 中獎！
📌 參與方式：
帶 #TradFi交易分享挑战 發帖，滿足以下任一即可：
🔹 帶今日指定 TradFi 幣種標籤發帖交流。
🔹 完成單筆大於 $10U 的 TradFi CFD 交易並掛載交易卡片。
🏷️ 今日指定標籤：USDJPY、AUDUSD、US30、TSLA、JPN225
🎁 寵粉福利：
1️⃣ 卡片分享獎： 抽 50 人，每人送 $100 仓位體驗券！
2️⃣ 發帖榜單獎： 衝排行榜，贏 WCTC 限定 T 恤！
3️⃣ 新粉見面禮： 新人首次發帖，100% 領 $10 體驗券！
詳情：https://www.gate.com/announcements/article/51221
Cardano 委託人支持高保障提案，獲得 66.68 百萬 ADA 贊成票
卡爾達諾代表支持高保證提案，投票贊成66.68M ADA，專注於智能合約安全工具。
一位卡爾達諾代表已用66.68萬ADA對名為“IO：卡爾達諾高保證技術合作”的財庫提案投下贊成票。
該投票代表忠誠代表行使，並支持旨在加強智能合約安全性和促進開發者入門的工具。
卡爾達諾財庫提案獲得大量贊成票
該代表表示，投票正式支持卡爾達諾高保證技術合作提案。
該提案專注於安全工具、開發者訪問權以及卡爾達諾生態系統內的技術合作。
贊成票以66.68萬ADA投出。該數額代表委託投票權，而非單一個人持有。
該代表表示，投票是“代表我忠誠的代表們提交的”。
該提案旨在為與高保證開發相關的工具提供財庫資金。
它聚焦於形式驗證，幫助開發者在軟件發布前用數學方法測試軟件。卡爾達諾長期推廣安全性和基於研究的開發。
該提案將高保證工具作為建設者的更廣泛資源，而非僅限於專家的服務。
Blaster工具針對智能合約安全
該提案包括將Blaster形式驗證工具嵌入卡爾達諾原生語言的計劃。
列出的語言包括Aiken、Scalus、Pebble和Futura。形式驗證可以幫助開發者檢查代碼是否符合定義的安全規則。
它還能降低由錯誤智能合約和應用邏輯引起的風險。代表表示Web3已經因智能合約和橋接漏洞遭受重大損失。
該聲明認為，更強的驗證工具或許能幫助在部署前保護應用。
“卡爾達諾的根本價值主張是其高保證安全性，”代表在理由中說。
該聲明還指出，這種安全性往往需要昂貴的專家和審計。該提案旨在讓這些檢查更易於開發者使用。
它將Blaster的整合描述為在正常開發工作中支持安全性的一種方式。
另請閱讀：
開發者環境旨在降低設置門檻
該提案還包括一個基於容器的開發者環境。其目標是簡化卡爾達諾建設者的複雜設置步驟。
開發者環境可能需要多個工具、版本和配置步驟。提案表示，容器系統可以縮短設置時間，幫助開發者更快開始工作。
該代表表示，該環境可以將多日的配置壓縮成一鍵設置。
這一說法與入門有關，入門仍是區塊鏈開發者生態系統中的一個關鍵問題。
該提案還呼籲生態系統合作伙伴共同管理。該代表表示，這種方式支持韌性，並符合卡爾達諾的開源模式。
此次投票引起了對卡爾達諾治理和財庫使用的關注，也將安全工具置於當前生態系統辯論的核心。
該提案現在仍是卡爾達諾更廣泛治理流程的一部分。
支持者預計將關注財庫投票的進展，以及建設者對提議工具的反應。