Back to Course

3. Advanced Course

0% Complete
0/0 Steps
  1. 1. What is Taproot?
  2. 2. Blockchain bridges – what are they?
  3. 3. What is the 51% attack on blockchain?
  4. 4. Zero-knowledge proof – a protocol that respects privacy 
  5. 5. What is EOSREX?
  6. 6. Mirror Protocol – what it is? 
  7. 7. What is DAO, and how does it work?
  8. 8. What is spoofing in the cryptocurrency market? 
  9. 9. What is digital property rights in NFT?
  10. 10. How to verify a cryptocurrency project – cryptocurrency tokenomics 
  11. 11. What is Ethereum Plasma?
  12. 12. What is Ethereum Casper?
  13. 13. What is Selfish Mining? 
  14. 14. How to create your own NFT? 
  15. 15. Schnorr signatures - what are they? 
  16. 16. What is Zk-SNARK and Zk-STARK? 
  17. 17. What is Proof of Elapsed Time (PoET)?
  18. 18. MimbleWimble - what is it? 
  19. 19. What are ETFs and what role do they play in the cryptocurrency market? 
  20. 20. What are synthetic assets? 
  21. 21. Definition of DeFi, and what are its liquidations?
  22. 22. New identity system - Polygon ID
  23. 23. What is Ethereum Virtual Machine (EVM) and how does it work?
  24. 24. Ethereum Foundation and the Scroll protocol - what is it?
  25. 25. What is Byzantine fault tolerance in blockchain technology?
  26. 26. Scalability of blockchain technology - what is it?
  27. 27. Interchain Security - new Cosmos (ATOM) protocol
  28. 28. Coin Mixing vs. Coin Join - definition, opportunities, and threats
  29. 29. Soulbound Tokens - what are they, and how do they work?
  30. 30. Definition of LIDO - what is it?
  31. 38. What is Web3 Infura?
  32. 39. Mantle - Ethereum L2 scalability - how does it work?
  33. 40. Polygon zkEVM - everything you need to know
  34. 41. What is Optimism (OP), and how do its roll-ups work?
  35. 42. What are RPC nodes, and how do they work?
  36. 43. SEI Network: everything you need to know about the Tier 1 solution for DeFi
  37. 44. Types of Proof-of-Stake Consensus Mechanisms: DPoS, LPoS and BPoS
  38. 45. Bedrock: the epileptic curve that ensures security!
  39. 46. What is Tendermint, and how does it work?
  40. 47. Pantos: how to solve the problem of token transfer between blockchains?
  41. 48. What is asymmetric encryption?
  42. 49. Base-58 Function in Cryptocurrencies
  43. 50. What Is the Nostr Protocol and How Does It Work?
  44. 51. What Is the XDAI Bridge and How Does It Work?
  45. 52. Solidity vs. Rust: What Are the Differences Between These Programming Languages?
  46. 53. What is a Pinata in Web 3? We explain!
  47. 54. What Is a Real-Time Operating System (RTOS)?
Lesson 16 of 47
In Progress

16. What is Zk-SNARK and Zk-STARK? 

Zk-SNARK (Zero-Knowedgle Succinct Non-Interactive Argument of Knowledge) 

This is a new type of privacy proof. Cryptography is constantly evolving, and with it consensus algorithms that can be used to provide data privacy. Each of these algorithms has its own advantages and disadvantages, as well as how to use them. In today’s lesson, we will look at these two proofs of concept. 

Despite appearances, the proof is not as complicated as it sounds. Literally, it is a ‘proof with zero knowledge‘ protocol. Zero-knowledge proofs are very fascinating. Using it, we have to prove that we have some information without revealing the information itself. So, we have two participants in the protocol: the prover (proover) and the verifier (verifier). The prover has to prove to the verifier in a certain way that it has information y, without sharing this information. 

The ZK-SNARK protocol does not require continuous communication or conversation between the prover and verifier. It works based on complex mathematical operations. Are you familiar with the high school proofs we used to prove in maths class? Recall them, as they will be essential here. Proofs with zero knowledge use: 

Homomorphic functions

Blind evaluation

The Knoweldge of Coefficient Test (KC) and the Knowledge of Coefficient  Assumption (KCA). 

Verifiable blind evaluation protocol

Quadratic Arithmetic Program

Pinocchio’s protocol

Furthermore, zk-SNARK requires elliptic curve cryptography. ECC is a cryptography method that relies on the properties of elliptic curves to create fully secure cryptographic keys. These keys are used to encrypt and decrypt data, which increases security. Definitely, the use of  ECC is more secure than RSA, if only because of its resistance to brute-force attacks. The term zk-SNARK was first used in 2012 by Professor Alessandro Chiesa

How does zk-SNARK work? 

The protocol is based on a trusted configuration using the above mathematical assumptions.  Zk-SNARK allows users to send transactions on the blockchain in a completely encrypted way. This means that transactions have taken place completely legitimately, but no one can read them. The most popular platform using this algorithm is ZCash. Therefore, today we will use its example. As we have already discussed, zero-knowledge algorithms allow you to prove that statement X is true, without revealing information about the statement. This is accurately what happens when two people transact using this network. With zk-SNARK, we can see that the sender has the funds, but we cannot see how much or where he wants to send it. Nor do we know his address. Furthermore, such a transaction cannot be modified by a third party. For such transactions to work, they must meet certain conditions. E.g. ZCash engages users through ‘meet’ and ‘cancelant’. In effect, the person who would like to send funds via ZCash says “Look how many funds I have!”, without revealing his balance, and the verifier confirms “This was the amount promised to the recipient”. 

Zk-STARK (Zero-Knowledge Scalable Transparent ARguments of Knowedgle) 

This is also cryptographic proof. Its definition is – zk-STARK provides the ability to share verified data or perform calculations with a third party, without revealing the data to that party. At the same time, it is publicly verifiable. What does this mean in practice? ZK-STARK  allows you to verify the banking information of your future business counterparty, without having to disclose your confidential information.

Zk-STARK – how does it work? 

The protocol moves computation and storage off the blockchain. Therefore, it improves its scalability and privacy. Services performed outside the blockchain can generate STARK  proofs, which simultaneously certify the integrity of off-chain computations. The proofs thus made are then placed back on the blockchain so that any interested party can validate the computation made (proof). As we have already mentioned, zk-STARK is publicly verifiable.  This type of zero proof focuses first on scalability and only later on privacy. The pioneer among the work on this technology is StarkWare Industries

Zk-SNARK vs Zk-STARK 

Zk-SNARK requires trusted keys, while zk-STARK is publicly verifiable. ∙ Zk-SNARK are not fast and scalable in terms of computation size. 

∙ Zk-SNARK are very vulnerable to attacks from quantum computers due to the use of cryptography in their operation. 

∙ Zk-SNARK is more popular, especially in the current era. 

∙ Zk-STARK is based on hash functions, which are more difficult to break. They also do not require a trusted configuration. 

∙ In the zk-STARK protocol, proof verification takes longer due to its larger size. ∙ Zk-SNARK is easier to implement. 

Summary 

Both zero-knowledge proofs are powerful tools. They can improve the scalability of blockchain networks, as we have already mentioned, but they also have their drawbacks.  Such encrypted transactions taking place in the ZCash ecosystem, for example, can contribute to money laundering or terrorist financing. There are always two sides to every modern solution. 

Purchase your favorite tokens on Kanga Exchange