ZKP, Gnark: AssertIsLessOrEqual работает с отрицательными числами?

Работает ли gnarks (каркас ZeroKnowledgeProof) AssertIsLessOrEqual с отрицательными числами и кривой ecc.BN254?https://pkg.go.dev/github.com/consensys/ [электронная почта защищена] /интерфейс

Кажется, что большинство вычислений, включая умножение, работает с отрицательными числами, но AssertIsLessOrEqual не работает должным образом, когда он имеет отрицательные параметры.

Источник

1 ответ

gnark/bn254 работает с числами без знака. Когда вы проходите, это

Что может ввести в заблуждение как frontend.API.Printlnбудет печатать как

AssertIsLessOrEqualрассмотрю -3в качестве 21888242871839275222246405745257275088548364400416034343698204186575808495614

Источник
Другие вопросы по тегам