ConsenSysMesh / ConsenSysMesh/web3studio-dONT
Create ECDSA Cryptol script
Open
- Dominant language
- Haskell
- Stars
- 9
- Forks
- 3
- PR merge metrics
- No merged PRs in 30d
Description
## Overview
As a participant in offchain protocols, I need ECDSA to verify that people are who they claim to be
- [Reference](links)
https://github.com/GaloisInc/saw-script/tree/master/examples/ecdsa
### Acceptance
A cryptol script that:
- takes as input a public key, and the associated ecdsa signature and outputs True
- takes as input a public key, and an incorrect ecdsa signature and output false
## Tasks
- Look at existing ecdsa spec at link above and gain an understanding of how it works
- make any necessary modifications to prepare for integration into dONT
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.