Публикации по теме '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 . Для получения..