اثبات‌های ریاضی و پروتکل‌های احراز اصالت داده