Browse Companies
Discover companies hiring across Latin America
Loading companies...
Discover companies hiring across Latin America
Showing 1 to 2 of 2 companies
Certora is a blockchain security company that focuses on formal verification tools and audits for smart contracts, particularly on platforms like Ethereum, Solana, and Stellar. The company protects over $100 billion in Total Value Locked (TVL) and was founded as a Series B startup, raising $36 million in 2022 from notable investors such as Jump Crypto and Electric Capital. The flagship product, Certora Prover, is an automated formal verification tool that analyzes smart contract bytecode against specifications. It offers features like push-button verification, integration with CI/CD pipelines, and real-time error tracking. Certora also provides tiered security solutions, including self-service tools, comprehensive security audits, and enterprise solutions with dedicated expert support. The company emphasizes high code coverage and expert rule-writing, making it a trusted partner for leading DeFi projects.
Cloud Development Environments with one click