Snarkify
  • 🏗️GPU Prover Network
    • Introduction
    • Deploy a Elastic Prover
      • Integrate Elastic Prover SDK
    • Snakrify CLI
      • Installation
      • Authentication
      • Service Initialization
      • Build & Deployment
      • Proof Generation
      • Team Management
      • GPU Shell Management
    • Advanced Topics
      • Webhook
  • 🏚️High-Performance ZKP
    • zkEVM Halo2 GPU Prover
      • MSM
      • NTT
      • Quotient Polynomial Evaluation
      • KZG Multiopen
      • Polynomial Inversion
      • Permutation Generation
    • ZPrize
  • 🐺Sirius Folding
    • Introduction
    • Quickstart
    • Examples
      • Fold a Summation Circuit
      • Fold a Fibonacci Circuit
      • Fold a Halo2 Circuit
      • Fold the zkevm-circuits
    • Terminologies
    • Sirius Folding APIs
      • `StepCircuit` trait
      • `PublicParams` Struct
      • `IVC` struct
  • LInks
    • Github
    • Telegram Group
    • snarkify.io
Powered by GitBook
On this page
  • Overview
  • Performance
  1. High-Performance ZKP
  2. zkEVM Halo2 GPU Prover

NTT

PreviousMSMNextQuotient Polynomial Evaluation

Last updated 7 months ago

Overview

The Number Theoretic Transform (NTT) operation is used to convert an array of finite field elements representing a polynomial between coefficient and evaluation forms. The cuSnark library wraps Supranational's NTT implementation.

Performance

The following table outlines the performance improvements yielded with just the cuSnark NTT employed, showing the (CPU baseline) and accelerated results for the different proof stages in a set of proofs of various sizes. Times are in seconds, obtained on a AMD EPYC 7702 64-Core Processor with 4x NVIDIA GeForce RTX 3090 (24 GB) GPUs.

Proof Stage
2^20 rows, 1135 columns
2^25 rows, 5 columns

Initialization

(6.04) 6.16

(1.40) 1.41

Generate Instance

(0.05) 0.05

(1.05) 1.05

Generate Advice

(381.78) 379.87

(6.68) 4.07

Generate Lookups

(57.99) 58.24

(2.10) 1.86

Commit Permutations

(146.59) 117.29

(23.72) 13.74

Eval_h

(1069.09) 696.53

(66.55) 66.75

Compute Evaluations

(9.81) 9.58

(35.75) 6.10

Multiopen

(18.71) 18.76

(28.82) 11.61

Total

(1690.05) 1380.08

(166.10) 124.82

🏚️
sppark