Skip to content

Incorrect IsZero usage in ByteInc #12

@autoDetector

Description

@autoDetector

Vulnerable File: circuits/ctr.circom
commit: 4984d68467b87ddf14c2e725dcfb753be3c92528

carry <== IsZero()(addedDiff); is not valid circom. You may instantiate a component: component iz = IsZero(); iz.in <== addedDiff; carry <== iz.out;

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions