📢 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 million ADA 赞成票（Yes Vote）
卡尔达诺代表支持高保障提案，投票66.68M ADA赞成，聚焦智能合约安全工具。
一名卡尔达诺代表以66.68百万ADA投票支持名为“IO：卡尔达诺高保障技术合作”的国库提款提案。
该投票代表忠诚代表的意愿，支持旨在增强智能合约安全性和简化开发者入门的工具。
卡尔达诺国库提案获得大量赞成票
该代表表示，投票正式支持卡尔达诺高保障技术合作提案。
该提案专注于安全工具、开发者访问权限以及卡尔达诺生态系统内的技术合作。
赞成票以66.68百万ADA投出。该金额代表委托投票权，而不仅仅是个人持有。
该代表表示，投票是“代表我忠诚的代表们提交的”。
该提案寻求国库资金，用于与高保障开发相关的工具。
它重点关注形式验证，帮助开发者在软件发布前用数学方法测试软件。卡尔达诺长期倡导安全性和基于研究的开发。
该提案将高保障工具视为开发者的更广泛资源，而非仅限于专家的服务。
Blaster工具瞄准智能合约安全
该提案包括将Blaster形式验证工具嵌入卡尔达诺原生语言的计划。
列出的语言包括Aiken、Scalus、Pebble和Futura。形式验证可以帮助开发者检查代码是否符合定义的安全规则。
它还能降低与有缺陷的智能合约和应用逻辑相关的风险。代表表示，Web3已因智能合约和桥接漏洞遭受巨大损失。
声明认为，更强的验证工具可能有助于在部署前保护应用。
“卡尔达诺的根本价值主张是其高保障安全性，”代表在理由中表示。
声明还指出，这种安全性往往需要昂贵的专家和审计。该提案旨在让这些检查更易于开发者使用。
它将Blaster的集成为支持正常开发工作中安全的一种方式。
另请阅读：
开发者环境旨在降低设置门槛
该提案还包括一个基于容器的开发者环境。其目标是简化卡尔达诺开发者的复杂设置步骤。
开发者环境可能需要多个工具、版本和配置步骤。提案称，容器系统可以缩短设置时间，帮助开发者更快开始工作。
该代表表示，该环境可以将多天的配置压缩成一键设置。
这一说法与入门问题相关，入门仍是区块链开发者生态系统的关键问题。
提案还呼吁在生态系统合作伙伴之间实现共同管理。代表表示，这种方式支持弹性，并符合卡尔达诺的开源模式。
此次投票引起了对卡尔达诺治理和国库使用的关注，也将安全工具置于当前生态系统讨论的核心。
该提案现已成为卡尔达诺更广泛治理流程的一部分。
支持者预计会关注国库投票的进展，以及开发者对提议工具的反应。