[−][src]Trait miniscript::miniscript::satisfy::Satisfiable
Trait describing an AST element which can be satisfied, given maps from the public data to corresponding witness data.
Required methods
fn satisfy<F, H>(
&self,
keyfn: Option<&mut F>,
hashfn: Option<&mut H>,
age: u32
) -> Result<Vec<Vec<u8>>, Error> where
F: FnMut(&P) -> Option<(Signature, Option<SigHashType>)>,
H: FnMut(Hash) -> Option<[u8; 32]>,
&self,
keyfn: Option<&mut F>,
hashfn: Option<&mut H>,
age: u32
) -> Result<Vec<Vec<u8>>, Error> where
F: FnMut(&P) -> Option<(Signature, Option<SigHashType>)>,
H: FnMut(Hash) -> Option<[u8; 32]>,
Attempt to produce a witness that satisfies the AST element