关于 satisfier 的中文软件包

比特币Miniscript,一种用于描述比特币消费条件的高级语言. 它包括一名编译员/分析员,并配有一名征兆员--agnostic satisfier,可以产生象征性的证人(例如: " sig(key) " ).