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