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

Make template app compilable both to circuits and x86 #8

Open
4 tasks
NickVolynkin opened this issue May 12, 2023 · 2 comments
Open
4 tasks

Make template app compilable both to circuits and x86 #8

NickVolynkin opened this issue May 12, 2023 · 2 comments

Comments

@NickVolynkin
Copy link
Contributor

NickVolynkin commented May 12, 2023

Developers who start working with zkllvm often want to see a simple application that compiles both to a normal amd64 application and to a circuit with zkllvm.

Otherwise it's hard to understand how to make an app that compiles in both ways and how to run tests on it.

DoD:

  • Simple app with main.
  • Unit-tests for this app.
  • (optionally) functional test for a compiled app.
  • Cicruit compilation
@nkaskov
Copy link
Contributor

nkaskov commented Aug 11, 2023

We've recently created the desired functionality while doing this issue: NilFoundation/zkLLVM#181
So, once this PR is merged, we can bring such an example in the template repository: NilFoundation/zkLLVM#209

@nkaskov nkaskov changed the title Add an example of a common application with main Make template app compilable both to circuits and x86 Aug 22, 2023
@nkaskov
Copy link
Contributor

nkaskov commented Aug 22, 2023

We need to modify CMakeLists in src directory so it can be used to compile to x86. This will also require to fix the code and add main similar to how we do it in zkLLVM tests.

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

No branches or pull requests

2 participants