- proof that satisfies final sigma proposition
- user-defined variables to be put into context
- user-defined variables to be put into context
- proof that satisfies final sigma proposition
(Since version ) see corresponding Javadoc for more information.
Proof of correctness of tx spending