مبانی رمزنگاری و اثبات‌های ریاضی