simple-crypto / SCALib

Side-Channel Analysis Library
GNU Affero General Public License v3.0
74 stars 18 forks source link

FactorGraph.sanity_check: check compatibility in generic factors. #130

Closed cassiersg closed 2 months ago

cassiersg commented 7 months ago

The current FactorGraph.sanity_check considers generic factors as always satisfied. We should have a way to check that the probability is non-zero (or, at least for the sparse factors, that the entry appears in the factor).

Follow-up of #129

cc @rishubn