رمزنگاری مدرن و اثبات‌های دانش‌صفر