issues
search
ingonyama-zk
/
super-sumcheck
In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
GNU General Public License v3.0
35
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Folding algorithm for sumcheck
#19
krakhit
closed
8 months ago
1
Finish theory and publish
#18
krakhit
closed
8 months ago
0
Folding algorithm for large fields sumcheck
#17
krakhit
opened
8 months ago
0
Small fields generalization
#16
krakhit
closed
7 months ago
1
Sumcheck over Fields of Small Characteristic: Algorithm 1
#15
suyash67
closed
7 months ago
1
Add TODO about final verifier check.
#14
suyash67
closed
9 months ago
0
Use `PrimeField` instead of `Field`
#13
suyash67
closed
9 months ago
0
Adds merlin transcript
#12
suyash67
closed
9 months ago
0
Sumcheck Prover Algorithm 2: Witness Challenge Separation
#11
suyash67
closed
10 months ago
0
Matrix Data Structures and Tests (buildup for Algo2)
#10
suyash67
closed
10 months ago
0
Sumcheck Prover Algo1
#9
suyash67
closed
10 months ago
0
Commitments for Sumcheck: KZG
#8
krakhit
opened
10 months ago
0
Fiat Shamir
#7
krakhit
closed
9 months ago
0
Algorithm 3: to find optimal k to toggle between 1 and 2
#6
krakhit
closed
7 months ago
0
Sumcheck Documentation paper
#5
krakhit
closed
9 months ago
0
GPU implementation of sumcheck
#4
krakhit
closed
4 months ago
0
Algorithm 2: Rust POC
#3
krakhit
closed
9 months ago
0
Algorithm 1: Rust POC
#2
krakhit
closed
9 months ago
0
Parallelizable sumcheck project
#1
krakhit
opened
1 year ago
0