Ethereum

random

Bitcoin

Ethereum co-founder Vitalik Buterin has introduced a new cryptographic protocol called Circle STARKs that promises to improve blockchain security and efficiency.
In his latest <a href="https://vitalik.eth.limo/general/2024/07/23/circlestarks.html" target="_blank" rel="noopener noreferrer nofollow">post</a>, Buterin explains that this technological leap utilizes smaller fields like Mersenne31 to significantly improve proving speed without compromising security measures.
<blockquote data-ct-non-breakable="true">
 “The most important trend in STARK protocol design over the last two years has been the switch to working over small fields.”
</blockquote>
Related: <a href="https://cointelegraph.com/news/hoskinson-counters-buterin-pro-crypto-voting" rel="noopener noreferrer nofollow">Charles Hoskinson rejects Vitalik Buterin’s view on pro-crypto voting</a>
<h2 id="smaller-fields-bigger-gains">Smaller fields, bigger gains</h2>
According to the post, traditional Scalable Transparent ARguments of Knowledge (STARKs) operate over 256-bit fields, which, while secure, are typically inefficient.
Circle STARKs leverage smaller fields, resulting in reduced computational costs, faster-proving speeds and more efficient gains, such as verifying 620,000 Poseidon2 hashes per second on an M3 laptop.
Buterin notes that previous STARK implementation made smaller fields “naturally compatible with verifying elliptic curve-based signatures” but “led to inefficiency” due to the large numbers involved.
Related: <a href="https://cointelegraph.com/news/vitalik-buterin-pro-crypto-friendly-politicians" rel="noopener noreferrer nofollow">Vitalik Buterin warns of politicians claiming to be ‘pro-crypto’</a>
<h2 id="circle-stark-security">Circle STARK security</h2>
Traditional small fields have limited possible values and can become exposed to brute-force attacks.
Circle STARKs counteract this vulnerability by performing multiple random checks and using extension fields, expanding the set of values that attackers need to guess.
This security measure creates a computational prohibitive barrier for attackers, maintaining the protocol’s integrity.
<blockquote data-ct-non-breakable="true">
 “With STARKs over smaller fields, we have a problem: there are only about two billion possible values of x to choose from, and so an attacker wanting to make a fake proof need only try two billion times—a lot of work, but quite doable for a determined attacker!”
</blockquote>
Related: <a href="https://cointelegraph.com/news/starkware-verifies-first-zero-knowledge-proof-on-bitcoin" rel="noopener noreferrer nofollow">StarkWare verifies first zero-knowledge proof on Bitcoin</a>
<h2 id="practical-implications">Practical implications</h2>
The Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI) prove that a function is a polynomial of a certain degree and is a crucial aspect of Circle STARKs.
Introducing Circle FRI, an approach that maintains the integrity of the cryptographic process, Circle STARKs ensure that non-polynomial inputs fail the proof.
Circle STARKs offer more flexibility and versatility for efficient computational performance by utilizing small fields and this new mathematical structure.
Magazine: <a href="https://cointelegraph.com/magazine/pudgy-penguins-pixelverse-ether-etfs-price-impact-hodlers-digest-july-14-20/" rel="noopener noreferrer nofollow">Pudgy Penguins lands in Pixelverse, Ether ETFs, and more: Hodler’s Digest, July 14-20</a>

Vitalik Buterin introduces Circle STARKs for blockchain efficiency

Table of Contents

Cointelegraph

Other articles published on Jul 23, 2024

August Memecoin Madness: Top Picks from Crypto Experts

Donald Trump Addresses Bitcoin Event

2024’s top Altcoin investments: discover the next big crypto winners

Are Spot Ethereum ETFs Bullish For ETH Price? Analyst Reveals Bullish Setup

Dormant Ethereum ICO Wallet with $3.4M Awakens After 9 Years

Why I Don't Consider Trading Pepe Right Now — An Ichimoku Deep Dive Into Pepe 🔍

Join our free newsletter for daily crypto updates!