Back to Organizations
Irreducible
Irreducible (formerly Ulvetanna) is a research and development company building a high-performance verifiable computing platform to power a 'verifiable internet'. Specializing in zero-knowledge proofs (ZKPs), they create cost-efficient and fast proving technology by co-designing cryptographic algorithms, custom hardware (FPGAs), and software. They serve the web3 ecosystem as a professional prover and contribute open-source tools like the Binius proof system, collaborating with projects such as Polygon and RISC Zero.
Berlin, DE
Description
Irreducible (formerly Ulvetanna) is a company building the infrastructure for a 'verifiable internet' where trust is mathematical rather than assumed. They specialize in accelerating the adoption of zero-knowledge proofs (ZKPs) by making them fast, cost-efficient, and easy to compute. Their approach involves a full-stack, unified system that co-designs cryptographic algorithms, custom digital logic, and infrastructure. Their technology stack features the Binius Proof System, a hardware-optimized SNARK using binary field towers, an FPGA-accelerated architecture, and bare-metal infrastructure in their own data centers. The Binius software stack is open-source under an Apache 2.0 license to support the broader ZK community. Irreducible operates as a professional prover for web3 networks, providing reliable proof generation for protocols like ZK-rollups and ZK-bridges, and collaborates with major projects like Polygon and RISC Zero to integrate their acceleration technology.Grant Funding
VC Funding
None
2025
$0
$24M