New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # 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.

# for free to join this conversation on GitHub. Already have an account? # to comment