Veridise
Hardening Blockchain Security with Formal Methods
Verified
We've verified that the organizationVeridise controls the domain:
- veridise.com
Popular repositoriesLoading
- Picus
Picus PublicForked fromchyanju/Picus
Automated verification of uniqueness property for ZKP circuits
- Medjai
Medjai PublicForked fromchyanju/__archived__Medjai
A Symbolic Execution Tool for Cairo
Racket 51
- zk-language-comparison
zk-language-comparison PublicExamples of Mastermind implemented in different ZK languages and frameworks.
Repositories
Showing 10 of 34 repositories
- zk-language-comparison Public
Examples of Mastermind implemented in different ZK languages and frameworks.
Veridise/zk-language-comparison’s past year of commit activity