Irreducible
irreducible.com
As featured in
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Offices
Financials
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
Pro access
Upgrade to see all 23 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.
Offices
Where the company hires and what each office is for
Cities
1
Hiring now
0
Countries
1
New York
United States
HQ