Cointime

Download App
iOS & Android

Zero-Knowledge Proof in Blockchain Explained | Quillaudits

Validated Project

Table of Contents:

  1. What is Zero-Knowledge Proof?
  2. History of Zero-Knowledge Proof
  3. Types of Zero-Knowledge Proof
  4. Working of Zero-Knowledge Proofs
  5. Zero-Knowledge Applications in Blockchain
  6. Zero-Knowledge Proofing Techniques
  7. ZK Rollups (ETH Scaling)
  8. ZK Based Privacy Protocols

What is Zero-Knowledge Proof?

A zero-knowledge proof is a way of proving if a certain statement is true or not without actually revealing the statement itself. Here, the ‘prover’ is the party trying to prove a claim, while the ‘verifier’ is responsible for validating the claim.

In Simpler Terms, Zero-knowledge proof (ZK proof) technologies enable one party to prove to another party that they know something without actually sharing the information with another party in order to prove their knowledge.

A Use Case:Let's Suppose I want to take a loan, But don’t want to reveal my financial history to banks. Using Zero-Knowledge proof, bank will be able to verify my financial history (e.g. credit score, proof of residence, account payments, and real estate) without knowing any specific data about those assets.

History of Zero Knowledge Proofs?

Zero-knowledge proofs were first devised by MIT researchers Shafi Goldwasser, Silvio Micali, and Charles Rackoff in a 1985 paper, “The Knowledge Complexity of Interactive Proof-Systems”. The paper introduced key concepts including an interactive proof (IP) hierarchy and conceived the concept of knowledge complexity, a measure to see how much proof is transferred from the prover to the verifier.

Perhaps most importantly, they gave the first zero-knowledge proof for a concrete problem when they demonstrated how to construct ZKPs for any NP-set, with any commitment scheme.

Types of Zero Knowledge Proofs?

The two fundamental types of ZKPs include the following:

  1. Interactive ZeroKnowledge Proofs: In Interactive ZKP, The verifier challenges the prover who provides replies to these challenges until the verifier is convinced. They need to be simultaneously online and the prover must complete a series of actions to convince the verifier about a specific fact.
  2. Non-Interactive ZeroKnowledge Proofs: Non-interactive Zero-Knowledge Proofs do not require an interactive process between the prover and verifier. The prover delivers the proof to the verifier and the proof can be verified by the verifier only once at any time. It requires more computational power as compared to Interactive Zero Knowledge Proof.

Working of Zero-Knowledge Proof:

In basic form, a zero-knowledge proof is made up of three elements: witness(confidential Info), challenge, and response.

  • Witness: With a zero-knowledge proof, the prover wants to prove knowledge of some hidden information. The secret information is the “witness” to the proof, and the prover’s assumed knowledge of the witness establishes a set of questions that can only be answered by a party with knowledge of the information. Thus, the prover starts the proving process by randomly choosing a question, calculating the answer, and sending it to the verifier.
  • Challenge: The verifier randomly picks another question from the set and asks the prover to answer it.
  • Response: The prover accepts the question, calculates the answer, and returns it to the verifier. The prover’s response allows the verifier to check if the former really has access to the witness. To ensure the prover isn’t guessing blindly and getting the correct answers by chance, the verifier picks more questions to ask. By repeating this interaction many times, the possibility of the prover faking knowledge of the witness drops significantly until the verifier is satisfied.

The Application of Zero Knowledge Proof in BlockChains?

There are many applications of Zero Knowledge Proof, In this blog, we will be covering applications of ZK in Block Chains:

  • Private transactions on blockchains: Transaction data is encrypted and proof posted to prove it was computed correctly. ZKPs are also used in private transactions that do not reveal monetary data and receiver and sender information. An example is Tornado Cash, a decentralized, non-custodial service that allows users to conduct private transactions on Ethereum
  • Performance optimizations: Application code is executed off-chain, or by a single node on the blockchain network, and only proof of its correct execution is posted to the blockchain for other parties to verify its correctness. An example is ZK Rollups, where transactions are executed off-chain and finally, a summary of all transactions is then submitted on-chain.
  • Transferring private blockchain transactions: The most notable concern in private blockchain transactions is the numerous loopholes evident in conventional procedures. The productive integration of ZKP with private blockchain transactions can create a powerful hacker-proof process.
  • Data Security and Privacy: Organizations that control sensitive data, such as banks and hospitals, must keep them free from third-party access. ZKPs and blockchain together can make accessing data impossible.

