Xác minh bitcoin, với một bằng chứng STARK, trên một Rasbperry Pi, trong 25 mili giây, toàn bộ chuỗi tiêu đề mainnet, 16 năm lịch sử.