Verity: Formal Verification for Smart Contracts
Raised: $5
WHO?
We’re LFG Labs, founded by Thomas and Ben.
Before Verity, we shipped security-focused products on Ethereum for the last 3
years. Here is a quick look at what we built in the last year:
* Lucid: Gnosis Safe mobile signer built with Nexus Mutual, while doing so, we
uncovered a high-severit...