Stacks区块链技术应用Clarity程序编写语言为智能合约给予适用。Clarity将自身与最多见的智能合约语言区别起来，关键有两个缘故：•可判断语言：图灵（不）完备性是设备的一种属性，假如它可以被编号，那麼理论上（没法）处理所有问题。殊不知，处理“一切”问题需要的時间显而易见是不明的，也不一定是上界的。像Solidity那样的图灵完备程序编写语言具备普遍的技术性概率，但绝大多数的时间都未应用。实际上，gas花费耗费实体模型降低了软件程序设计的基础理论范畴，并促进开发人员挑选更简易、更简洁的智能合约构造。殊不知，图灵完备的语言提升了不正确的面积，并使撰写防黑客代码越来越愈发艰难。Clarity编号语言是可判断的（图灵不详细）。这使其更为安全性，而且有利于开发人员在运作以前查询编码将实行的实际操作。•表述编码：此属性容许没法财务审计智能合约编码的非技术性客户在运作智能合约以前在UI中精确查询它们的账户余额将产生哪些。迁移证实(PoX)和质押贷款比特币区块链上的传统式劳动量证实体制通常是那样作业的：挖矿耗费算率来猜想前一个区域的哈希值，第一个可以达到这一点的人会接到BTC做为其勤奋的奖赏。
