You Can Now Prove a Whole Blockchain With One Math Problem – Really