Hot answers tagged

1

The two have very little to do with one another. Minsc is a scripting tool for defining keys. Sapio is a compiler framework for defining covenant contracts. You could, if you wanted, use Minsc from Sapio as a plugin for defining the unlocking conditions in any given Sapio program path, but you could not use Sapio inside of Minsc in the same way. Sapio does ...


1

excerpted from Designing Bitcoin Contracts with Sapio How do we think about Smart Contracts and CTV? Before CTV, in most Bitcoin smart contracts, we think at the key-level. That is, what is a complex set of signers and satisfactions to unlock a specific coin. But once we unlock a coin, the smart contract usually does not encode any further restrictions on ...


1

Minsc has a runtime environment with a Policy data type that gets constructed as the result of evaluating the program. The program evaluation could be considered part of the compilation process, in which case you could say that Minsc compiles to Policy but it is also possible to consider this evaluation as the runtime and say that Minsc doesn't compile at ...


Only top voted, non community-wiki answers of a minimum length are eligible