Microsoft Research представила систему Magnetar для обоснованного вычисления с использованием доказательств нулевого знания
Система позволяет проверять результаты вычислений без их повторного выполнения, обеспечивая высокий уровень безопасности и прозрачности процесса.
Microsoft Research представила Magnetar, новую систему для обоснованного вычисления с использованием доказательств нулевого знания.
Эта технология позволяет получать короткие доказательства о правильности выполнения программы, которые можно проверить быстро и без необходимости доверять исполнителю или знать детали входных данных.
Magnetar поддерживает программы на языках Rust, Go и C, и работает быстрее предыдущих систем в 10-39 раз.
Безопасность системы основана на стандартных хеш-функциях, что делает ее устойчивой к будущим угрозам.
Что пока неизвестно
Информация о конкретных программах, которые поддерживаются, не указана в источнике.
Источники
Источник не открывается?
Оригинальная страница может быть временно недоступна. Попробуйте открыть её позже; название и дата источника сохранены выше.