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

feat[nonnative]: implement emulated API #314

Closed
Tracked by #211
ivokub opened this issue May 10, 2022 · 0 comments
Closed
Tracked by #211

feat[nonnative]: implement emulated API #314

ivokub opened this issue May 10, 2022 · 0 comments
Assignees
Milestone

Comments

@ivokub
Copy link
Collaborator

ivokub commented May 10, 2022

The circuit receives the API to perform operations. Right now, in order to implement already existing circuits/gadgets over emulated fields, we would need to rewrite the circuits to adapt the emulated arithmetic API. This is inconvenient.

Easier approach would be to implement a fake-API, which can be instantiated similarly to parameters in emulated arithmetic. Then, in native circuit it is possible to initiate the emulated API and call the Define method of an existing circuit.

(It would be even nicer if this would be integrated with #312 and the emulated API would be constructed by the compiler. But this would lead to cyclic imports. But if we would be willing to upgrade emulated arithmetic from being a gadget to a standalone package, then it could work. I think at some point we would need to do it anyways if we want to implement emulated arithmetic using custom gates.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant