Finding and Understanding Miscompilation Bugs in the Solidity Compiler
Smart contract compilers are critical to ensuring the correctness of public blockchains whose defining characteristics are open-source and immutable code. We created SolSmith, a semantics-aware differential fuzz testing tool, to improve the
https://arxiv.org/abs/2607.07217v1 ↗Thesis fit
Good fit
Within your typical scope; diligence still required.
In your usual scope
Idea match
Moderate
How close the company’s idea is to your thesis statement
Sector
ai
Overlap with sectors you care about
Geography
Unknown
Location unknown — scores 0
Your thesis: “We back exceptional technical founders building AI-first products and infrastructure, deploying $100K checks within 24 hours.”
Founder ↑ improving
Traction → stable
Idea vs market ↓ declining
▸ Add / edit details
Correct facts used on the next screening or memo.
Activity & evidence
Similar baseline plays (YC · idea space)
Rainbow
· Active
Open-source, design centric software for interacting with blockchains
founders not scraped yet
Quicknode
· Active
Tools & infra to build and scale high-quality blockchain applications.
founders not scraped yet
Sequence Markets
· Active
Low-latency execution across crypto, prediction, and tokenized assets
founders not scraped yet