📢 股票资产上链,全球首发尽在 Gate!
Gate 携手 @xStocksFi 与 @BackedFi,正式上线全球首个股票衍生品市场,开启链上股票交易新纪元!
支持$TSLA, $NVDA, $CRCL, $AAPL 等热门股票:
💥 可加杠杆、做多做空
💰 全USDT计价,轻松管理风险收益
🔒 实物资产 100% 抵押
🔁 多链流转自由无阻
🌐 RWA × Web3,全新交互方式
CeFi 与 TradFi 的边界,已经彻底打破。
了解详情:https://www.gate.com/announcements/article/45926
#xStocksOnGate#
Cardano推出新工具,以在智能合约漏洞破坏区块链之前发现它们 - 加密货币经济
TL;博士
卡尔达诺推出了一款新工具,旨在提高其生态系统内智能合约的安全性。
它被称为Plinth,一个自动化测试用Plutus编写的合约的资源,目的是揭示可能在网络部署后触发漏洞的罕见缺陷。
 Plinth是如何工作的?
Plinth使用一种称为基于属性的测试的方法,它自动生成各种输入,以评估合约在不同场景下的表现。这种技术有助于发现传统测试中常常被忽视的边缘案例中的意外行为。其目标是在合约发布到区块链之前最小化风险。
![卡尔达诺价格上涨,而鲸鱼储备超过120亿美元:这意味着什么?]###https://img-cdn.gateio.im/webp-social/moments-3b4a5f5b49b40520ea4486467a7c1959.webp(
与其他系统不同,Plinth 原生集成到 Plutus 工作流中。开发人员无需切换环境或重写代码即可使用它。这种兼容性简化了测试过程,并且允许覆盖更广泛的案例,而无需增加技术复杂性。通过自动化这些控制,开发过程变得更快,更可靠。
Cardano 正在升级其整个生态系统
在此之前,Cardano上的智能合约 主要通过手动方法或提供有限范围的工具进行测试。这种情况导致了在早期发现微妙错误方面的缺口,这可能导致操作问题或财务损失。Plinth解决了这一弱点,并扩展了开发者可用的验证选项。
该工具的推出与Cardano生态系统中的其他最新更新同时进行,例如新的措施以防止区块创建操控和优化交易速度。这些举措旨在加强网络的不同方面,从技术性能到已部署合约的稳定性。
![Contratos inteligentes 智能合约帖子])http://img-cdn.gateio.im/social/moments-b292a04d1e81c0eaf91c1c1b71626c36019283746574839201
Plinth不仅提高了Cardano代码的质量,还减少了在实时环境中出现关键错误的可能性。它的添加对于需要高安全标准和长期运营稳定性的项目至关重要。借助这个工具,Cardano正在朝着为去中心化应用开发提供更强大基础设施的方向发展。