gpt4 book ai didi

ZKP, 纳尔克 : Does AssertIsLessOrEqual work with negative numbers?

转载 作者:行者123 更新时间:2023-12-05 03:26:08 32 4
gpt4 key购买 nike

gnarks(ZeroKnowledgeProof 框架)AssertIsLessOrEqual 是否适用于负数和 ecc.BN254 曲线? https://pkg.go.dev/github.com/consensys/gnark@v0.7.0/frontend

似乎大多数计算(包括乘法)都适用于负数,但 AssertIsLessOrEqual 在具有负参数时无法按预期工作。

最佳答案

gnark/bn254 使用无符号数。当您传递 -3 时,它是 21888242871839275222246405745257275088548364400416034343698204186575808495614

frontend.API.Println 可能会产生误导,会将 21888242871839275222246405745257275088548364400416034343698204186575808495614 打印为 -3

AssertIsLessOrEqual 会将 -3 视为 21888242871839275222246405745257275088548364400416034343698204186575808495614

关于ZKP, 纳尔克 : Does AssertIsLessOrEqual work with negative numbers?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/71826404/

32 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com