[#miniscript-Node-Satisfy]
= xref:miniscript.adoc[miniscript]::xref:miniscript/Node.adoc[Node]::Satisfy
:relfileprefix: ../../
:mrdocs:

Produce a witness for this script, if possible and given the information available in the context. The non‐malleable satisfaction is guaranteed to be valid if it exists, and ValidSatisfaction() is true. If IsSane() holds, this satisfaction is guaranteed to succeed in case the node's conditions are satisfied (private keys and hash preimages available, locktimes satisfied).

== Synopsis

Declared in `<script/miniscript.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template<typename Ctx>
xref:miniscript/Availability.adoc[Availability]
Satisfy(
    Ctx const& ctx,
    std::vector<std::vector<unsigned char>>& stack,
    bool nonmalleable = true) const;
----

== Return Value

The availability of the requested satisfaction.

== Parameters

[cols="1,4"]
|===
| Name| Description
| *ctx*
| Context providing the satisfaction data (keys, preimages, timelocks).
| *stack*
| Output witness stack that receives the produced satisfaction.
| *nonmalleable*
| Whether to require a nonmalleable, signature‐backed satisfaction.
|===


[.small]#Created with https://www.mrdocs.com[MrDocs]#