Verazt Labs

[taquangtrung]

Verazt is a smart contract security toolkit that provides a set of tools performing static analysis, formal verification, and fuzz-testing to find security vulnerabilities in smart contracts.

Checklist for LF Decentralized Trust Lab Proposal PR

• Read README.md carefully
• Make sure your changes are committed with the proper sign-off
• Use the labs name as the PR title
• Copy the short description of the proposal as the description of the PR
• Remove this checklist section
• Submit your PR and the labs stewards will review your proposal
• Ask your sponsor to confirm sponsorship by stating so in a comment to the PR

[tkuhrt]

This looks like a good lab. I also just saw #328. You may want to eventually combine forces as I believe these will both be focused on the same thing.

Also, could you move this file to the labs/lfdt directory. All new labs should be placed under LFDT instead of Hyperledger.

[tkuhrt]

It looks like DCO needs to be fixed on this PR. Approving the lab.

[taquangtrung]

@tkuhrt: Thank you so much for the comments! I have re-pushed a new commit with sign-off.

[ryjones]

https://github.com/LF-Decentralized-Trust-labs/veratz

[taquangtrung]

https://github.com/LF-Decentralized-Trust-labs/veratz

@ryjones Thank you so much for creating the repository!

I just checked and saw that there is a typo in the repository name veratz. Our project name is Verazt.

Since I don't have permission to change the repo name, can you help change it to verazt?

[taquangtrung]

I also saw a typo in the team name: https://github.com/orgs/LF-Decentralized-Trust-labs/teams/veratz-committers

Can you help change it to verazt-committers too?

[taquangtrung]

@tkuhrt, @alvaropicazo, @ryjones: Thank you so much for approving our project!

The project name and the team name were also corrected. We really appreciate your help!

[taquangtrung]

Hi @ryjones, can you help to include our supervisors in the verazt-committers team at https://github.com/orgs/LF-Decentralized-Trust-labs/teams/verazt-committers?

Their GitHub accounts are:

• https://github.com/ooibc
• https://github.com/ooibc88
• https://github.com/xkxiao

Thank you very much in advance for your help!