Microsoft Magnetar Brings Verifiable Computation Closer to Ordinary Code

TL;DR: Magnetar is a Microsoft Research system designed to prove program execution efficiently using conventional…