Function canProveAtomicStatement

Checks whether a prover can fulfill an atomic statement with their attributes. Validates that the prover has the required attribute and that it satisfies the statement constraints.

Returns

True if the statement can be proven with the given attributes