第1,2,3代STARK证明系统位宽分别为252,64和32bit，编码效率虽有提高，但仍有浪费空间；Binius直接对位操作，编码紧凑高效，很可能是未来的第4代STARK。

在比特币中，用户的任意行为均需要通过UTXO实现。因此，使用POW共识机制确保UTXO正确，则能够抵抗任意攻击。类似，在DLC中，对CET添加乐观挑战机制，则能够确保CET的正确执行，从而能够抵抗任意攻击。符合大道至简，具有简洁美。

跨链原子交换因其trustless assumption、即时结算、且无需大量的预签和复杂的挑战流程等轻量级特性，尤其适合用作BitVM跨链桥的重要补充，为普通用户提供资产进出的快速通道。基于适配器签名的原子交换技术，可有效降低链上空间占用，且具有比HTLC更好的隐私性。

本文介绍了BIP-327 MuSig2多签协议在当下最火四个领域（Inscription, Restaking, BitVM co-sign, Custody）的应用。

DLC原理解析及其优化思考

BitVM技术探索才刚刚开始，未来将探索和实践更多的优化方向，以实现对比特币的扩容，繁荣比特币生态。

借助Taproot和BitVM等技术，将可在DLC内实现更复杂的链下合约验证结算，同时结合OP挑战机制，实现预言机信任最小化。