Skip to content

Possible Bug: Under constraint #120

@autoDetector

Description

@autoDetector

Vulnerable File: circuits/aes-gcm/utils.circom
commit: 65f823fc5606fca74440fb0de939ae07a3c39a80

WriteToIndex do not constrained constrain that index + n <= m described in the comments.

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