Skip to content

Zero component arrays in GenerateCounterBlocks #13

@autoDetector

Description

@autoDetector

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

Component GenerateCounterBlocks will fail for edge cases (e.g., n=1), and component ivByteInc[n-1][16] will be ivByteInc[0][16].

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