Описание тега zkp
1
ответ
ZKP, Gnark: AssertIsLessOrEqual работает с отрицательными числами?
Работает ли gnarks (каркас ZeroKnowledgeProof) AssertIsLessOrEqual с отрицательными числами и кривой ecc.BN254?https://pkg.go.dev/github.com/consensys/ [электронная почта защищена] /интерфейс Кажется, что большинство вычислений, включая умножение, р…
11 апр '22 в 10:41
1
ответ
Как преобразовать байт типа в Kyber.Scalar в Go
Я использую метод kyber.scalar в Go . Я хотел бы отправить свои данные ( kyber.scalar ) с программированием сокетов и могу прочитать другую программу. Когда я читаю, я не могу снова вернуться к типу kyber.scalar . Это мой код для отправки r := suite…
11 май '22 в 09:32
0
ответов
Асимметричное шифрование: не зная владельца открытого ключа подписывающей стороны
Я работаю в большой консалтинговой фирме, и у нас есть платформа, которая обменивается данными с несколькими крупными компаниями. Мы пытаемся усовершенствовать платформу, на которой предприятия смогут размещать данные. Рабочий процесс, который мы ст…
09 мар '22 в 10:43
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
1
ответ
Последовательность сообщений с нулевым разглашением
У меня есть несколько серверов (для резервирования), отправляющих данные клиентам. Клиенты должны обрабатывать эти сообщения последовательно и игнорировать дубликаты. Мы используем внешнюю информацию для определения специальной строки последовательн…
26 авг '22 в 11:20
1
ответ
Как решить вопрос о сравнении двух входных данных с помощью функции IsEqual?
Я работаю над прохождением теста для хакерского дома, где мне нужно сравнить два входных данных, используяIsEqualфункция. Пожалуйста, предоставьте код и его объяснение. Спасибо!
11 июл '23 в 13:31
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
0
ответов
Внедрение grpc в gnark v0.8.1, как преобразовать доказательство, ключ проверки и публичный свидетель в собственный тип?
В гнарке v0.8.1, Сначала нам нужно преобразовать эти 3 в нативные, т. е. мы конвертируем их в[]byte. Я попробовал реализоватьSerialize()иDeSerialize(), но я сталкиваюсь с ошибками. Проблема: Groth16.Proof — это интерфейс, и его реализация зависит от…
02 авг '23 в 11:04
1
ответ
Преобразование Felt252 в ContractAddress в Каире
Как создать ContractAddress из шестнадцатеричного значения, например? let addr : ContractAddress = 0x06D98dC7ea54CF77eeD141F423f6007Dd61fbd2b6bD429Facdf5d4803353063f;выдает исключение, утверждающее, что0x06D98dC7ea54CF77eeD141F423f6007Dd61fbd2b6bD42…
10 май '23 в 16:12
0
ответов
Почему Iden3 использует 253-битные слоты для заявок
Я изучаю протокол Iden3 и заметил, что Iden3 проектирует свои слоты утверждений размером 253 бита, а не более распространенным 256-битным размером. Мне любопытно узнать конкретные причины этого выбора. Я заметил, что в утверждении типа AuthBJJCreden…
27 ноя '23 в 15:30