اثبات کار یک الگوریتم اجماع است که توسط برخی ارزهای دیجیتال، از جمله بیت‌کوین، استفاده می‌شود. این الگوریتم از ماینرها می‌خواهد تا برای تأیید تراکنش‌ها و ایجاد بلوک‌های جدید، معماهای ریاضی پیچیده‌ای را حل کنند. این فرآیند نیازمند قدرت محاسباتی و مصرف انرژی قابل توجهی است.