sigmastate.interpreter
Proof of correctness of tx spending
- proof that satisfies final sigma proposition
- user-defined variables to be put into context
Proof of correctness of tx spending