究竟什么是比特币的「限制条款」？为什么能吸引到如此多的开发人员持续数年的关注和讨论？能实现比特币的哪些可编程性？