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

WIP SVM verifier support #447

Draft
wants to merge 4 commits into
base: main
Choose a base branch
from
Draft

WIP SVM verifier support #447

wants to merge 4 commits into from

Conversation

sagar-a16z
Copy link
Contributor

@sagar-a16z sagar-a16z commented Aug 23, 2024

WIP onchain verifier for Solana

high level goals of this work:

  • Refactor parts of of jolt-core into jolt-types for direct SVM compilation
    • Future PR: Move more components into jolt-types
      • Move things that don't need tracing/rayon (or feature gate them) into this crate
  • Simple SVM program that statically verifies a small proof
  • Future: Generalize program inputs. Add ability to upload hyperkzg proofs to program PDAs
    • Write a better test for the program
  • Add support for other PCS
    • Hyrax (Won't be doing this - Hyrax increases verifier costs, not fun onchain)
    • zeromorph (Might not do this after discussion with mzhu)
  • Add support for R1CS
  • Add support for GrandProduct
  • Add support for Sumcheck
  • Optimize CU

@sagar-a16z sagar-a16z force-pushed the sagar/svm_wip branch 3 times, most recently from c2e2929 to 1f1ff45 Compare August 23, 2024 23:08
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

Successfully merging this pull request may close these issues.

1 participant