Veridise
Popular repositories Loading
-
Picus
Picus PublicForked from chyanju/picus
Automated verification of uniqueness property for ZKP circuits
-
Medjai
Medjai PublicForked from chyanju/__archived__Medjai
A Symbolic Execution Tool for Cairo
Racket 52
-
zk-language-comparison
zk-language-comparison PublicExamples of Mastermind implemented in different ZK languages and frameworks.
-
audithub-mcp
audithub-mcp PublicConnect AI agents to AuditHub’s blockchain security tools. Launch scans, review findings, monitor tasks. Open source, Apache 2.0.
Python 15
Repositories
- audithub-mcp Public
Connect AI agents to AuditHub’s blockchain security tools. Launch scans, review findings, monitor tasks. Open source, Apache 2.0.
Veridise/audithub-mcp’s past year of commit activity - picus-schema Public
Veridise/picus-schema’s past year of commit activity - Ziren Public Forked from ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Veridise/Ziren’s past year of commit activity - audithub-sdk Public
Veridise/audithub-sdk’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…