אימות רשמי

שימוש בהוכחות מתמטיות קפדניות כדי להבטיח תכונות מסוימות של קריפטוגרף.