Описание тега zk-snark

Вопросы с тегом
2 ответа

Как создать учетную запись ZkSync?

В документации ZkSync говорится, что для создания новой учетной записи необходимо сделать депозит с существующей учетной записи Ethereum на несуществующую учетную запись ZkSync. Однако метод , который используется для внесения депозита, уже принимае…
25 апр '22 в 05:10
1 ответ

Выходной сигнал на основе двух других наших сигналов

Я пытаюсь написать схему, чтобы доказать, что число находится в указанном диапазоне. Я использую библиотеку circomlib: файл https://github.com/iden3/circomlib/tree/master/circuits comparators.circuit. Мой код до сих пор таков: template RangeProof(n)…
05 май '22 в 14:36
0 ответов

Можно ли реализовать zk-snarks в этом сценарии использования?

Я хочу сделать что-то похожее на децентрализованное приложение для конкурса популярности домашних животных. Насколько я понимаю, это будет включать неинтерактивное доказательство с нулевым разглашением. Есть приложение со списком питомцев, участвующ…
04 июн '22 в 14:40
2 ответа

Количество проводов в цепи ZKP Circom больше ожидаемого

Я компилирую эту простую схему: pragma circom 2.0.0; template Multiplier2() { signal input a; signal input b; signal output c; c <== a*b; } component main = Multiplier2(); и компилятор говорит 4 провода: circom 1.circom --r1cs --wasm --sym --c te…
03 янв '23 в 16:12
0 ответов

доказательство диапазона в zk-snark

Задача примерно такая. Алиса должна отправить деньги Бобу, но так, чтобы сумма осталась скрытой. Как это сделать, если в блокчейне хранятся только «скрытые» балансы? Как я могу доказать кому-то, что мой баланс положительный после перевода? Другими с…
15 янв '23 в 08:26
1 ответ

Ошибка утверждения Circomlib на простом хеше MimcSponge

Я играю с circom и circomlib. Я использую простую схему хеширования mimcsponge и смотрю, смогу ли я создать правильный ввод через интерфейс javascript. Схема, которую я запускаю template sponge_test() { signal input l; signal input r; signal input o…
05 сен '22 в 02:20
1 ответ

Ошибка: файл zkey не является groth16 в circom

■ Информация о выпуске Когорта3-Неделя1-Часть2-4-1 1. Вы столкнетесь с ошибкой, если просто измените snarkjs groth16 setup к snarkjs plonk setup. Устраните эту ошибку и ответьте на следующий вопрос: чем процесс компиляции с помощью PLONK отличается …
20 июн '22 в 08:33
0 ответов

Система R1CS - выбор поля

Привет, коллеги-математики, я пытаюсь построить систему ограничений для ZK SNARK, но мои ответы лежат за пределами пустого поля. Можете ли вы указать мне, какие моменты я должен иметь в виду, прежде чем выбирать поле?
15 окт '22 в 07:06
1 ответ

Blazor вызывает SnarkJS

Для SnarkJS (https://github.com/iden3/snarkjs) есть пример HTML, показывающий, как использовать их библиотеку javascript ES6: <!doctype html> <html> <body> <script src="snarkjs.min.js"> </script> <script> async fu…
02 сен '22 в 17:14
3 ответа

Что именно доказывает ограничение схемы Circom a * b?

Я использую эту схему согласно официальной документации: pragma circom 2.0.0; /*This circuit template checks that c is the multiplication of a and b.*/ template Multiplier2 () { // Declaration of signals. signal input a; signal input b; signal outpu…
06 янв '23 в 19:06
0 ответов

Входная строка переменной длины в circom?

Я хотел бы показать, что пользователь знает прообраз хэша sha256 в circom. Прообраз может быть любой длины, но реально от 100 до 700 байт. Я пробовал код: template ArbitraryLengthSha256 () { signal input nBits; signal input preimage[nBits]; signal o…
11 июн '22 в 00:41
0 ответов

Генерация zk proof через zokrates-js в браузере длится НАМНОГО дольше, чем при генерации через zokrates cli.

Я тестирую zokrates-js (пакет javascript) в браузере и генерирую доказательства через угловое приложение. Генерация пруфов в командной строке zokrates занимает менее 2 минут. Но когда я запускаю ту же операцию в браузере (через угловое приложение), …
05 авг '22 в 12:27
0 ответов

Snarkjs- Доказательство по-прежнему подтверждает неверность свидетеля

Очень новичок в ZKsnarks. Я пытаюсь создать простое приложение, чтобы проверить, соответствует ли введенный номер определенному заранее определенному числу или нет. Я выполнил все шаги, указанные в документе SnarkJs . Вот схема для моего варианта ис…
10 сен '22 в 18:09
0 ответов

Как написать ограничения для схемы zk-SNARK

Нужна помощь в определении ограничений для схемы zk-SNARK Всем привет! Я разрабатываю SDK zk rollup, и мне нужна помощь в определении ограничений для схемы. В настоящее время у меня нет доступа к эксперту по криптографии, и я ищу ресурсы или членов …
13 фев '23 в 14:59
0 ответов

Несоответствие Pedersen circom/circomlibjs?

В качестве модульного теста для более крупного варианта использования я проверяю, действительно ли хэш Педерсена, который я делаю во внешнем интерфейсе, совпадает с ожидаемым хэшем, полученным через цепь обхода. Я использую простое утверждение в схе…
09 сен '22 в 11:20
0 ответов

Как я могу составить солидный контракт для защиты анонимности пользователей?

Могу ли я составить солидный контракт для защиты анонимности пользователей?
30 июн '22 в 14:03
1 ответ

как использовать gnark v0.8.0 для проверки MIMC?

Может ли кто-нибудь сказать мне, как выполнить проверку MIMC с помощью gnark v0.8.0 и gnark-crypto v0.9.1? мой код как поток package main import ( "fmt" "github.com/consensys/gnark-crypto/ecc" bn254 "github.com/consensys/gnark-crypto/ecc/bn254/fr/mi…
10 мар '23 в 12:18
0 ответов

Почему snarkjs, работающий на Node.js, выдает экземпляр std::bal_alloc?

Я запускаю snarkjs поверх Node.js на машине Linux x64 с 256 ГБ ОЗУ, и у меня есть схема zk-SNARK, состоящая из ограничений ~28M. Я хочу выполнить командуsnarkjs zkey newдля создания файла zkey из схемы, скомпилированной с помощью circom, но когда за…
05 авг '23 в 09:12
0 ответов

Как реализовать проверку >=0 в gnark для целых чисел без знака, когда a может быть любым целым числом (отрицательным или положительным) в чистом виде?

У меня есть следующий блок кода в чистом виде. for i := 0; i < 10; i++ { if val[i]>=0{ postcheck[i] = val[i] bitpostcheck[i] = 1 } else { postcheck[i] = 0 bitpostcheck[i] = 0 } } может быть отрицательным или положительным целым числом в открыт…
27 май '23 в 00:33
1 ответ

Хеш-функция Sha256 в Circom

Во время хакатона ETH Global Paris пыталась интегрировать циркум-схему с хешированием даты рождения, чтобы доказать, что пользователь знает дату, следуя известному руководству по среднему языку. Вот его код pragma circom 2.0.0; include "./circomlib/…
25 июл '23 в 00:41