input-output-hk / input-output-hk/smartcode-verifier
[Issue]: Exploring and contributing to this tool
Open
to be triaged
- Dominant language
- No language data
- Stars
- 9
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
### Your contact information
vnc4g, phamtunggiang@gmail.com
### Issue description
I have experience working with the Aiken programming language. During development, I faced many challenges and spent a lot of time writing tests to find potential vulnerabilities in smart contracts. After discovering this repository and the related [post](https://www.iog.io/news/a-new-era-of-smart-contract-verification-on-cardano), I became interested in learning more about the tool and possibly contributing to it. Thanks!
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.