Skip to content
This repository was archived by the owner on Jun 16, 2026. It is now read-only.

feat: add syft-verifuscate package for verify-then-obfuscate of enclave model code - #327

Closed
koenvanderveen wants to merge 1 commit into
mainfrom
koen/syft-verifuscate
Closed

feat: add syft-verifuscate package for verify-then-obfuscate of enclave model code#327
koenvanderveen wants to merge 1 commit into
mainfrom
koen/syft-verifuscate

Conversation

@koenvanderveen

Copy link
Copy Markdown
Collaborator

Summary

  • New workspace package syft-verifuscate: verify-then-obfuscate for JAX/Flax model-inference code that runs in an enclave on a second party's private data
  • verifuscate.run(...) statically verifies that private model-definition lines only do trusted JAX/Flax math (no imports, file/network access, or dynamic-Python escape hatches), then obfuscates them (rename identifiers, blank constants, strip comments) so the model architecture stays secret
  • Also exposes verify(...) (check only, returns violations) and obfuscate(...); strict=False returns a RunResult instead of raising PolicyViolation
  • Registers the package in the root workspace and test extras

Test plan

  • uv run pytest packages/syft-verifuscate/tests/ — 18 tests pass
  • pre-commit run --all-files passes

@rasswanth-s

Copy link
Copy Markdown
Collaborator

Closing the PR, as we have shifted to PySyft

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

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants