Microsoft Research представила систему доказательств Magnetar
- —Magnetar доказывает исполнение кода на Rust, Go и C
- —В 10–39 раз быстрее аналогов на бенчмарках Microsoft
- —Верификация доказательства занимает около 12 мс
- —Опора на хеш-функции снижает риск квантовых атак
Почему важно: Снижение стоимости доказательств может упростить верифицируемые вычисления вне сети и сложную логику смарт-контрактов, но выигрыш в продакшене не гарантирован.
Источник: NewsBTC
Ещё по теме
DeFi · 16 октВиталик Бутерин представил приватную систему для ИИ-агентов на Tor и zkAPI
DeFi · 12 октБутерин представил план обновления Ethereum до 2030 года с ZK-доказательствами
DeFi · 4 октRipple представила обновления XRPL: приватные переводы на zk-доказательствах и инфраструктура для ИИ-агентов