Исследование Microsoft о Magnetar может снизить затраты на доказательства в блокчейне
-
Почему нам можно доверять Как создаются наши новости Строгая редакционная политика, основанная на точности, актуальности и беспристрастности Отказ от ответственности за рекламу Morbi pretium leo et nisl aliquam mollis. Quisque arcu lorem, ultricies quis pellentesque nec, ullamcorper eu odio.
Кратко: Microsoft Research сообщает, что система Magnetar ускоряет создание доказательств обычного выполнения программ, используя стандартную криптографию на основе хеш-функций. Системы с нулевым разглашением позволяют проверить вычисления, не доверяя машине, которая их выполнила.
Одна из причин, по которой такие системы пока сложно внедрять, — затраты на создание доказательств. В анонсе Magnetar от 15 октября Microsoft Research предлагает решить эту проблему с помощью виртуальной машины, предназначенной для доказательства выполнения обычных программ.
Исследователи утверждают, что Magnetar поддерживает код, скомпилированный из Rust, Go и C, и в среднем работает в 10–39 раз быстрее некоторых сопоставимых систем создания доказательств в проведённых ими тестах.
-
© Newsbtc
-
Почему нам можно доверять Как создаются наши новости Строгая редакционная политика, основанная на точности, актуальности и беспристрастности Отказ от ответственности за рекламу Morbi pretium leo et nisl aliquam mollis. Quisque arcu lorem, ultricies quis pellentesque nec, ullamcorper eu odio.
Кратко: Microsoft Research сообщает, что система Magnetar ускоряет создание доказательств обычного выполнения программ, используя стандартную криптографию на основе хеш-функций. Системы с нулевым разглашением позволяют проверить вычисления, не доверяя машине, которая их выполнила.
Одна из причин, по которой такие системы пока сложно внедрять, — затраты на создание доказательств. В анонсе Magnetar от 15 октября Microsoft Research предлагает решить эту проблему с помощью виртуальной машины, предназначенной для доказательства выполнения обычных программ.
Исследователи утверждают, что Magnetar поддерживает код, скомпилированный из Rust, Go и C, и в среднем работает в 10–39 раз быстрее некоторых сопоставимых систем создания доказательств в проведённых ими тестах.
-
© Newsbtc
