diff --git a/README.md b/README.md index 022b4eab..5d679077 100644 --- a/README.md +++ b/README.md @@ -58,6 +58,8 @@ TOOLS + [PICUS: a static analyzer for verifying weak and strong safety for circom circuits](https://github.com/Veridise/Picus) ++ [Hardhat-zkit: the ultimate typescript environment for circom development](https://github.com/dl-solarity/hardhat-zkit) + More information about the notions of weak and strong safety in circom circuits [here](https://ieeexplore.ieee.org/document/10002421). [ico-website]: https://img.shields.io/website?up_color=blue&up_message=circom&url=https%3A%2F%2Fiden3.io%2Fcircom