Публикации по теме 'zero-knowledge-proofs'
Машинное обучение с нулевым разглашением (ZKML): проекты, исследующие космос
За предыдущий год произошли значительные изменения в технологии с нулевым разглашением, и в 2023 году мы наблюдаем значительный рост ее внедрения в секторе блокчейнов.
Параллельно развертывание машинного обучения (ML) становится все более сложным. В настоящее время многие предприятия выбирают поставщиков ML как услуги (Amazon, Google, Microsoft и др.) для реализации сложных собственных моделей ML. С распространением этих услуг их становится все труднее проверять и понимать, что ставит..
Доказательства с нулевым знанием, которые так легко понять даже ребенку
Доказательства с нулевым разглашением представляют собой не только вершину современной криптографии, но зачастую и вершину путаницы в криптографии. В этом посте используются изображения, чтобы помочь прояснить эту путаницу. Ребенок или нет, но любой должен иметь возможность уйти с идеей о том, как использовать доказательство с нулевым разглашением.
Начнём с алгоритмов. Практически любой алгоритм можно представить как черный ящик с некоторым количеством входов и выходов.
Есть..
Обнародованы доказательства нулевого разглашения: от теории к практике с Алео.
Обнародованы доказательства нулевого разглашения: от теории к практике с Алео. Глава 1 из 10: Введение в доказательства с нулевым разглашением
1.1 Сущность доказательств с нулевым разглашением
Суть доказательств с нулевым разглашением (ZKP) состоит в том, чтобы позволить одной стороне (доказывающей) доказать другой стороне (проверяющей), что они знают значение x, не передавая никакой информации, кроме того факта, что они знают значение x. Иными словами, ZKP — это метод, с помощью..
Лео: новый язык программирования
Leo — это новый язык программирования, призванный упростить разработчикам создание децентрализованных приложений. Он предназначен для обеспечения высокоуровневого и выразительного синтаксиса, а также включает расширенные функции, специально предназначенные для децентрализованной среды.
Преимущества Льва
Одним из ключевых преимуществ Leo является его ориентация на безопасность. Язык был разработан с учетом безопасности, включая такие функции, как автоматическое управление памятью и..
Обнародованы доказательства нулевого разглашения: от теории к практике с Алео.
3.1 Понимание показателей эффективности в доказательствах с нулевым разглашением
Эффективность является одним из наиболее важных атрибутов любой вычислительной системы, и доказательства с нулевым разглашением (ZKP) не являются исключением. Говоря о ZKP, эффективность обычно относится к трем основным факторам: время проверки, размер проверки и время проверки. Эти факторы напрямую влияют на то, как быстро может быть сгенерировано доказательство с нулевым разглашением, сколько данных..
Доказательства с нулевым разглашением с использованием Bulletproofs
Доказательства с нулевым разглашением с использованием Bulletproofs
Здесь я покажу, как создавать различные доказательства с нулевым разглашением, используя Bulletproofs implementation из далек-криптографии . Примерами будут: i) доказательство знания факторов данного числа без раскрытия факторов, ii) доказательство диапазона, т. Е. Доказательство того, что вы знаете значение x такое, что a ≤ x ≤ b, не раскрывая x, iii) доказательство того, что значение у вас есть ненулевое..
Новые материалы
Кластеризация: более глубокий взгляд
Кластеризация — это метод обучения без учителя, в котором мы пытаемся найти группы в наборе данных на основе некоторых известных или неизвестных свойств, которые могут существовать. Независимо от..
Как написать эффективное резюме
Предложения по дизайну и макету, чтобы представить себя профессионально
Вам не позвонили на собеседование после того, как вы несколько раз подали заявку на работу своей мечты? У вас может..
Частный метод Python: улучшение инкапсуляции и безопасности
Введение
Python — универсальный и мощный язык программирования, известный своей простотой и удобством использования. Одной из ключевых особенностей, отличающих Python от других языков, является..
Как я автоматизирую тестирование с помощью Jest
Шутка для победы, когда дело касается автоматизации тестирования
Одной очень важной частью разработки программного обеспечения является автоматизация тестирования, поскольку она создает..
Работа с векторными символическими архитектурами, часть 4 (искусственный интеллект)
Hyperseed: неконтролируемое обучение с векторными символическими архитектурами (arXiv)
Автор: Евгений Осипов , Сачин Кахавала , Диланта Хапутантри , Тимал Кемпития , Дасвин Де Сильва ,..
Понимание расстояния Вассерштейна: мощная метрика в машинном обучении
В обширной области машинного обучения часто возникает необходимость сравнивать и измерять различия между распределениями вероятностей. Традиционные метрики расстояния, такие как евклидово..
Обеспечение масштабируемости LLM: облачный анализ с помощью AWS Fargate и Copilot
В динамичной области искусственного интеллекта все большее распространение получают модели больших языков (LLM). Они жизненно важны для различных приложений, таких как интеллектуальные..