Veridise

Veridise

I develop program analysis tools at Veridise to catch security vulnerabilities in smart contracts and zk circuits. I also audit smart contracts and zk circuits, working with a team to search the source code for errors, attack the protocol, and run our tools against the contract.

Key Info

Credibility

Github Verified
LinkedIn Verified
LinkedIn Verified

News

There are no recent news for this organization.

Activity Timeline

There is no recent activity for this organization.

Team

Investments

There is no investment data on this organization.

Similar Companies