Trades on 2 secondary markets

Certora

Certora is a smart-contract security company whose core product is the Certora Prover, a state-of-the-art automated formal-verification engine that checks every possible contract state and execution path to find critical vulnerabilities in smart contracts running on EVM-based chains, Solana, Stellar

thin 30.6 / 100 0 APIs View provider profile →

Company Security Formal Verification Smart Contracts Blockchain Developer Tools

Certora is an API provider whose private shares are listed on 2 secondary markets: Hiive, Nasdaq Private Market.

Where It Trades

H Hiive View listing → N Nasdaq Private Market View listing →

Listing data is compiled from the public marketplace pages of Forge Global, Hiive, EquityZen, Nasdaq Private Market, and Augment. A listing indicates that a venue has published a page for this company — it is not an offer, a quote, or investment advice, and APIs.io has no affiliation with any venue.