Zero-knowledge Proofing technologies:

1. zk-SNARK

SNARK stands for “zero-knowledge succinct non-interactive argument on knowledge.” A SNARK is a type of cryptographic proof that is small in size and easy to verify. SNARKs generate a cryptographic proof using elliptical curves, which assume that it’s infeasible to find the discrete logarithm of a random elliptic curve element from a publicly known base point. Computing elliptic curves are less computationally expensive than computing hashing functions used by STARKs, which is why SNARK-based protocols can be more gas efficient.

2. zk-STARKS

STARKS stands for “zero-knowledge scalable transparent argument of knowledge.” It’s a type of cryptographic proof that requires little to no interaction between the prover and the verifier. The key advantages of STARKs over SNARKs are that they have fast prover times and are easier to scale as they offer more computing power. Also, using hash functions makes them quantum resistant.

3. Bulletproofs

Bulletproofs are short, non-interactive zero-knowledge proofs that can convince a verifier that an encrypted value lies within a stated range without disclosing any information about the number.Bulletproofs is a type of range proof that employs zero-knowledge proofing techniques similar to those seen in zkSNARKs and zkSTARKs. Like zkSTARKs, bulletproofs do not require an initial trusted setup ceremony or procedure. Also, they are smaller than zkSTARKs and have significant efficiency and security.

zk-Rollups

Rollups are Layer 2 protocols built on top of Ethereum. Rollups process transactions off-chain, primarily on a rollup-specific chain, and then batch, compress, and deliver the transaction data to the main Ethereum chain. Shifting computation off-chain helps reduce congestion on Ethereum and reduce overall gas costs for users.

ZK Rollups Projects:

zkSync

Loopring

Polygon Hermez

ZK- Based Privacy Protocols

Zero-knowledge proofs power several privacy protocols today due to their non-disclosure feature. With ZK-proofs, users can currently transact on privacy-enabled blockchains and post proofs that confirm that their transactions are valid, and don’t reveal any extra info.

Popular privacy coin, Zcash, uses zk-SNARK cryptography to restore blockchain anonymity for its users and give them control over their transaction information. For instance, when a Zcash user sends coins to another Zcash user, the only available proof of their privacy-enabled transaction comes with zero knowledge. A third-party observer cannot find any additional information about the nature of the transaction, nor the parties and amounts involved.

ZK- Based Privacy Projects:

Zcash

Tornado Cash

Comments

All Comments

