Veridise
Veridise is a blockchain security company founded by a team of world-class researchers. We specialize in auditing smart contracts and blockchain implementations and possess particular expertise in zero-knowledge-related audits. We have also developed in-house program analysis and security tools, built using our cutting-edge research on automated program analysis, fuzzing, and formal verification. We've earned the trust of clients such as the Manta Network, Succinct, Semaphore, Circom-lib, Scroll, and Ribbon Finance.
Veridise is a blockchain security company founded by a team of world-class researchers. We specialize in auditing smart contracts and blockchain implementations and possess particular expertise in zero-knowledge-related audits. We have also developed in-house program analysis and security tools, built using our cutting-edge research on automated program analysis, fuzzing, and formal verification. We've earned the trust of clients such as the Manta Network, Succinct, Semaphore, Circom-lib, Scroll, and Ribbon Finance.
11 to 50
$201 - $300
2021
USA
President and Co-founder
CEO and Co-founder
Chief Technology Officer
Chief Research Officer
Head of Cryptography
Lead Security Analyst
Blockchain Australia Solutions is Australia's leading blockchain devel...
51 to 250
$300+
2012
Australia
Ekoios Technology is the world-class web3 technology partner to bring...
51 to 250
$26 - $50
2015
Vietnam, USA