Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Tasks List #6

Open
13 of 32 tasks
SuccinctPaul opened this issue Aug 3, 2023 · 0 comments
Open
13 of 32 tasks

Tasks List #6

SuccinctPaul opened this issue Aug 3, 2023 · 0 comments

Comments

@SuccinctPaul
Copy link
Owner

SuccinctPaul commented Aug 3, 2023

Stuff to implement

  • Reed-Solomon Fingerprinting, a special case of Reed-Solomon encoding
  • Frivalds Algorithm for verifying correctness of outsourced matrix multiplication
  • Univariate langrange Intepolation
  • Multinear Extensions / Multivariate lagrange interpolation
  • Sum-Check Protocol
  • GKR Protocol
  • Fiat-Shamir Abstraction
  • Non-Interactive Sum-Check Protocol
  • R1CS over GKR
  • Succinct IP for Circuit Satisfiability
  • Merkle-tree Commitment
  • Low-Degree Testing
  • Multi-Prover IP for Circuit Satisfiability
  • Quasilinear PCP for Circuit Satisfiability
  • Polynomial IOP for Circuit Satisfiability using Univariate Sum-Check
  • Polynomial IOP from GKR
  • Polynomial IOP from Clover
  • FRI
  • Ligero
  • Schnorr's Sigma Protocol for Knowledge of Discrete Log
  • Pederson Commitments
  • Fiat-Shamir'd Sigma Protocols
  • A ZK-circuit using Masking Polynomials
  • DLog based Polynomial Commitments
  • Bulletproofs
  • KZG
  • Dory
  • Hydrax
  • GGPR13
  • Groth16
  • Plonk
  • Plonk Variants
@SuccinctPaul SuccinctPaul pinned this issue Aug 3, 2023
@SuccinctPaul SuccinctPaul changed the title Tasks LIst Tasks List Aug 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant