JSTprove

Introduce process_for_witness with per-input scaling from quantized model, wandb_path parameter for piped witness/verify, circuit metadata bundling into msgpack compiled format

Full Changelog: https://github.com/inference-labs-inc/JSTprove/compare/v2.6.0...v2.6.1

What's Changed

• Introduce deferred imports for torch, onnxruntime, and transformers by @HudsonGraeme in https://github.com/inference-labs-inc/JSTprove/pull/108
• Resolve witness public_input layout mismatch for WAI verify by @HudsonGraeme in https://github.com/inference-labs-inc/JSTprove/pull/107
• Eliminate MPI dependency, migrate to Expander v0.3.1 / ECC v0.3.1 by @HudsonGraeme in https://gi...

What's Changed

• Migrate Expander/ECC deps to semver tags by @HudsonGraeme in https://github.com/inference-labs-inc/JSTprove/pull/105
• Implement optional weights-as-inputs at compile time by @HudsonGraeme in https://github.com/inference-labs-inc/JSTprove/pull/104
• Cache circuit file decompression across expander-exec invocations by @HudsonGraeme in https://github.com/inference-labs-inc/JSTpro...

What's Changed

• Add circuit compression by @HudsonGraeme in https://github.com/inference-labs-inc/JSTprove/pull/100
• Migrate to expander forks by @HudsonGraeme in https://github.com/inference-labs-inc/JSTprove/pull/101
• Add support for incremental by @HudsonGraeme in https://github.com/inference-labs-inc/JSTprove/pull/102

Full Changelog: https://github.com/inference-labs-inc/JSTp...