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

Build excluding networking and other IO #2761

Open

jeswr opened this issue Jan 8, 2025 · 0 comments

jeswr commented Jan 8, 2025

Is your feature request related to a problem? Please describe.

I would like to run scryer-prolog inside the risczero zkvm to be able to build verifiable N3 query results.

To run code inside the VM, any packages used must:

Use only pure rust code (no FFI / C++ bindings allowed)
Not have any IO components; the triples are passed to the VM in memory.

Describe the solution you'd like

A build or version of scryer-prolog that does not include any IO functionality in the package.

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