-
Notifications
You must be signed in to change notification settings - Fork 0
Open
Labels
bugSomething isn't workingSomething isn't working
Description
The proof should have some way of defending against malleability-related attacks, such as including the prover's address in the proof.
This should be fixed before the production version!
Steps to fix:
- Make sure Hub's proof function not only checks merkle root but also checks malleability. We could let the proof designers check for malleability in the verifier contract instead of enforcing this at the Hub level, making the protocol a little more flexible. However, I don't see a clear use for that. And if we can forget to check for malleability now, a third-party proof designer may forget to check it later, when it is more mission-critical. Thus, it would be slightly advisable to check it at the Hub contract, to put security over flexibility. But if a use case of that is found, it would be worth revisiting this
- Implement appropriate tests for step 1 (or even do this step first)
- Re-upload the proving and verifying keys to S3
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't working