Irreducible
irreducible.com
As featured in
Claim pageClaim
Follow
Overview
Connections
News
Salaries
Products
People
Growth
Offices
Financials
Funding and backers
Total raised
$24M
1 round on record
Latest round
$24M
Series A · Feb 2025 · 20 mo ago
Team
51-200
employees, estimated range
The money's age
Due for its next round
20 months since the last round · not hiring
Momentum
15/100
in the news
Last sign of life
1 mo ago
a posting or a news item
The story so fareach stage dated by its source: the company's releases, the press, registers, filings
Tractionpublic signals, read monthly
Web presence
top 2%
of 133.2M domains by links, Common Crawl
Hacker News stories
1
best: 2 points
Funding rounds
| Round | Date | Amount | Investors | Source |
|---|---|---|---|---|
| Series A | Feb 2025 | $24M | Paradigm lead, Bain Capital Crypto lead | crowdfundinsider.com |
Investors in similar startupsfunds that back the companies most like this one
Similar startupsby what they do, their industry and backers
Zero-Knowledge Proofs Made Simple and Scalable.
Ingonyama develops hardware acceleration for zero-knowledge proof generation, including GPU libraries and custom chip designs. Its…
Polyhedra Network builds zero-knowledge proof systems for interoperability and verifiable computation. Its zkBridge product proves the…
Argument builds ix: zero-knowledge proof-carrying code for Lean 4.
Fabric Cryptography designs specialised processors that accelerate the mathematics behind zero-knowledge proofs and homomorphic encryption…
NovaNet is a collaborative prover network that distributes zero knowledge proof generation across specialized nodes. Starting with zkML for…
Overview
Irreducible designs hardware and cryptographic systems that accelerate zero-knowledge proof generation. Its Binius proof system works over small binary fields, reducing the arithmetic cost of proving general computation. The company builds both the underlying protocol research and the silicon designed to run it.
News
Learn Go: Interactive Course
Learn Go (Golang) by writing real code in this interactive course. Practice structs, interfaces, errors, concurrency, and idiomatic backend patterns.
Read more
Report
Irreducible loops
The dominator tree lets us identify natural loops: a back edge T-H whose head H dominates its tail T defines a loop with the single entry H. This works only for reducible control flow graphs. Opti
Read more
Report
Report
Slicing Up Binary Towers: Accelerating Sumcheck on GPUs - Irreducible
We demonstrate high-throughput binary tower sumcheck on GPUs using bit-slicing, achieving a 4x speedup over CPU baseline
Read more
Report
Report
Report
Show more news
Offices
Where the company hires and what each office is for
Cities
1
Hiring now
0
Countries
1
New York
United States
HQ
50-200 est. staff
Financials
Total raised
$24M
Latest round
Series A
Funding rounds
1
Funding rounds
| Round | Announced | Amount | |
|---|---|---|---|
| Series A | 2025 | $24M | Details |