8000 Support custom input scales · Issue #1791 · google/heir · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Support custom input scales #1791

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.

Sign up for GitHub

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

Jump to bottom
Open
AlexanderViand opened this issue May 5, 2025 · 0 comments
Open

Support custom input scales #1791

AlexanderViand opened this issue May 5, 2025 · 0 comments
Labels
dialect: lattigo Issues concerning the Lattigo dialect dialect: mgmt Issues concerning the mgmt dialect dialect: secret Issues related to the secret dialect python Pull requests that update Python code

Comments

@AlexanderViand
Copy link
Collaborator

Placeholder issue arising from today's office hour.

  1. make lattigo backend usable from Python frontend
  2. Allow setting scale in frontend, probably something like def foo(x: Secret[F32, Scale[50]], y: Secret[F32]): which gets converted to a func.func argAttr, e.g., {ckks.scale = 50}
  3. Make --wrap-generic pass forward function arg/result attributes to the __argattrs/res_attrs of the secret.generic wrapper
  4. (Optional) add a pass to convert the {ckks.scale = 50} to the proper management attribute, e.g., {mgmt.mgmt = #mgmt.mgmt<level = 1, scale = 50>}
  5. Make --populate-scale-ckkspass honor these attributes
@AlexanderViand AlexanderViand added dialect: lattigo Issues concerning the Lattigo dialect dialect: mgmt Issues concerning the mgmt dialect dialect: secret Issues related to the secret dialect python Pull requests that update Python code labels May 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
dialect: lattigo Issues concerning the Lattigo dialect dialect: mgmt Issues concerning the mgmt dialect dialect: secret Issues related to the secret dialect python Pull requests that update Python code
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@AlexanderViand
0