Skip to content

Instantly share code, notes, and snippets.

@flyq

flyq/Untitled.md

Created October 24, 2023 14:21
Show Gist options
  • Save flyq/c553c53f4db6e713bb5abc92bcabb72f to your computer and use it in GitHub Desktop.
Save flyq/c553c53f4db6e713bb5abc92bcabb72f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Untitled.md

Need to be tested:

  • How to deal with cross terms generated by folding Gate/Wiring instances? We need to figure out a new folded instance same as relaxed R1CS, or any other tricks
  • Can we utilize the circuit(front-end) part of halo2, and proving system(back-end) part of halo2 directly?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment