Skip to content

embbed .py files in the binary#214

Merged
TomWambsgans merged 2 commits intomainfrom
embed-zkdsl-implem
May 6, 2026
Merged

embbed .py files in the binary#214
TomWambsgans merged 2 commits intomainfrom
embed-zkdsl-implem

Conversation

@TomWambsgans
Copy link
Copy Markdown
Collaborator

an alternative to PR 212.

Common idea: store the important zkDSL .py files into the binary (at compile time)
Difference: don't move them back in the filesystem (at runtime). Keep them as a 'static reference, read directly from the binary.

@TomWambsgans TomWambsgans changed the title Embed zkdsl implem embbed .py files in the binary May 6, 2026
@TomWambsgans TomWambsgans merged commit 19f1c77 into main May 6, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant