Memverifikasi bitcoin, dengan bukti STARK, pada Rasbperry Pi, dalam 25 milidetik, seluruh rantai header mainnet, 16 tahun sejarah.