NEW
快讯列表

关于 zkVM 的快讯列表

时间 详情
2025-05-23
17:29
Leo编译器实现约束验证,提升zkVM执行安全性,推动零知识加密货币创新

据@1HowardWu透露,Leo编程语言已实现代码到约束的正确编译,确保zkVM能准确执行开发者意图,避免编译错误,从而增强了Aleo平台上零知识加密货币的安全性和可靠性。目前团队还在开发用于验证Leo程序功能正确性的工具,进一步减少智能合约风险,这一进展有望吸引更多交易者和机构关注隐私币板块(来源:https://twitter.com/1HowardWu/status/1925967212956770312)。

来源