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

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