• BTC Dominance: %
XBT.Market
Advertisement
  • Home
  • Coins MarketCap
  • Crypto Exchanges
  • Crypto Calculator
  • Top Gainers and Loser
  • News
  • Contact Us
No Result
View All Result
XBT.Market
No Result
View All Result
Home Bitcoin

zk-STARKs vs. zk-SNARKs explained

Jon Hartney by Jon Hartney
July 25, 2022
in Bitcoin, Blockchain, Business, Market
0
189
SHARES
1.5k
VIEWS
Share on FacebookShare on Twitter

zk-STARKs and zk-SNARKs are the two most well-known zero-knowledge proof technologies. Learn what they mean and the difference between the two in this guide.

Related articles

Bitcoin derivatives data shows room for BTC price to move higher this week

January 23, 2023

Bitcoin price consolidation opens the door for APE, MANA, AAVE and FIL to move higher

January 22, 2023

zk-STARKs vs. zk-SNARKs: Main differences

Both zk-STARKS and zk-SNARKs are types of non-interactive ZKPs. However, they are different from various perspectives, as discussed in the table below:

Based on the above discussion, are STARKs better than SNARKs? zk-STARKs are clearly portrayed favorably in the comparison with zk-SNARKs. Compared to zk-SNARKs, they provide more scalability, transparency and security for the blockchains. However, it is crucial to remember that ZK-STARKs have a larger proof size and take longer to verify.

As a result, zk-SNARKs would have much more support than zk-STARKs if a developer started employing zero-knowledge technologies. Additionally, zk-SNARKs are anticipated to use only 24% of the gas, suggesting that employing zk-SNARKs for transactions would be substantially less expensive for the end user. Also, zk-STARKs are still in the initial phase and have a long time to prove their efficiency to developers and other stakeholders in the blockchain ecosystem.

 

What are zk-STARKs and how do they work?

zk-STARKs are one of the two transparent and scalable privacy-enhancing methods. The public availability of the randomness utilized by the verifier negates the need for a trusted setup.

But, what does zk-STARK stand for? zk-STARK stands for Zero-Knowledge Scalable Transparent Argument of Knowledge, which is a type of cryptographic proof technology. zk-STARKs, also known as zero-knowledge proofs, allow users to communicate validated data or execute computations with a third party without the data or analysis being revealed to the other party.

zk-SNARKs, which were used to build zk-proof systems before the development of zk-STARKs, solved the vulnerability of those trusted parties jeopardizing the system’s privacy because they had to set up the zk-proof system initially. zk-STARKs advance this technology by distancing away from the requirement for a reliable setup.

Moreover, the scalability and privacy issues with permissionless blockchains are improved with STARKs. The present zk-STARK research being conducted by STARK technology pioneer StarkWare Industries is primarily concerned with scalability, with privacy coming later.

By enabling developers to relocate computations and storage off-chain, STARKs increase scalability. STARK proofs that verify the accuracy of off-chain computations can be produced by off-chain services. After that, these proofs are re-posted on the chain so that anyone with interest can verify the computation.

In addition, STARKs enable existing blockchain infrastructure to scale exponentially without compromising computational integrity by off-chaining the majority of computing effort. So, which coins use zk-STARKs?

Layer-2 solutions compute thousands of transactions in a single batch using STARKs, and then use a single STARK proof to confirm their validity on-chain. All of the transactions in the batch share the cost of the on-chain operation, offering a low gas cost for each transaction. Starkware is implementing Zero-Knowledge Scalable Transparent Argument of Knowledge in many blockchains, including the Ethereum blockchain.

What are zk-SNARKs and how do they work?

The necessity of a trusted setup is one of the zk-SNARKs’ key characteristics. It also requires the creation of cryptographic keys, which serve as the evidence necessary for verification and carrying out confidential transactions.

But what does zk-SNARK stand for? The term “Zero-Knowledge Succinct Non-Interactive Argument of Knowledge,” or “zk-SNARK,” refers to a proof architecture where one can demonstrate ownership of specific knowledge, such as a secret key, without disclosing that knowledge and without interacting with either the prover or the verifier. 

Most cryptocurrencies use a network check to ensure that specific requirements have been met before validating a transaction. The requirements are to verify that the sender has the funds available and that they have supplied the correct private key to prove that the money is theirs.

The transaction’s sender can demonstrate all this using zk-SNARKs without disclosing any addresses or transaction amounts. For example, the blockchain network uses zk-SNARKs to encode a part of its consensus rules to offer this functionality. 

