10000 Double spending threat if no range check is done on public inputs in verifier · Issue #38 · clearmatics/zeth · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Double spending threat if no range check is done on public inputs in verifier #38
Closed
@AntoineRondelet

Description

@AntoineRondelet

We need to make sure that we constrain the public inputs to be <p in the verifier contract.
See: semaphore-protocol/semaphore#16

Metadata

Metadata

Labels

solidityTask related to the Solidity part of the code basevulnerability

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

    0