📢 Gate Square #MBG Posting Challenge# is Live— Post for MBG Rewards!
Want a share of 1,000 MBG? Get involved now—show your insights and real participation to become an MBG promoter!
💰 20 top posts will each win 50 MBG!
How to Participate:
1️⃣ Research the MBG project
Share your in-depth views on MBG’s fundamentals, community governance, development goals, and tokenomics, etc.
2️⃣ Join and share your real experience
Take part in MBG activities (CandyDrop, Launchpool, or spot trading), and post your screenshots, earnings, or step-by-step tutorials. Content can include profits, beginner-friendl
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
The use of relaxed R1CS technology allows for less randomness in the proof, significantly improving the efficiency of the proof.
Supports incremental computation, allowing for the gradual calculation of complex functions without having to compute the entire function at once.
Supports polynomial computation, capable of handling more complex proof tasks.
Potential Drawbacks of Nova
Due to the use of relaxed R1CS, the proof may not be as strong as traditional R1CS systems and may slightly reduce security.
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
R1CS and Relaxed R1CS: constraint systems used to build zk-SNARKs.
Polynomial commitment scheme: used to prove the evaluation value of a polynomial without revealing the polynomial itself.
Sumcheck Algorithm: Used for verifying polynomial summation.
Incremental computation: Allows for the step-by-step calculation of complex functions.
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.