The information that needs to be proven is transformed into equations by zk-SNARKs during the transaction procedure. Without revealing the actual data, these equations can be assessed and solved. So, which coins use zk-SNARKs?

Zcash was applied zk-SNARKs for the first time to demonstrate that a transaction’s requirements can be met without disclosing any significant details about the addresses or values involved. Even though zk-SNARKs don’t have any apparent flaws, someone with the private key needed to set up the protocol could fabricate evidence and create fake money. Therefore, Zk-SNARK-based privacy coins must ensure that no single party has access to the private key.

What is zero-knowledge-proof (ZKP) technology and how does it work?

ZKPs are cryptographic protocols that, as their name implies, prevent eavesdroppers from accessing data or violating privacy throughout the process.

A zero-knowledge proof (ZKP) is a cryptographic approach that allows one person (the prover) to verify a claim made by another without the prover disclosing any supporting information. You might wonder who invented ZKPs? In the 1980s, Shafi Goldwasser, Silvio Micali and Charles Rackoff of MIT proposed the idea of “zero knowledge technologies.”

A demonstration of zero knowledge must meet the following three requirements:

  • Completeness/Irrefutability: If the claim is genuine, an honest prover will be persuaded of its integrity by an equally honest verifier (i.e., one correctly following the protocol).
  • Soundness: If the claim is untrue, there is only a slim chance that the dishonest prover can persuade the honest verifier that it is. 
  • Zero-Knowledge: If the claim is accurate, the only thing the verifier knows is that the claim is valid.

Before we look at how zero-knowledge proofs work, let’s understand the two types. First are the interactive zero-knowledge proofs, which include repeated interactions between the prover and the verifier. The prover is “challenged” by the verifier to repeatedly demonstrate their knowledge of a fact. The process is repeated until the verifier is confident that the prover is truthful. On the other hand, non-interactive proofs are the antithesis of this process. They demand that the two parties exchange a single transaction that verifies the prover’s veracity just once.

The real-world implementations of ZKPs make use of several cryptographic techniques like Schnorr Non-Interactive Zero Knowledge (NIZK) proof to make it possible to verify a computational statement. The Schnorr NIZK proof enables one to demonstrate familiarity with a discrete logarithm without disclosing its value. Many cryptographic protocols can benefit from using it as a valuable building component to ensure that participants honestly adhere to the protocol’s specifications.

For instance, a payment recipient can use ZKP techniques to confirm that the payer has a sufficient balance in their bank account without learning anything further about the payer’s balance. Therefore, by using ZKPs, the privacy and security of users’ information can be ensured.

Are you curious about whether Bitcoin uses zero-knowledge proofs? The simple answer is that the underlying cryptographic algorithm used by Bitcoin (BTC) is called an Elliptic Curve Digital Signature Algorithm (ECDSA) and does not rely on zero-knowledge methods to ensure increased levels of privacy and security. Digital signatures are most frequently used to sign transactions and send BTC, and ECDSA enables the use of a private key to sign any communication.

Read Entire Article
Tags: CointelegraphCryptocurrencyInvestmentMining Bitcoin
Share76Tweet47

Related Posts

Bitcoin derivatives data shows room for BTC price to move higher this week

by Jon Hartney
January 23, 2023
0

BTC options data suggest that the Bitcoin price rally still has legs, even with wider economic concerns growing and the

Bitcoin price consolidation opens the door for APE, MANA, AAVE and FIL to move higher

by Jon Hartney
January 22, 2023
0

BTC could take a break from its sharp rally and if BTC price bounces off underlying support, APE, MANA, AAVE...

Genesis bankruptcy case scheduled for first hearing

by Jon Hartney
January 22, 2023
0

The first hearing in Genesis Capital's bankruptcy case will be held on January 23, according to court filings

Terra lending protocol Mars to launch mainnet

by Jon Hartney
January 22, 2023
0

The Mars Hub will launch an independent Cosmos application chain and issue MARS to users who hold the token during...

Central African Republic eyes legal framework for crypto adoption

by Jon Hartney
January 22, 2023
0

A 15-member committee is tasked with working on a legal framework that will allow cryptocurrencies to operate in

Load More
  • Trending
  • Comments
  • Latest

Ethereum Classic gets ‘endorsement’ from Vitalik Buterin, but ETC price still risks 50% crash

July 27, 2022

Critique on Helium’s $6.5K monthly revenue causes a stir

July 28, 2022

