Irreducible Team zkSNARK Binius zkVM Privacy Open Source
@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证明系统和本地证明,以推动可验证互联网的发展。 @IrreducibleHW は、ブログ記事 で企業の変革について論じており、ハードウェアからソフトウェアへの移行に焦点を当て、Binius proof system およびローカルプルーフを活用して検証可能なインターネットの発展を推進しています。
NotesNotes要点
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