Microsoft Research 的 Magnetar 系统如何影响区块链证明成本

TL;DR: Microsoft Research says its Magnetar system makes proofs of ordinary program execution faster while relying on standard hash-based cryptography. Zero-knowledge systems promise that a computation can be checked without trusting the machine that performed it. One reason they remain difficult to deploy is the cost…