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

ASM-to-PIL linker: Use bus #1498

Open
georgwiese opened this issue Jul 1, 2024 · 0 comments
Open

ASM-to-PIL linker: Use bus #1498

georgwiese opened this issue Jul 1, 2024 · 0 comments

Comments

@georgwiese
Copy link
Collaborator

Depends on #1497

Currently, our linker translates links to native lookup or permutation arguments. In the future, it should instead:

  1. Generate a lookup / permutation annotation (see Witgen annotations in PIL #1378).
  2. Call the (not yet implemented) bus_send and bus_recieve functions (Implement basic bus #1497). For now, we'd create one accumulator for each lookup / permutation & machine. In future implementations (see VADCOP design #424), we can be smarter and have one accumulator per machine.

Step (1) could actually be skipped (keeping the native lookups / permutations), because in the upcoming CompositeBackend (#1470) they are removed anyway (but still there to help with witness generation).

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