在Raspberry Pi上, 用STARK證明驗證比特幣, 在25毫秒內, 整個主網頭鏈, 16年的歷史。