64
Growth Score in past quarter
pts
Heat Score 64 in past quarter
-6 pts
Company Performance Metrics
Score
Trend
AI Content may contain mistakes and is not legal, financial or investment advice.Learn more.
Growth Score - The measure of growth based on company activity, operational metrics, and investments
Growth Trend - The change in the growth score over the given time period
Heat Score - The measure of the market interest, media activity, and Crunchbase profile activity
Heat Trend - The change in the heat score over the given time period
Recent Milestones
Raised Funding Round
Jan 1, 1970
Lorem ipsum dolor sit amet, consectetur
Raised Funding Round
Jan 1, 1970
Lorem ipsum dolor sit amet, consectetur
Raised Funding Round
Jan 1, 1970
Lorem ipsum dolor sit amet, consectetur
See more interactive data and historical milestones on desktop for the best experience
1776454
A company working to secure social infrastructure systems, including cryptocurrencies, through formal verification technologies.
About the Company
We are a company that works on the security of social infrastructure systems such as cryptocurrencies by formal verification technology such as type system, static analysis, model checking, and theorem proving.