Описание тега gnark
1
ответ
ZKP, Gnark: AssertIsLessOrEqual работает с отрицательными числами?
Работает ли gnarks (каркас ZeroKnowledgeProof) AssertIsLessOrEqual с отрицательными числами и кривой ecc.BN254?https://pkg.go.dev/github.com/consensys/ [электронная почта защищена] /интерфейс Кажется, что большинство вычислений, включая умножение, р…
11 апр '22 в 10:41
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
ответов
Как реализовать проверку >=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