Magnetar: общецелевые вычисления на основе доказательств с нулевым разглашением

Microsoft Research представила Magnetar — систему, использующую доказательства с нулевым разглашением (ZKP) для верификации результатов вычислений без их повторного запуска и раскрытия конфиденциальных данных. Решение поддерживает стандартные языки программирования, обеспечивает значительный прирост скорости и обладает устойчивостью к квантовым атакам.