<!--StartFragment--> 原文:Champagne SuperNova, incrementally verifiable computation 作者:Not a Monad Tutori...