Chialisp

本文介绍了Chia区块链所使用的智能合约编程语言Chialisp，它是一种Lisp的变体，用于解决比特币脚本在循环和结构化数据处理方面的局限性。文章详细阐述了Chialisp的设计原理，包括其基于二叉树的数据结构、操作码、运行环境、引用机制，以及递归与循环的实现方式，并对比了Chialisp和Bitcoin Script的差异，探讨了它的优点、缺点及未来发展。

该CHIP提议在Chialisp中增加新的ASSERT条件，包括断言区块高度或时间戳未达到、断言同一区块或spendbundle中发生另一个消费。此外，还增加了断言当前coin在指定区块高度或时间戳被确认的条件，以及确保coin spend是短暂的条件。同时，更新mempool逻辑，使其能够拒绝不再有效的coin spend。这些新条件主要用于实现过期的Offer，避免用户手动取消Offer。

该CHIP提案旨在为CLVM添加新的操作符，以增强签名功能，例如支持更复杂的BLS操作、零知识证明、计算找零等，同时引入新的SOFTFORK条件。这些操作符将分阶段引入，最初通过softfork guard访问，最终成为核心CLVM的一部分。此外，还通过硬分叉增加了新的AGG_SIG条件以支持不同的消息组合，并对块生成器进行了优化。