All aboard! Elon Musk’s Vegas Loop now taking Dogecoin payments

July 7, 2022

Cardano Vasil hard fork hit with another delay for several weeks

July 29, 2022

All aboard! Elon Musk’s Vegas Loop now taking Dogecoin payments

0

Crypto owners banned from working on US Government crypto policies

0

Korean startup Uprise lost $20M shorting LUNC

0

Ethereum testnet Merge mostly successful — ‘Hiccups will not delay the Merge.’

0

Bitcoin derivatives data shows room for BTC price to move higher this week

January 23, 2023

Bitcoin price consolidation opens the door for APE, MANA, AAVE and FIL to move higher

January 22, 2023

Genesis bankruptcy case scheduled for first hearing

January 22, 2023

Terra lending protocol Mars to launch mainnet

January 22, 2023

XBT.Market

This website is an automated news feed powered by the Nebulome cloud system. The site is made possible by YYC TECH Consulting and Alberta Digital Mining Company. As a team with major crypto and bitcoin enthusiasm, we have curated major sources of news, trading and financial data to bring you, our viewer, an unbiased source of truth.

Recent Posts

  • Bitcoin derivatives data shows room for BTC price to move higher this week January 23, 2023
  • Bitcoin price consolidation opens the door for APE, MANA, AAVE and FIL to move higher January 22, 2023
  • Genesis bankruptcy case scheduled for first hearing January 22, 2023
  • Terra lending protocol Mars to launch mainnet January 22, 2023
  • Central African Republic eyes legal framework for crypto adoption January 22, 2023

News Categories

  • Bitcoin
  • Blockchain
  • Business
  • Market

Tags

bitcoinMagzine Cointelegraph Cryptocurrency insidebitcoins Investment Mining Bitcoin NewsBTC

Quicklinks

  • Home
  • Coins MarketCap
  • Crypto Exchanges
  • Crypto Calculator
  • Top Gainers and Loser
  • News
  • Contact Us

© 2022 Xbt.Market - Powered by YYC Tech Consulting & ADMCO.

No Result
View All Result
  • Home
  • Coins MarketCap
  • Crypto Exchanges
  • Crypto Calculator
  • Top Gainers and Loser
  • News
  • Contact Us

