search

whbjzzwjxq / ZKAP

MIT License
19 stars 3 forks source link

LessThan@comparators.circom is proved safe in ZKAP #2

Open Subway2023 opened 4 months ago

Subway2023 commented 4 months ago

LessThan@comparators.circom is proved safe in ZKAP. However, line57 says that TM can detect this bug.

TM detect result is as follows: 1721311099259 TM is none

whbjzzwjxq commented 1 month ago

Hi, Thanks for your continued attention to the repo. TM is none because we closed the detection of LessThan manually to avoid more false positives.