Recommended for you

  • Bitget Confirms Being Deceived into 'Self-Approving' $388 Million Transfer, Losses Revised

    On September 26, Unchained reported that Bitget stated attackers transferred approximately $387.5 million from its exchange on Thursday, revising the initially estimated loss of $351.6 million after accounting for transfers on the Zcash and TRON chains. The attackers did not require private keys: CEO Gracy Chen mentioned that the attackers compromised key backend systems of its wallet infrastructure, forged transaction data, and triggered the authorization process, which was signed by Bitget's own system. The related vulnerability has been identified and fixed, and the withdrawal status, which has been suspended since Thursday, will be announced before midnight Eastern Time. Mandiant and SlowMist are assisting with the investigation. Chen noted that based on IP behavior patterns and on-chain signatures, this attack is consistent with methods used by North Korean-linked hacker organizations and resembles the previous $1.5 billion theft case from Bybit. Nansen tracking shows that 40,000 ETH were evenly distributed to four new addresses; as of Friday, 6:34 PM Eastern Time, eight attacker addresses held a total of approximately 68,300 ETH (about $18.4 million), with no further transactions initiated. Bitget stated that some of the funds have been frozen and is offering a 5% bounty on the recovered amounts to those who facilitate the freezing; the $464 million protection fund fully covers the losses.

  • Vitalik: Significant Progress in Mobile Offline Local Knowledge Applications, but Problem-Solving Ability Still Weaker than Notebook-Level Models

    On September 26, Ethereum co-founder Vitalik Buterin posted on X that he is testing a mobile offline local knowledge application recently developed by the community (with a related bounty link attached). He noted that these applications are significantly better than the product he attempted to build himself two months ago, but they still perform slower and less effectively than models that can run on a notebook when handling complex problems. Vitalik pointed out that the weakest aspect of these applications is professional travel-related queries, citing the test case 'Tell me the best vegetarian restaurant in my current city,' but none of the tested applications performed well. He expressed hope for continued improvements in such products and wishes to reach a level where users can comfortably query any facts of interest without needing an internet connection.

  • This Week, U.S. Bitcoin Spot ETFs See Net Inflows of Approximately $2.386 Billion, Led by IBIT

    On September 26, according to data from Farside Investors, U.S. Bitcoin spot ETFs experienced a total net inflow of $2.3858 billion this week. In terms of individual products, BlackRock's IBIT led with a net inflow of $1.1576 billion, followed by Fidelity's FBTC with $701.6 million, ARK 21Shares' ARKB with $294.7 million, Morgan Stanley's MSBT with $203.3 million, and Bitwise's BITB with $13.9 million. BTCW recorded a net outflow of $3.2 million, while BTCO and BRRR remained flat at zero.

  • Ethena: USDe-Related Token Incentives to Reach Zero, Down Approximately 85% Since 2024

    On September 26, Ethena announced that since the first airdrop in 2024, token incentives related to the growth of USDe have decreased by approximately 85% from 2024 to this year. The official statement indicated that by the end of this month, token incentives and additional issuance related to USDe will reach zero, and there will be no further incentive arrangements thereafter. Ethena also expressed gratitude to all users who have participated and supported the development of the product to date.

  • Analyst: Bitcoin Enters Bull Market Phase as MVRV Ratio Surpasses 1.0 Baseline

    On September 26, crypto analyst Axel Adler Jr. stated that Bitcoin has transitioned from an early bull market to a bull market phase. The adjusted MVRV 30-day/365-day moving average ratio he tracks broke above the 1.0 baseline on September 20 (with the short-term average surpassing the annual average), at which point BTC was priced at $80,691. Previously, this ratio had crossed above the 365-day moving average on August 20, marking the entry into the early bull market when BTC was priced at $71,255; this phase lasted for 31 days, during which Bitcoin rose by 13%. The current ratio stands at 1.018, with BTC priced at $84,156. As long as it remains above 1.0, the structure will maintain a bullish outlook. This marks the sixth such transition since 2012, and in four of the previous five instances, the bull market ended with prices above the entry price, with the only exception being August 2015, when the bull market lasted only 16 days.

  • CFTC Sues Cash FX Over $950 Million Crypto-Related Forex Scam, Investors Lose at Least $406 Million

    On September 26, Cointelegraph reported that the U.S. Commodity Futures Trading Commission (CFTC) has filed a lawsuit against Cash FX Group and three individuals, involving $950 million and elements of cryptocurrency. The defendants include Cash FX and its CEO Huascar Jose Lopez Castillo (Brazil), The Conversion Pros and its CEO Ronald Pope (Oregon), as well as Justin Halladay (Florida). The CFTC stated that the complaint was submitted to the U.S. District Court for the Middle District of Florida on Friday. The agency accuses the defendants of operating a multi-level marketing Ponzi scheme, raising over $950 million under the guise of trading retail forex contracts in a commodity pool, falsely claiming that funds were managed by expert traders, proprietary algorithms, and artificial intelligence, with promises of returns as high as 15% per week. The CFTC pointed out that Cash FX engaged in very little actual forex trading, misappropriating most participants' funds to pay fictitious trading profits with new investments, while funneling millions of dollars to the defendants and providing false accounting statements. Participants have suffered losses of at least $406 million.

  • China and the U.S. Reach Consensus on Eight Key Outcomes

    On September 26, according to CCTV, Chinese President Xi Jinping made a state visit to the United States from September 23 to 25. During this period, the two heads of state engaged in in-depth discussions on building a constructive strategic stable relationship between China and the U.S. and addressing major international and regional issues, reaching a consensus on eight key outcomes, including: 1. Both sides agreed to establish a 'constructive strategic stable relationship based on respect, fairness, and equality.' 2. Both sides agreed to support each other in successfully hosting the informal meeting of APEC leaders and the G20 leaders' summit, with both heads of state intending to attend each other's hosted meetings. 3. The two heads of state agreed that Iran should fulfill its commitment not to develop nuclear weapons, and that no country or organization should impose tolls on international waterways. 4. The two heads of state recalled that China and the U.S. were allies in World War II, fighting side by side to achieve victory. 5. The two heads of state recognized the positive role of the China-U.S. economic and trade consultation mechanism and the outcomes of consultations by both economic and trade teams, including the establishment and promotion of mechanisms such as the Trade Council, reaching a '30 billion USD' reciprocal tariff reduction arrangement, and postponing the results of the Kuala Lumpur economic and trade consultations, and instructed for their implementation. 6. The cooperation between the drug enforcement agencies of China and the U.S. has yielded visible results. Recently, both sides closely collaborated to jointly crack multiple cases involving new psychoactive substances and precursor chemicals, resulting in the arrest of dozens of related criminal suspects in both countries. 7. Both sides agreed to establish a China-U.S. dialogue on artificial intelligence to discuss the associated risks and benefits. The next dialogue will be held in November this year, and both sides agreed to establish a communication channel for AI-related incidents. 8. The U.S. welcomed the loan of a pair of giant pandas from China to the Atlanta Zoo. In addition, the military of both countries agreed to sign a memorandum of understanding to strengthen crisis communication and prevention as soon as possible and to continue cooperating in the search for the remains of U.S. military personnel missing in China.

  • New SEC Guidelines: Staked ETH Receipt Tokens Do Not Constitute Securities, Provided They Are Purely 'Receipts'

    On September 26, according to BeInCrypto, the U.S. SEC's Division of Corporation Finance released new guidelines clarifying that tokens received from staking Ethereum do not constitute securities, provided their function is purely as 'receipts'. The document states that when tokens are backed by 'digital commodities', staked receipt tokens are considered 'digital tools'; the SEC and CFTC listed 16 types of digital commodities in a clarification document on March 17, including Ethereum (ETH). The guidelines set conditions: tokens must not alter the rights associated with the staked ETH or provide additional rewards, and service providers must not lend, stake, or reuse the deposited tokens; this contrasts with Kraken's $30 million fine in 2023 for promoting yield and shutting down its staking services in the U.S. The document also covers buybacks: announcing a buyback when the network is operational does not constitute a commitment that would turn the tokens into securities; however, it may still constitute one if the network is not yet complete.

  • US Lawmakers Propose Bill to Ban Chinese Optical Transceivers in National Security Systems

    On September 26, a bipartisan group in the U.S. Senate proposed a bill on September 25 aimed at prohibiting the federal government from installing Chinese-made components used for data transmission in artificial intelligence data centers within sensitive systems. The bill was jointly initiated by Republican Senators John Cornyn and Mike McCaul, along with Democratic Senators Jon Tester and Alex Padilla, and primarily targets optical transceiver modules produced by Chinese companies such as New H3C Technologies. Currently, Chinese optical transceiver manufacturers dominate this core component market in AI data centers.

  • SEC and CFTC Update Crypto FAQs: Token Buybacks and Network Upgrades Not Necessarily Securities, CFTC Allows On-Chain Record Keeping

    On September 26, the U.S. Securities and Exchange Commission's Division of Corporation Finance released an updated FAQ on September 25, clarifying that token buybacks, network upgrades, and marketing statements do not automatically make crypto assets securities. SEC staff noted that announcing a buyback plan for an operational crypto network does not, by itself, make the associated tokens investment contracts; however, if the network is not operational and the issuer promotes the buyback as a source of returns for holders, it may be a different case. The FAQ also clarified that services provided once a crypto system is operational, aimed at securing, maintaining, improving, or enhancing the system or its functions, or promoting network effects, do not constitute managerial efforts under the Howey test. Marketing existing uses of the network typically does not create profit expectations, and statements about future functionalities do not either, provided there is no promotion of profit potential. This update reiterates that conclusions will still heavily depend on specific cases and are based on the SEC's interpretative release regarding the applicability of securities laws to crypto assets issued in March this year. On the same day, the Commodity Futures Trading Commission updated its crypto FAQ, allowing futures firms and clearinghouses to invest customer funds in tokenized versions of previously permitted assets, provided they meet investment and custody requirements. CFTC staff also indicated that regulated companies may use blockchain for record keeping but must still be able to provide records if the blockchain or its block explorer is non-operational. These updates come as the CLARITY Act failed to advance in the Senate, with regulators continuing to push forward with the crypto regulatory framework based on existing laws.