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