מדי יום אנחנו נתקלים בסיטואציות בהן אנו נדרשים להוכיח טענות. למשל, כדי לעשות sign in לחשבון אימייל צריך להוכיח לשרת שאנו יודעות את סיסמת הכניסה לחשבון. הוכחות אלו שונות מההוכחות שפגשנו בביה"ס היסודי (למשל, הוכחת משפט פיתגורס) – הן עשויות לכלול אינטראקציה, רנדומיזציה, ופעמים רבות נדרשות להיות יעילות מאוד בתקשורת ו/או חישוב. מערכות הוכחה קריפטוגרפיות מבטיחות כי טענות שגויות נדחות בסיכוי גבוה, ובעלות יתרונות רבים שאינם אפשריים בהוכחות סטנדרטיות, כמו למשל שימור הפרטיות של המוכיח, וידוא יעיל (תת ליניארי) של ההוכחה, ועוד.