Публикации по теме 'zero-knowledge-proofs'
Давайте раскроем истинную силу доказательства с нулевым разглашением (ZKP) через структуру Tornado Cash Coding!
На основании Википедии определение доказательства с нулевым разглашением (ZKP) выглядит следующим образом:
… доказательство с нулевым разглашением или протокол с нулевым разглашением — это метод, с помощью которого одна сторона (доказывающая сторона) может доказать другой стороне (проверяющей стороне), что данное утверждение истинно, в то время как доказывающая сторона избегает передачи какой-либо дополнительной информации, кроме того факта, что утверждение действительно верно. Суть..
Виктор Синт Николаас (Aleo) представляет Zero Gravity на конференции сообщества Aleo (26 апреля).
Zero Gravity — первый рабочий пример модели ZKML с невесомой нейросетью. Расшифровка ценных цитат из недавней телеконференции сообщества Aleo (26 апреля). Ссылка на запись разговора .
Виктор: Всем привет. Расскажу немного о проекте хакатона, который мы проводили с Лео. Поэтому я надеюсь, что это будет интересно для людей, которые создавали или планируют использовать Aleo, используя программное обеспечение, а также получить представление о том, что именно может сделать этот..
Круговая схема с доказательством нулевого разглашения, чтобы определить, является ли данный ввод фактором 9 или нет
Предпосылка
Установить Node.js https://nodejs.org/en/download (v18.14.2) Установить circom https://docs.circom.io/getting-started/installation/ (компилятор vcircom 2.1 .5) Установите circomlib https://www.npmjs.com/package/circomlib (v2.0.5) Установите snarkjs https://www.npmjs.com/package/snarkjs (v0.6.10)
Краткий обзор
Доказательство с нулевым разглашением (ZKP) — это тип математического доказательства, который позволяет проверять данные без раскрытия самих данных или..
Диссертация: построение цепочки уровня 1 с сохранением конфиденциальности машинного обучения
Новая эра конфиденциальности и эффективности данных
В мире блокчейна и криптовалюты конфиденциальность и эффективность имеют первостепенное значение. Один из моих тезисов — построить цепочку уровня 1 с сохранением конфиденциальности машинного обучения; Я считаю, что мы стоим на пороге новой эры конфиденциальности и эффективности данных.
Текущее состояние машинного обучения и конфиденциальности данных
Мой путь в области машинного обучения начался в Didi, где я был частью команды по..
Компилятор и компонуемость в ZKP
В пятницу, 15 июля, мы пригласили четырех экспертов из Polygon Miden, O(1) Labs, Risc0 и Circom, чтобы поделиться своим мнением о компиляторе ZKP и компонуемости. Вот популярные темы и основные моменты, которые мы выбрали из выступлений.
Запись можно найти на нашем YouTube-канале здесь: https://www.youtube.com/watch?v=zRngElDdUNE . Вы можете присоединиться к нашему групповому чату Telegram для обсуждения ZKP здесь: https://t.me/+Uh9eaB-LYP84YTgx .
Bobbin Threadbare: передача..
Начало работы с libsnark
В этой серии из двух частей мы поговорим о том, как начать работу с библиотекой libsnark . Мы рассмотрим два очень полезных руководства и попутно дадим дополнительные комментарии.
Учебник Говарда Ву
Для новичка вашим первым портом захода должен стать превосходный учебник одного из главных участников libsnark — Говарда Ву. В README содержатся пошаговые инструкции по созданию простого приложения, которое генерирует пример доказательства zk-SNARK (на основе протокола Groth-16) и..
Вот расчеты для произведения A, B и C на s.
Вот расчеты для произведения A , B и C на s.
Итак, А. с * Б. с - С. s:
t = [-88.0, 592.666, -1063.777, 805.833, -294.777, 51.5, -3.444]
Результат получается расширением в виде полиномов и оперированием с ними, а не оперированием матрицами, как это делается здесь .
Z = [24, -50, 35, -10, 1]
Этот результат здесь .
h = t / Z = [-3.666, 17.055, -3.444]
Мне удалось получить этот результат в виде серии Тейлора на виджете Wolfram Alpha .
Для получения..