© 2022 Xbt.Market by Nebulome.

  • bitcoinBitcoin(BTC)$22,937.00-0.84%
  • ethereumEthereum(ETH)$1,576.99-0.30%
  • USDEXUSDEX(USDEX)$1.07-0.53%
  • tetherTether(USDT)$1.00-0.10%
  • usd-coinUSD Coin(USDC)$1.00-0.04%
  • binancecoinBNB(BNB)$311.111.17%
  • rippleXRP(XRP)$0.4034550.20%
  • Binance USDBinance USD(BUSD)$1.00-0.06%
  • cardanoCardano(ADA)$0.376351-1.34%
  • dogecoinDogecoin(DOGE)$0.0930417.56%
  • matic-networkPolygon(MATIC)$1.10-1.80%
  • OKBOKB(OKB)$37.590.04%
  • SolanaSolana(SOL)$23.83-1.93%
  • Lido Staked EtherLido Staked Ether(STETH)$1,570.60-0.20%
  • polkadotPolkadot(DOT)$6.22-1.11%
  • Shiba InuShiba Inu(SHIB)$0.0000120.74%
  • litecoinLitecoin(LTC)$93.560.32%
  • AvalancheAvalanche(AVAX)$19.55-2.54%
  • tronTRON(TRX)$0.0626900.82%
  • daiDai(DAI)$1.00-0.43%
  • UniswapUniswap(UNI)$6.52-1.62%
  • wrapped-bitcoinWrapped Bitcoin(WBTC)$22,864.00-1.00%
  • cosmosCosmos Hub(ATOM)$13.18-0.47%
  • chainlinkChainlink(LINK)$6.94-1.18%
  • ToncoinToncoin(TON)$2.29-1.33%
  • leo-tokenLEO Token(LEO)$3.52-0.77%
  • moneroMonero(XMR)$174.36-5.16%
  • ethereum-classicEthereum Classic(ETC)$21.52-1.60%
  • AptosAptos(APT)$16.62-6.15%
  • bitcoin-cashBitcoin Cash(BCH)$133.060.88%
  • Aerarium FiAerarium Fi(AERA)$7.14-13.09%
  • stellarStellar(XLM)$0.090315-1.25%
  • ApeCoinApeCoin(APE)$5.82-3.21%
  • QuantQuant(QNT)$143.45-0.98%
  • CronosCronos(CRO)$0.078245-1.18%
  • NEAR ProtocolNEAR Protocol(NEAR)$2.32-3.16%
  • filecoinFilecoin(FIL)$5.08-1.45%
  • Lido DAOLido DAO(LDO)$2.07-2.26%
  • algorandAlgorand(ALGO)$0.238482-3.21%
  • vechainVeChain(VET)$0.023148-1.02%
  • HederaHedera(HBAR)$0.064728-1.30%
  • Internet ComputerInternet Computer(ICP)$5.74-2.39%
  • decentralandDecentraland(MANA)$0.74-2.26%
  • Axie InfinityAxie Infinity(AXS)$10.72-4.94%
  • FantomFantom(FTM)$0.4761982.79%
  • AaveAave(AAVE)$81.35-1.43%
  • The SandboxThe Sandbox(SAND)$0.73-2.89%
  • eosEOS(EOS)$1.05-1.68%
  • MultiversXMultiversX(EGLD)$42.79-1.11%
  • FlowFlow(FLOW)$1.00-2.06%
  • Terra Luna ClassicTerra Luna Classic(LUNC)$0.0001742.87%
  • FraxFrax(FRAX)$1.000.14%
  • theta-tokenTheta Network(THETA)$1.02-3.09%
  • tezosTezos(XTZ)$1.07-2.24%
  • paxos-standardPax Dollar(USDP)$0.99-0.61%
  • true-usdTrueUSD(TUSD)$1.00-0.08%
  • huobi-tokenHuobi(HT)$5.110.12%
  • bitcoin-cash-svBitcoin SV(BSV)$42.60-1.92%
  • kucoin-sharesKuCoin(KCS)$8.220.20%
  • The GraphThe Graph(GRT)$0.088696-1.36%
  • Frax ShareFrax Share(FXS)$10.331.37%
  • Curve DAOCurve DAO(CRV)$1.00-2.64%
  • Rocket PoolRocket Pool(RPL)$37.71-0.59%
  • USDDUSDD(USDD)$0.99-0.16%
  • havvenSynthetix Network(SNX)$2.29-0.12%
  • ChilizChiliz(CHZ)$0.132485-2.80%
  • eCasheCash(XEC)$0.000036-0.20%
  • Trust WalletTrust Wallet(TWT)$1.652.63%
  • Mina ProtocolMina Protocol(MINA)$0.831.08%
  • BitTorrentBitTorrent(BTT)$0.000001-1.43%
  • dashDash(DASH)$60.251.24%
  • PancakeSwapPancakeSwap(CAKE)$4.000.55%
  • GateGate(GT)$4.421.99%
  • KlaytnKlaytn(KLAY)$0.202270-1.46%
  • iotaIOTA(MIOTA)$0.222321-2.78%
  • cUSDCcUSDC(CUSDC)$0.0227490.01%
  • BitDAOBitDAO(BIT)$0.51-7.34%
  • zcashZcash(ZEC)$45.260.40%
  • makerMaker(MKR)$643.00-0.46%
  • gemini-dollarGemini Dollar(GUSD)$1.000.12%
  • neoNEO(NEO)$8.12-2.06%
  • cDAIcDAI(CDAI)$0.022166-0.11%
  • ImmutableXImmutableX(IMX)$0.701.84%
  • OKCOKC(OKT)$30.12-1.71%
  • THORChainTHORChain(RUNE)$1.77-2.18%
  • Tokenize XchangeTokenize Xchange(TKX)$6.61-0.29%
  • WhiteBIT TokenWhiteBIT Token(WBT)$4.10-0.39%
  • RadixRadix(XRD)$0.051819-5.83%
  • ArweaveArweave(AR)$10.15-2.38%
  • PAX GoldPAX Gold(PAXG)$1,882.82-1.42%
  • OsmosisOsmosis(OSMO)$0.96-1.19%
  • GMXGMX(GMX)$56.98-0.11%
  • FlareFlare(FLR)$0.043492-7.17%
  • Tether GoldTether Gold(XAUT)$1,893.73-1.59%
  • nexoNEXO(NEXO)$0.820.00%
  • cETHcETH(CETH)$31.66-0.01%
  • BTSE TokenBTSE Token(BTSE)$2.82-11.15%
  • TerraTerra(LUNA)$2.175.27%
  • OptimismOptimism(OP)$2.11-2.65%
  • Convex FinanceConvex Finance(CVX)$5.90-2.74%