Nova: Relaxed R1CS Technology Leads a New Era of zk-SNARKs

Nova: An Innovative zk-SNARKs System

Nova is a new type of zk-SNARKs system developed by Microsoft. It uses the Relaxed R1CS( technology to improve the efficiency and flexibility of the proofs.

Main Advantages of Nova

  1. The use of relaxed R1CS technology allows for less randomness in the proof, significantly improving the efficiency of the proof.

  2. Supports incremental computation, allowing for the gradual calculation of complex functions without having to compute the entire function at once.

  3. Supports polynomial computation, capable of handling more complex proof tasks.

Potential Drawbacks of Nova

  1. Due to the use of relaxed R1CS, the proof may not be as strong as traditional R1CS systems and may slightly reduce security.

  2. Implementation is relatively complex and requires a deep understanding of polynomial computation, group operations, and other advanced cryptographic techniques.

The Important Position of Nova

Nova has opened up a new path for the development of zk-SNARKs. The technology it employs makes the generation and verification process of proofs more efficient, which is crucial for large-scale zk-SNARKs applications. At the same time, Nova has also expanded the application scope of zk-SNARKs, allowing it to handle more complex proof tasks.

Core Components of Nova

  1. R1CS and Relaxed R1CS: constraint systems used to build zk-SNARKs.

  2. Polynomial commitment scheme: used to prove the evaluation value of a polynomial without revealing the polynomial itself.

  3. Sumcheck Algorithm: Used for verifying polynomial summation.

  4. Incremental computation: Allows for the step-by-step calculation of complex functions.

  5. Non-interactive folding scheme ) NIFS (: used to prove the correctness of each step in incremental computation.

Nova has achieved an efficient and flexible zk-SNARKs system by innovatively combining these technologies, providing powerful tools for blockchain, secure computing, and other fields.

View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Reward
  • 4
  • Share
Comment
0/400
BoredRiceBallvip
· 07-16 18:38
Microsoft is also into zk? Slipped away, slipped away.
View OriginalReply0
CryptoCross-TalkClubvip
· 07-14 03:53
The proof system has been relaxed, on-chain suckers hurry to unlock new ways to play people for suckers.
View OriginalReply0
RugpullSurvivorvip
· 07-14 03:49
Microsoft has something this time!
View OriginalReply0
GasWhisperervip
· 07-14 03:33
hmm... relaxed r1cs feels like watching gas waves during low congestion... elegant but risky tbh
Reply0
Trade Crypto Anywhere Anytime
qrCode
Scan to download Gate app
Community
English
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)