Synthetic Minds secures smart contracts using program synthesis.
A profile says who they are. Ask what it means: market size, ARR estimated from headcount, number of competitors, and implied runway and burn. Answered with sources.