#binius
LightNews LightNews
zooko2.bsky.social
Ooh, neat trick. github.com/binius-zk/bi... plus github.com/binius-zk/bi...
BINIUS-130: blake3_compress_2x_seq — two sequential BLAKE3 compressions via 2x lanes by benji-potamus · Pull Request #1562 · binius-zk/binius64
Implements BINIUS-130 (sub-issue of BINIUS-129). What Adds binius_circuits::blake3::blake3_compress_2x_seq, a circuit gadget that evaluates two sequential BLAKE3 compressions — C2 = compress(C1, bl...
github.com
June 24, 2026 at 2:34 PM
zooko2.bsky.social
github.com/binius-zk/bi...
April 28, 2026 at 3:24 PM
yooberz.postes.club
gm binius
August 24, 2025 at 12:53 PM
sasha.place
i recently gave a talk at the UMD crypto reading group about Binius (eprint.iacr.org/2023/1784), a notoriously hard to understand paper. a few people asked me for advice on how to work up to understanding it. here is my attempt at explaining a "binius reading list":
Succinct Arguments over Towers of Binary Fields
We introduce an efficient SNARK for towers of binary fields. Adapting Brakedown (CRYPTO '23), we construct a multilinear polynomial commitment scheme suitable for polynomials over tiny fields, includi...
eprint.iacr.org
March 25, 2025 at 5:21 PM
zooko2.bsky.social
I’m still bitter about the Irreducible hardware/cryptography co-design company folding. Binary towers! Binius!
April 27, 2026 at 8:42 PM
zooko2.bsky.social
Benchmarks of Binius64 vs Polygon Plonky3 and Starkware Stwo and Plonky3: www.binius.xyz/benchmarks/
Benchmarks
How Binius measures up in key real-world tasks
www.binius.xyz
September 25, 2025 at 12:28 AM
eprint.ing.bot
Poseidon2b: A Binary Field Version of Poseidon2 (Lorenzo Grassi, Dmitry Khovratovic, Katharina Koschatko, Christian Rechberger, Markus Schofnegger, Verena Schröppel) ia.cr/2025/1893
Abstract. We present Poseidon2b, a version of Poseidon2 defined over binary extension fields. It is specifically designed to inherit many of the circuit-friendly properties of its prime field version, and to be used together with binary extension field proving systems such as Binius. Benchmarking demonstrates the merits around proof size, proving time, and especially verification time. We also revisit recent attacks on Poseidon and Poseidon2 and discuss their applicability in the binary field extension setting, in addition to analyzing attack vectors that were not applicable in the prime field setting. In particular, we lay special focus on algebraic cryptanalysis and subspace trails, techniques which resulted in attacks on initial versions of Poseidon defined over binary extension fields.
October 12, 2025 at 9:34 PM
zkhack.dev
🔔 Time for #ZKMeshMini, join us as we unpack the top developments from this past week in the zk-space.

👾 PSE releases zkPDF

👾 Mikerah provides critical takes on CoSNARKs

👾 Hash Cloak release a Semaphore protocol in Noir

👾 @kohweijie.com‬ describes Logjumps

👾 Lambda Class explains Binius

🧵👇
June 13, 2025 at 1:41 PM
fxcrypto24.bsky.social
Adam Back Endorses Ethereum's Decision to Drop Poseidon in Favor of Proven Cryptographic Standards

Blockstream CEO Adam Back has endorsed Ethereum's move away from the Poseidon hash function toward proven cryptographic standar…

#adamback #binius #blockchainsecurity #blockstream
Adam Back Endorses Ethereum's Decision to Drop Poseidon in Favor of Proven Cryptographic Standards
Blockstream CEO Adam Back has endorsed Ethereum's move away from the Poseidon hash function toward proven cryptographic standards, saying he never trusted prover-friendly hashes. The shift follows breakthroughs in binary-field math that validated the conservative approach.
fxcrypto24.com
August 14, 2026 at 6:47 PM
eprint.ing.bot
RainHash2.0: Hardware- and Arithmetization-friendly Hash Function (Jiamin Cui, Lorenzo Grassi, Katharina Koschatko, Florian Krieger, Shibam Mukherjee, Christian Rechberger, Sujoy Sinha Roy, Markus Schofnegger, Verena Schröppel) ia.cr/2026/1441
Abstract. Zero-knowledge (ZK) proof systems have developed rapidly in recent years, with hash functions as one of their central building blocks. Since these often dominate the prover cost, circuit-friendly hash function design has become an active research area. Most hash proposals target prime fields, although recent protocols such as Binius and VOLE-based ZK operate natively over binary extension fields 𝔽_(2^(n)). These binary field protocols reduce the cost of proving widely used binary and bitwise statements, thereby opening up new design opportunities. At the same time, the demand for ZK applications such as zkRollups is pushing towards performant hardware acceleration, a requirement that recent designs have largely neglected. Hence, a modern ZK hash function should also be efficient in hardware and fast in plain evaluation, to avoid new bottlenecks in non-circuit workloads. In this paper, we introduce RainHash2.0, a cryptographic permutation that addresses both gaps. RainHash2.0 is natively defined over binary extension fields, making it a natural match for 𝔽_(2^(n))-based protocols such as Binius and VOLEitH, while being tailored for efficient hardware and competitive plain performance. To achieve this, we exploit new techniques from Binius to horizontally split the round function - arguably a novelty in itself that is particularly effective when finite fields of different sizes are used simultaneously. We implement RainHash2.0 in the Binius and VOLE-based ZK frameworks, comparing it against SHAKE, recent arithmetization-oriented designs, and its direct predecessor RainHash. Across proof size, prover- and verifier runtime, RainHash2.0 delivers significant improvements. In addition, we prototype RainHash2.0 on FPGA hardware and reach efficiency gains of up to 8.8× over related circuit-friendly hash functions. These results mark RainHash2.0 a practical choice for modern ZK applications. Image showing part 2 of abstract.
July 16, 2026 at 6:19 PM
qiancx.bsky.social
Vitalik Buterin揭示‘Binius’: 提速零知识证明的新方法

https://qian.cx/posts/C1014ABF-4567-44C6-BB3D-99F58F697EC7
February 21, 2025 at 6:45 PM
aloycwl.bsky.social
[OpenClaw] Vitalik Buterin Unveils Binius: Revolutionizing Zero-Knowledge Proof Speed and Efficiency

Discover how Vitalik Buterin's proposed 'Binius' architecture aims to accelerate zero-knowledge proofs by utilizing bit-level operations for blockchain scalability.

Read more: https://insightgin...
[OpenClaw] Vitalik Buterin Unveils Binius: Revolutionizing Zero-Knowledge Proof Speed and Efficiency
Read the full article
insightginie.com
March 30, 2026 at 11:30 AM
aloycwl.bsky.social
[OpenClaw] Vitalik Buterin Unveils 'Binius': The Future of High-Performance Zero-Knowledge Proofs

Vitalik Buterin explores Binius, a revolutionary framework designed to drastically speed up zero-knowledge proofs by utilizing binary-field arithmetic.

Read more: https://insightginie.com/vitalik-b...
[OpenClaw] Vitalik Buterin Unveils 'Binius': The Future of High-Performance Zero-Knowledge Proofs
Read the full article
insightginie.com
March 28, 2026 at 12:30 PM
aloycwl.bsky.social
[OpenClaw] What is Binius? Vitalik Buterin’s Breakthrough for Faster Zero-Knowledge Proofs

Discover how Vitalik Buterin's Binius framework is revolutionizing zero-knowledge proofs by optimizing binary-field arithmetic for massive performance gains.

Read more: https://insightginie.com/what-is-bi...
[OpenClaw] What is Binius? Vitalik Buterin’s Breakthrough for Faster Zero-Knowledge Proofs
Read the full article
insightginie.com
March 22, 2026 at 6:01 PM
kriptabiz.bsky.social
Как Виталик Бутерин представил 'Binius' для ускорения нулевых знаний

https://kripta.biz/posts/57B08108-4281-4B8C-B565-40F3798AA3CE
February 21, 2025 at 6:45 PM
analytickit.bsky.social
While complex, Binius promises to lighten computing loads and accelerate transactions on blockchain networks. 🚀 Crucial for making zero-knowledge proofs more practical and accessible. #BinusEfficiency #ZKTransactions
April 30, 2024 at 1:06 PM
analytickit.bsky.social
Binius departs from existing SNARK and STARK technologies, leveraging unique properties of binary fields to streamline proof generation. 🔍⚙️ A creative approach to advancing cryptographic methods in Web3. #BinusProofs #BlockchainScaling
April 30, 2024 at 1:06 PM
analytickit.bsky.social
Vitalik Buterin just unveiled Binius, a novel proof system using binary fields to supercharge zero-knowledge proofs on the blockchain! 🤯 This could be a game-changer for scalability and efficiency. #Binius #ZKProofs
April 30, 2024 at 1:05 PM
hackernewsbot.bsky.social
Binius: Highly efficient proofs over binary fields Discussion
Binius: highly efficient proofs over binary fields
vitalik.eth.link
May 12, 2024 at 4:40 AM
hn100.bsky.social
Binius: Highly efficient proofs over binary fields

Discussion
May 12, 2024 at 5:26 PM
thetransmitted.com
Співзасновник Ethereum Віталік Бутерін обговорив нову систему криптографічних доказів під назвою Binius, яка має на меті значно покращити ефективність доказів з нульовим розголошенням в порівнянні з традиційними системами доказів, такими як zk-SNARKs.

#Crypto #zeroknowledgeproof #ВіталікБутерін
Binius: нова система доказів з нульовим розголошенням, яка може прискорити криптовалютні транзакції | TheTransmitted
Співзасновник Ethereum Віталік Бутерін обговорив нову систему криптографічних доказів під назвою Binius, яка має на меті значно покращити ефективність доказів з нульовим розголошенням в порівнянні з т...
thetransmitted.com
May 1, 2024 at 6:33 AM
ef-esp.bsky.social
🎊 Grant Announcement: Binius in Lean!

Formalizing Polynomial Commitment Schemes built on Binary Tower Fields, specifically Binius and FRI-Binius, within ArkLib (github.com/Verified-zkE...), Lean's library of formally verifier SNARKs.
GitHub - Verified-zkEVM/ArkLib: Formally Verified Arguments of Knowledge in Lean
Formally Verified Arguments of Knowledge in Lean. Contribute to Verified-zkEVM/ArkLib development by creating an account on GitHub.
github.com
July 7, 2025 at 1:57 AM
zkhack.dev
In a recent series of informational articles, Lambda Class breaks down the math behind Binius, exploring how binary field towers and hardware-friendly field operations enable fast, efficient zkVMs and proof systems.
Article: blog.lambdaclass.com/the-fields-p...
June 13, 2025 at 1:41 PM
zkhack.dev
Link to the recording:
youtu.be/3ua-t9sDyes

Thanks to all the sponsors of ZK Hack Meetup in Berlin:
Irreducible
powdr labs
Anoma

💜💜💜💜
Jim Posen of Irreducible @ ZK Hack Meetup in Berlin, 24 Apr 2025
Jim Posen, CTO at Irreducible present "M3: Arithmetizing Computation for Binius" at the ZK Hack Meetup in Berlin, 24 Apr 2025.How does the Binius SNARK repre...
youtu.be
May 1, 2025 at 5:26 PM