Skip to content

commitment hash > field prime results in failed root check in the circuit #80

Description

@ChaitanyaKonda

When commitment hash is greater than the prime of the field, the root calculated is different from the one provided by the sibling path. At application level, this can be handled by ensuring the commitment hash is never greater than prime of the field, by picking a salt that will ensure this. This should not be considered as a permanent solution. This should be rectified in timber which is the source.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions