ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Thu 星期四
09.11
2025
Reinventing Irreducible https://www.irreducible.com/posts/reinventing-irreducible
@IrreducibleHW discussed company transformation in their blog, moving from hardware to software, focusing on Binius proof system and local proofs, to drive the development of verifiable internet. @IrreducibleHW 团队在博客中讨论了公司转型，从硬件转向软件，专注于Binius证明系统和本地证明，以推动可验证互联网的发展。
Notes
- Strategic pivot: From hardware to software, focused on proof systems
- Technical focus: CPU-optimized Binius64 proof system
- Hardware abandoned: Due to weak demand and GPU ecosystem advantages
- Privacy focus: Local verification for privacy applications
- Licensing: Prover AGPL, verifier Apache
- Vision: Building verifiable internet with ZK proofs