Garden is our project to formally verify zero-knowledge circuits: https://formal.land/docs/tools/garden/introduction
Reach out to us if you are interested in auditing your circuits!
We are happy to contribute to the security of the advanced operations written in zero-knowledge technology.
Reach out to us if you are interested in auditing your circuits!
We are happy to contribute to the security of the advanced operations written in zero-knowledge technology.
Comments