Plutus核心UPLC评估模式差异分析：从1.30到1.31版本的变更影响

在Plutus核心（Plutus Core）项目的开发过程中，1.31.0.0版本引入了一个值得注意的行为变更，该变更影响了UPLC（Untyped Plutus Core）脚本的评估结果输出方式。本文将深入分析这一变更的技术背景、产生原因以及对开发者可能造成的影响。

问题现象

当使用不同版本的uplc命令行工具评估同一个UPLC脚本时，开发者发现1.30.0.0版本和1.31.0.0版本产生了不同的输出结果。具体表现为：

• 1.30.0.0版本输出形如(delay (lam i2 (lam i3 i2)))的结构
• 1.31.0.0版本则输出(delay (lam i2 (lam i3 i3)))的结构

这种差异看似微小，但实际上反映了底层变量绑定机制的改变，可能对依赖精确评估结果的测试用例造成影响。

技术背景

Plutus Core使用两种内部形式表示UPLC AST中的变量名：

1. 带有唯一标识符的字符串
2. 带有de Bruijn索引的字符串

当uplc评估脚本时，它使用第二种形式（de Bruijn索引），并且如果是从flat格式解码的，文本部分保持为空。在输出评估结果时，系统会将文本名称转换为"i"加上一个整数。

变更原因

这一行为变化源于1.31.0.0版本中对打印模式的默认设置变更。具体来说：

• 1.30.0.0版本默认打印唯一标识符
• 1.31.0.0版本默认改为打印de Bruijn索引

这种变更原本是为了减少混淆，但实际上却可能造成更多困惑，特别是对于那些依赖精确输出格式进行测试验证的开发者。

解决方案

开发者可以通过显式指定--print-mode Classic参数来保持与1.30.0.0版本一致的行为。这个参数会强制使用传统的打印方式，确保评估结果的稳定性。

打印模式详解

Plutus Core提供了几种打印模式：

1. Classic模式：保留原始变量绑定关系，输出稳定可靠
2. Simple模式：简化输出，主要用于golden测试，牺牲了部分正确性以保持测试稳定性
3. Debug模式：提供更详细的调试信息

需要注意的是，Simple模式虽然在某些场景下有用（如golden测试），但不适合用于需要精确结果的场景，因为它可能会丢失或改变部分变量绑定信息。

对开发者的建议

1. 在关键测试中始终明确指定--print-mode Classic参数
2. 避免依赖Simple模式的输出进行功能验证
3. 升级到1.31.0.0或更高版本时，检查现有测试用例是否受此变更影响
4. 对于需要稳定输出的场景，考虑固定UPLC工具的版本

未来改进

项目团队已经意识到这一问题，并计划进一步改进打印模式的默认行为和文档说明，以减少开发者的困惑。可能的改进方向包括：

• 更清晰的模式选择文档
• 更智能的默认模式选择策略
• 改进的变量绑定表示方式

这一案例也提醒我们，在编译器或语言工具的设计中，输出稳定性和向后兼容性是需要特别关注的重要方面。