Vitalik Buterin talks ways to make zk proofs more efficient

Binius operates over binary code and is designed to store information using bits

share

Vitalik Buterin, the co-founder of Ethereum, has released a new blog post discussing a new cryptographic proving system that can make zero-knowledge proofs more efficient.

The proving system, called Binius, is designed to operate directly over binary code on computers. Binary code is a language understood by computers, and it is used to store information and represents data using the symbols zero and one, otherwise known as bits. 

Although there are some similarities between STARKs and Binius, Buterin explains that the mathematical tricks that enable these different proving systems are very different. 

Generally speaking, STARKs is a technology that has enabled complicated statements to be easily cryptographically verified. It is designed in a way that can easily compute numbers when they are of small value, when there are large values, STARKs generate extra values, which can lead to inefficiency. 

Unlike STARKs that “arithmetize” a statement into a polynomial equation — a mathematical expression which model a relationship between variables in a block — Binius treats data as a hypercube and grid, and uses multilinear polynomials to perform cryptographic proofs.

Loading Tweet..

Binius converts individual values into bits and places them in a hypercube and a square. This hypercube is then converted into a grid and computations are performed in order to receive an output matrix. 

A verifier will then perform its own computational calculations to ensure that the information itself matches and ensure that the compute columns returns a value claimed by the prover.

“I highly encourage people to understand and explore! Lots of innovations have been happening in ZK-proving recently. And I expect lots more to come soon,” Buterin wrote in an X post.


Get the news in your inbox. Explore Blockworks newsletters:

Tags

Decoding crypto and the markets. Daily, with Byron Gilliam.

Upcoming Events

Old Billingsgate

Mon - Wed, October 13 - 15, 2025

Blockworks’ Digital Asset Summit (DAS) will feature conversations between the builders, allocators, and legislators who will shape the trajectory of the digital asset ecosystem in the US and abroad.

recent research

Research Report Templates.jpg

Research

Figure, founded by former SoFi CEO Mike Cagney, has emerged as a leader in onchain RWAs, with ~$17.5B publicly tokenized. The platform’s ecosystem volume is growing ~40% YoY as it expands beyond HELOCs into student loans, DSCR loans, unsecured loans, bankruptcy claims, and more. Operationally, Figure cuts average loan production cost by ~93% and compresses median funding time from ~42 days to ~10, creating a durable speed-and-cost advantage.

article-image

The reserve will collect protocol revenues to back W token, alongside new yield and unlock schedule

by Blockworks /
article-image

Layer 2 network Taiko integrates Chainlink Data Streams to deliver reliable onchain market data for DeFi and institutions

by Blockworks /
article-image

The license will allow Bullish to operate in New York under strict digital asset rules

by Blockworks /
article-image

The derivatives giant expands crypto offerings with new Solana and XRP futures options, pending regulatory review

by Blockworks /
article-image

Nasdaq-listed firm to fund Solana token purchases and expand its blockchain-focused treasury strategy

by Blockworks /
article-image

The partnership deepens liquidity and lowers conversion costs as demand for regulated stablecoins grows worldwide

by Blockworks /