Fun

Researchers identify key circuit layer vulnerabilities in SNARK systems

News Feed - 2024-08-09 05:08:42

Ana Paula Pereira3 hours agoResearchers identify key circuit layer vulnerabilities in SNARK systemsA study by Imperial College London examined 141 vulnerabilities in SNARK systems, mostly impacting system soundness and completeness.419 Total views1 Total sharesListen to article 0:00EventOwn this piece of crypto historyCollect this article as NFTCOINTELEGRAPH IN YOUR SOCIAL FEEDFollow ourSubscribe onAccording to researchers at Imperial College London, vulnerabilities at the circuit layer pose the most significant threat to systems based on Succinct Non-Interactive Arguments of Knowledge, or SNARKs. 


The investigation examined 141 vulnerabilities from 107 audit reports, 16 vulnerability disclosures, and various bug trackers associated with popular SNARK projects. The findings were presented on Aug. 7 at the Science of Blockchain Conference held at Columbia University.


SNARKs are a type of zero-knowledge (ZK) proof that allows one to demonstrate that a statement is true without revealing any information about the statement.


According to Stefanos Chaliasos, a PhD candidate at Imperial College London, the research team identified three main types of vulnerabilities in circuit layers — under-constrained, over-constrained and computational/hints error:“The majority of vulnerabilities are in the circuit layer, and the majority is also soundness response, which is the worst part that can happen when you use Zkps because basically, in the context of a ZK-rollup, if there is such a bug and someone wants to exploit it, then all the funds could be drained from the circuit layer.”


The most frequent vulnerability found on zero knowledge circuits arises from insufficient constraints, which cause a verifier to accept invalid proofs, compromising a system’s soundness or completeness. Per the research, 95 of the identified issues on SNARK-based systems affected soundness and four affected completeness.


“The primary challenge for developers lies in adapting to a different level of abstraction and optimizing circuits for efficiency, which directly impacts the cost of using SNARKs,” notes the paper.


Root causes for vulnerabilities on ZK circuits include distinguishing between assignments and constraints, missing input constraints, and unsafe reuse of circuits, among others.Source: SoK: What Don’t We Know? Understanding Security Vulnerabilities in SNARKsWeighted VRFs


The first day of the conference also featured the Aptos team presenting their recently implemented weighted verifiable random functions, or weighted VRFs — a mechanism designed to enhance the randomness in the consensus process.


The approach extends the concept of VRFs by incorporating weights into the random selection process of verifying inputs and outputs onchain. With weights, participants in the consensus mechanism have different probabilities of being chosen based on their stake (weights).


Aptos deployed the mechanism on its mainnet in June. “As far as you can tell, this is the first time you see a previously granular script that is unbiaseable, unpredictable, and operates as fast as the network,” noted Alin Tomescu, head of cryptography at Aptos.


According to Tomescu, Aptos has processed half a million calls through the new randomness API, with the distributed key generation (DKG) lasting about 20 seconds.“Our randomness latency, which is the latency measured from the time a block is committed to the time the randomness for that block is available, was initially 160 milliseconds. But we were able to bring this down to 25 milliseconds using some optimizations.”# Blockchain# Research# zk-RollupAdd reaction

News Feed

Amaka Nwaokocha11 hours agoSouth Korea strengthens crypto regulation with LEI adoption and crime unitThe decision was driven by the country’s concern over illicit activities in the crypto market and the desire to safeg
Jesse Coghlan1 hour agoMarathon Digital Q2 results miss revenue and earnings forecastsDespite the earnings miss, Marathon"s CEO said it mined a record 2,926 Bitcoin over the second quarter of 2023.379 Total views1 Total
Bitcoin price taps $64.7K as US CPI shows core inflation at 3-year low
William Suberg9 hours agoBitcoin price taps $64.7K as US CPI shows core inflation at 3-year lowBitcoin gets a much-needed boost from increasing optimism about the Federal Reserve’s course to cutting interest rates.4758
Crypto Market Sees Record Flash Crashes, What’s Going On?
Este artículo también está disponible en español. The crypto market has experienced an unprecedented surge in volatility, with established coins like Bitcoin and Ethereum
Spot Ethereum ETF launch delayed by SEC comments
Amaka Nwaokocha12 hours agoSpot Ethereum ETF launch delayed by SEC commentsThe SEC commented on the S-1 forms and requested resubmissions by July 8, potentially delaying the launch of spot Ether ETFs until mid-to-late Ju
XRP Bulls Eye $5 Target: Key Levels To Watch For Potential Breakout
Reason to trust Strict editorial policy that focuses on accuracy, relevance, and impartiality Created by industry experts and meticulously reviewed The highest standards in reporting and pu
XRP Price To Hit $45? Here’s What Happens If It Mimics 2017 And 2021 Rallies
Reason to trust Strict editorial policy that focuses on accuracy, relevance, and impartiality Created by industry experts and meticulously reviewed The highest standards in reporting and pu
Binance Pay and GoCrypto Bring Crypto Payments Closer to Everyday Use
Binance Pay and GoCrypto Bring Crypto Payments Closer to Everyday Use press release PRESS RELEASE. GoCrypto, a solution allowing merchants to accept, store, withdraw and buy cryptoc
Spot Ethereum ETFs seen with over $1B in trading volume on debut
Brayden Lindrea57 minutes agoSpot Ethereum ETFs seen with over $1B in trading volume on debutBloomberg ETF analyst Eric Balchunas said the $625 million in trading volume excluding Grayscale’s ETHE was “healthy” and
Crypto Analyst Predicts 1,500% Pump As Litecoin Grows Against Bitcoin
Este artículo también está disponible en español. Litecoin has been gaining momentum in recent weeks, and according to crypto analyst Tony “The Bull” Severino
Panamanian Lawmakers to Hold Discussions on Regulating Cryptocurrencies in the Country
Panamanian Lawmakers to Hold Discussions on Regulating Cryptocurrencies in the Country Panamanian lawmakers will start to analyze a draft bill that seeks to regu
Three Fronts in the Global Digital Currency Wars
Jeremy Allaire is co-founder, CEO and chairman of Circle, a global financial services company that provides a platform for individuals, institutions and entrepreneurs to build businesses, invest and raise capital with op