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.


Start your day with top crypto insights from David Canellis and Katherine Ross. Subscribe to the Empire newsletter.

The Lightspeed newsletter is all things Solana, in your inbox, every day. Subscribe to daily Solana news from Jack Kubinec and Jeff Albus.

Tags

Upcoming Events

Salt Lake City, UT

WED - FRI, OCTOBER 9 - 11, 2024

Pack your bags, anon — we’re heading west! Join us in the beautiful Salt Lake City for the third installment of Permissionless. Come for the alpha, stay for the fresh air. Permissionless III promises unforgettable panels, killer networking opportunities, and mountains […]

recent research

Research report cover graphics (4).jpg

Research

Despite crypto gaming related projects and funds raising close to a billion dollars in November 2021, there have been only a handful of games that have attracted users apart from mercenary capital, and have had sustained activity for longer than a few months. Crypto gaming is going through an infrastructure phase. Theoretically, crypto gaming stands to benefit from purpose-built, high throughput chains, where blockspace is cheap (especially for games which are fully onchain). However, despite the launch of many gaming-focused chains, most crypto games are lacking in quality and quantity. Most new crypto gaming infrastructure either have no games or only a few games launched (e.g. Xai) or have failed to garner meaningful attention (e.g. Immutable X).

article-image

As Bloomberg analysts up their ether ETF approval odds, concerns about ETH’s liquidity and its possible status as a security remain

article-image

Ethereum is becoming a multilayered lasagna-like system, pushing people to the margins with its complexity and fees

article-image

Ether would be set to re-test its 2021 price high should the regulator unexpectedly approve ETH funds, industry watchers say

article-image

The Financial Innovation and Technology for the 21st Century Act, known as the FIT21 Act, is expected to head to the floor for a vote in the House in the afternoon on May 22

article-image

NYAG announced details about its settlement with bankrupt lender Genesis on Monday

article-image

The $948 million of inflows from May 13 to May 17 roughly equaled the net money that left the fund category over the five prior weeks