مبانی نظری استخراج‌کننده‌های تصادفی و پروتکل‌های اثبات