JSTprove 1.0.0__py3-none-macosx_11_0_arm64.whl

jstprove-1.0.0.dist-info/METADATA

@@ -0,0 +1,397 @@
+Metadata-Version: 2.4
+Name: JSTprove
+Version: 1.0.0
+Summary: Zero-knowledge proofs of ML inference on ONNX models
+Author: Inference Labs Inc
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: numpy==2.2.6
+Requires-Dist: onnx==1.17.0
+Requires-Dist: onnxruntime==1.21.0
+Requires-Dist: onnxruntime_extensions==0.14.0
+Requires-Dist: psutil==7.0.0
+Requires-Dist: Requests==2.32.3
+Requires-Dist: scikit_learn==1.6.1
+Requires-Dist: toml==0.10.2
+Requires-Dist: tomli==2.0.1; python_version < "3.11"
+Requires-Dist: torch==2.6.0
+Requires-Dist: transformers==4.52.4
+Dynamic: license-file
+
+```
+  888888  .d8888b. 88888888888
+    "88b d88P  Y88b    888
+     888 Y88b.         888
+     888  "Y888b.      888  88888b.  888d888 .d88b.  888  888  .d88b.
+     888     "Y88b.    888  888 "88b 888P"  d88""88b 888  888 d8P  Y8b
+     888       "888    888  888  888 888    888  888 Y88  88P 88888888
+     88P Y88b  d88P    888  888 d88P 888    Y88..88P  Y8bd8P  Y8b.
+     888  "Y8888P"     888  88888P"  888     "Y88P"    Y88P    "Y8888
+   .d88P                    888
+ .d88P"                     888
+888P"                       888
+```
+---
+
+# JSTprove
+
+[![GitHub](https://img.shields.io/badge/GitHub-Repository-blue?style=flat-square&logo=github)](https://github.com/inference-labs-inc/JSTprove)
+[![Telegram](https://img.shields.io/badge/Telegram-Join%20Channel-0088cc?style=flat-square&logo=telegram)](https://t.me/inference_labs)
+[![Twitter](https://img.shields.io/badge/Twitter-Follow%20Us-1DA1F2?style=flat-square&logo=twitter)](https://x.com/inference_labs)
+[![Website](https://img.shields.io/badge/Website-Visit%20Us-ff7139?style=flat-square&logo=firefox-browser)](https://inferencelabs.com)
+[![White paper](https://img.shields.io/badge/Whitepaper-Read-lightgrey?style=flat-square&logo=read-the-docs)](https://doi.org/10.48550/arXiv.2510.21024)
+
+Zero-knowledge proofs of ML inference on **ONNX** models — powered by [Polyhedra Network’s **Expander**](https://github.com/PolyhedraZK/Expander) (GKR/sum-check prover) and [**Expander Compiler Collection (ECC)**](https://github.com/PolyhedraZK/ExpanderCompilerCollection).
+
+* 🎯 **You bring ONNX** → we quantize, compile to a circuit, generate a witness, prove, and verify — via a simple CLI.
+* ✅ Supported ops (current): **Conv2D**, **GEMM/MatMul (FC)**, **ReLU**, **MaxPool2D**.
+* 🧰 CLI details: see **[docs/cli.md](docs/cli.md)**
+
+👉 Just want to see it in action? Jump to [Quickstart (LeNet demo)](#quickstart-lenet-demo).<br>
+👉 Curious about how it works under the hood? Check out the [white paper](https://doi.org/10.48550/arXiv.2510.21024).
+
+---
+
+## Table of Contents
+<details>
+<summary>Click to expand</summary>
+
+- [What is JSTprove?](#what-is-jstprove)
+  - [High-level architecture](#high-level-architecture)
+  - [Design principles](#design-principles)
+- [Installation](#installation)
+  - [0) Requirements](#0-requirements)
+  - [1) System packages](#1-system-packages)
+  - [2) Rust toolchain](#2-rust-toolchain)
+  - [3) Clone JSTprove & set up Python](#3-clone-jstprove--set-up-python)
+  - [4) Install & verify Expander (before building JSTprove)](#4-install--verify-expander-before-building-jstprove)
+  - [5) Build the JSTprove runner (optional; the CLI can build on demand)](#5-build-the-jstprove-runner-optional-the-cli-can-build-on-demand)
+  - [6) Try the CLI](#6-try-the-cli)
+- [Quickstart (LeNet demo)](#quickstart-lenet-demo)
+- [CLI reference](#cli-reference)
+- [Troubleshooting](#troubleshooting)
+- [Contributing](#contributing)
+- [Disclaimer](#disclaimer)
+- [Acknowledgments](#acknowledgments)
+
+</details>
+
+## What is JSTprove?
+
+**JSTprove** is a [zkML](https://docs.inferencelabs.com/zk-ml) toolkit/CLI that produces [**zero-knowledge proofs**](https://docs.inferencelabs.com/resources/glossary#zero-knowledge-proof) **of AI** [**inference**](https://docs.inferencelabs.com/resources/glossary#inference).
+You provide an **ONNX** model and inputs; JSTprove handles **quantization**, **circuit generation** (via ECC), **witness creation**, **proving** (via Expander), and **verification** — with explicit, user-controlled file paths.
+
+### High-level architecture
+
+* **Python pipeline:** Converts **ONNX → quantized ONNX**, prepares I/O, drives the Rust runner, exposes the **CLI**.
+* **Rust crate:** `rust/jstprove_circuits` implements layer circuits (Conv2D, ReLU, MaxPool2D, GEMM/FC) and a runner.
+* **Circuit frontend:** [ECC](https://github.com/PolyhedraZK/ExpanderCompilerCollection) Rust API for arithmetic circuits.
+* **Prover backend:** [Expander](https://github.com/PolyhedraZK/Expander) (GKR/sum-check prover/verification).
+
+```
+ONNX model ─► Quantizer (Py) ─► Circuit via ECC (Rust) ─► Witness (Rust) ─► Proof (Rust) ─► Verify (Rust)
+```
+
+### Design principles
+
+- **User-friendly frontend to Expander:** A thin, practical, circuit-based layer that makes Expander/ECC easy to use from a simple CLI — no circuit classes, no path inference, predictable artifacts.
+- **Explicit & reproducible:** You pass exact paths; we emit concrete artifacts (circuit, quantized ONNX, witness, proof). No hidden discovery or heuristics.
+- **Clear separation:** Python orchestrates the pipeline and I/O; Rust implements the circuits and invokes Expander/ECC.
+- **Quantization that's simple & faithful:** We scale tensors, **round to integers**, run the model, and (where needed) **rescale** outputs back. Scaling keeps arithmetic cheap while remaining close to the original FP behavior.
+- **Small, fast circuits when possible:** Where safe, we fuse common patterns (e.g., **Linear + ReLU**, **Conv + ReLU**) into streamlined circuit fragments to reduce constraints.
+- **Deterministic debugging:** We prefer loud failures and inspectable intermediates (e.g., `*_reshaped.json`) over implicit magic.
+
+---
+
+## Installation
+
+### Installing from PyPI (Recommended)
+
+#### Prerequisites
+- **UV**: Fast Python package manager ([install UV](https://docs.astral.sh/uv/getting-started/installation/))
+- **OpenMPI**: Required system dependency
+
+**macOS:**
+```bash
+brew install open-mpi
+```
+
+**Ubuntu/Debian:**
+```bash
+sudo apt-get update
+sudo apt-get install -y libopenmpi-dev openmpi-bin
+```
+
+**Other Linux:**
+- RHEL/CentOS/Fedora: `sudo dnf install openmpi openmpi-devel`
+- Arch: `sudo pacman -S openmpi`
+
+#### Install JSTprove
+```bash
+uv tool install JSTprove
+```
+
+#### Verify installation
+```bash
+jst --help
+```
+
+> Note: The package includes all necessary binaries (onnx_generic_circuit and expander-exec) for the full workflow.
+
+### Installing from GitHub Release
+
+Download the appropriate wheel for your platform from the [latest release](https://github.com/Inference-Labs-Inc/jstprove/releases/latest):
+- Linux: `JSTprove-*-manylinux_*.whl`
+- macOS (Apple Silicon): `JSTprove-*-macosx_11_0_arm64.whl`
+
+Then install:
+```bash
+uv tool install /path/to/JSTprove-*.whl
+```
+
+---
+
+## Development Installation
+
+<details>
+<summary>Click to expand for development setup instructions</summary>
+
+### 0) Requirements
+
+- **Python**: 3.10–3.12 (⚠️ Not compatible with Python 3.13)
+- **UV**: Fast Python package manager ([install UV](https://docs.astral.sh/uv/getting-started/installation/))
+
+> Note: UV will automatically install and manage the correct Python version for you.
+
+> **Heads-up:** If you just installed `uv` and the command isn't found, **close and reopen your terminal** (or re-source your shell init file) so the `uv` shim is picked up on`PATH`.
+
+### 1) System packages
+
+> Run commands from the **repo root** so the runner binary path (e.g., `./target/release/onnx_generic_circuit`) resolves.
+
+#### Ubuntu/Debian
+```bash
+sudo apt-get update && sudo apt-get install -y \
+  libopenmpi-dev openmpi-bin pkg-config libclang-dev clang
+```
+
+#### macOS
+
+```bash
+brew install open-mpi llvm
+```
+
+---
+
+### 2) Rust toolchain
+
+Install Rust via rustup (if you don't have it):
+
+```bash
+# macOS/Linux:
+curl https://sh.rustup.rs -sSf | sh
+# then restart your shell
+```
+
+Verify your install:
+
+```bash
+rustup --version
+rustc --version
+cargo --version
+```
+
+> This repo includes a `rust-toolchain.toml` that pins the required **nightly**.
+> When you run `cargo` in this directory, rustup will automatically download/use
+> the correct toolchain. You **do not** need to run `rustup override set nightly`.
+
+(Optional) If you want to prefetch nightly ahead of time:
+
+```bash
+rustup toolchain install nightly
+```
+
+---
+
+### 3) Clone JSTprove & set up Python
+
+```bash
+git clone https://github.com/inference-labs-inc/JSTprove.git
+cd JSTprove
+
+# Install dependencies with UV (automatically creates and manages virtual environment)
+uv sync
+```
+
+> If `uv` was just installed, you may need to **restart your terminal** before running `uv sync`.
+
+---
+
+### 4) Install & verify **Expander** (before building JSTprove)
+
+JSTprove relies on Polyhedra Network’s **Expander** (prover) and **Expander Compiler Collection (ECC)** crates.
+For a clean environment, install Expander and run its self-checks first.
+To keep paths simple (and to match our scripts), **clone Expander as a subfolder of this repo**:
+
+```bash
+# From the JSTprove repo root
+git clone https://github.com/PolyhedraZK/Expander.git
+cd Expander
+
+# Build (uses the toolchain you configured with rustup)
+cargo build --release
+```
+
+**Verify Expander:** follow the “Correctness Test” (or equivalent) in the Expander README.
+If you’re unsure, a quick smoke test is often:
+
+```bash
+cargo test --release
+```
+
+> Refer to the Expander README for the authoritative verification command(s), which may change over time.
+
+> **Why inside the repo?** Our example commands and helper scripts assume `./Expander` as the manifest path. Keeping Expander elsewhere can lead to `manifest path 'Expander/Cargo.toml' does not exist` errors unless you always pass absolute paths.
+
+*(You do **not** need to clone ECC separately unless you plan to override Cargo git sources; Cargo will fetch ECC automatically when building JSTprove.)*
+
+---
+
+### 5) Build the JSTprove runner (optional; the CLI can build on demand)
+
+```bash
+# Make sure you're back in the JSTprove repo root (not in Expander).
+# If you just followed Step 3, run:
+cd ../JSTprove
+
+# Then build:
+cargo build --release
+```
+
+> The CLI `compile` step will **(re)build** the runner automatically when needed, so this step is just a sanity check.
+
+---
+
+### 6) Install and try the CLI
+
+**Option A: Install in virtual environment (for development)**
+```bash
+# Install as editable package in venv
+uv pip install -e .
+
+# Try the CLI (with venv activated)
+jst --help
+```
+
+**Option B: Install globally (for regular use)**
+```bash
+# Install as global tool
+uv tool install .
+
+# Try the CLI (available globally)
+jst --help
+```
+
+> ⏳ Note: The first time you run this command it may take a little while due to Python/Rust imports and initialization. This is normal—subsequent runs will be faster.
+
+You can now follow the **Quickstart** commands (compile → witness → prove → verify).
+
+</details>
+
+---
+
+## Quickstart (LeNet demo)
+
+Demo paths:
+
+* ONNX: `python/models/models_onnx/lenet.onnx`
+* Input JSON: `python/models/inputs/lenet_input.json`
+* Artifacts: `artifacts/lenet/*`
+
+> ⏳ Note: The commands below may take a little longer _the first time_ they are run, as dependencies and binaries are initialized. After that, runtime reflects the actual computation (e.g., compiling circuits, generating witnesses, or proving), which can still be intensive depending on the model.
+
+1. **Compile** → circuit + **quantized ONNX**
+
+```bash
+jst compile \
+  -m python/models/models_onnx/lenet.onnx \
+  -c artifacts/lenet/circuit.txt
+```
+
+2. **Witness** → reshape/scale inputs, run model, write witness + outputs
+
+```bash
+jst witness \
+  -c artifacts/lenet/circuit.txt \
+  -i python/models/inputs/lenet_input.json \
+  -o artifacts/lenet/output.json \
+  -w artifacts/lenet/witness.bin
+```
+
+3. **Prove** → witness → proof
+
+```bash
+jst prove \
+  -c artifacts/lenet/circuit.txt \
+  -w artifacts/lenet/witness.bin \
+  -p artifacts/lenet/proof.bin
+```
+
+4. **Verify** → check the proof (needs quantized ONNX for input shapes)
+
+```bash
+jst verify \
+  -c artifacts/lenet/circuit.txt \
+  -i python/models/inputs/lenet_input.json \
+  -o artifacts/lenet/output.json \
+  -w artifacts/lenet/witness.bin \
+  -p artifacts/lenet/proof.bin
+```
+
+If it prints **Verified**, you're done 🎉
+
+---
+
+## CLI reference
+
+The CLI is intentionally minimal and **doesn't infer paths**.
+See **[docs/cli.md](docs/cli.md)** for subcommands, flags, and examples.
+
+---
+
+## Troubleshooting
+
+See **[docs/troubleshooting.md](docs/troubleshooting.md)**
+
+---
+
+## Contributing
+
+See **[docs/CONTRIBUTING.md](docs/CONTRIBUTING.md)** for dev setup, pre-commit hooks, and PR guidelines.
+
+---
+
+## Disclaimer
+
+**JSTProve** is **experimental and unaudited**. It is provided on an **open-source, “as-is” basis**, without any warranties or guarantees of fitness for a particular purpose.
+
+Use of JSTProve in **production environments is strongly discouraged**. The codebase may contain bugs, vulnerabilities, or incomplete features that could lead to unexpected results, failures, or security risks.
+
+By using, modifying, or distributing this software, you acknowledge that:
+
+ - It has not undergone a formal security review or audit.
+ - It may change substantially over time, including breaking changes.
+ - You assume full responsibility for any outcomes resulting from its use.
+
+JSTProve is made available in the spirit of **research, experimentation, and community collaboration**. Contributions are welcome, but please proceed with caution and do not rely on this software for systems where correctness, reliability, or security are critical.
+
+---
+
+## Acknowledgments
+
+We gratefully acknowledge [**Polyhedra Network**](https://polyhedra.network/) for:
+
+* [**Expander**](https://github.com/PolyhedraZK/Expander) — the GKR/sumcheck proving system we build on.
+
+* [**Expander Compiler Collection (ECC)**]() — the circuit frontend used to construct arithmetic circuits for ML layers.

jstprove-1.0.0.dist-info/RECORD

@@ -0,0 +1,81 @@
+jstprove-1.0.0.dist-info/licenses/LICENSE,sha256=UXQRcYRUH-PfN27n3P-FMaZFY6jr9jFPKcwT7CWbljw,1160
+python/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/core/__init__.py,sha256=RlfbqGAaUulKl44QGMCkkGJBQZ8R_AgC5bU5zS7BjnA,97
+python/core/binaries/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/core/binaries/expander-exec,sha256=C_1JcezdfLp9sFOQ2z3wp2gcq1k8zjIR09CxJKGGIuM,7095168
+python/core/binaries/onnx_generic_circuit_1-0-0,sha256=Lh1hGumXMjFTJEUD9SeYY2RIMl635L35Y7W7GpR0SQM,3027264
+python/core/circuit_models/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/core/circuit_models/generic_onnx.py,sha256=OevM274yeaMQIroAv-eTjUcu_tY1Kr9BqEKdoEIpKjM,7597
+python/core/circuit_models/simple_circuit.py,sha256=igQrZtQyreyHc26iAgCyDb0TuD2bJAoumYhc1pYPDzQ,4682
+python/core/circuits/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/core/circuits/base.py,sha256=GNHJs7FBGJZdvlqGxsLix2TYc41hs-jsK23gSAFWyyU,35951
+python/core/circuits/errors.py,sha256=KzIXyi2ssVvBmXV0Rgn0dBfsTgweKHjeSvP2byRmqGc,5964
+python/core/circuits/zk_model_base.py,sha256=5ggOaJjs2_MJvn-PO1cPN3i7U-XR4L-0zJGYuLVKOLc,820
+python/core/model_processing/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/core/model_processing/errors.py,sha256=uh2YFjuuU5JM3anMtSTLAH-zjlNAKStmLDZqRUgBWS8,4611
+python/core/model_processing/converters/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/core/model_processing/converters/base.py,sha256=eG7iRDbDJJDTG2cCVgYlPlfkpmYPEnMzjGNK9wrA1m0,4303
+python/core/model_processing/converters/onnx_converter.py,sha256=ks78fNZfgHU0RDnZZ2T3cdrlDxLnk7jqeR9o8OSqfFw,42862
+python/core/model_processing/onnx_custom_ops/__init__.py,sha256=ofecV9pzpDJJl_r6inRw9JOKxtfK2rzzxWahAq9BKXE,475
+python/core/model_processing/onnx_custom_ops/conv.py,sha256=6jJm3fcGWzcU4RjVgf179mPFCqsl4C3AR7bqQTffDgA,3464
+python/core/model_processing/onnx_custom_ops/custom_helpers.py,sha256=2WdnHw9NAoN_6wjIBoAQDyL6wEIlZOqo6ysCZp5DpZs,1844
+python/core/model_processing/onnx_custom_ops/gemm.py,sha256=bnEUXhqQCEcH4TIfbMTsCTtAlAlRzFvl4jj8g2QZFWU,2674
+python/core/model_processing/onnx_custom_ops/maxpool.py,sha256=dlnFIRX3lZGtpqmwSqmhRaCJpogefdtXEAUlv4NuJ0U,2316
+python/core/model_processing/onnx_custom_ops/onnx_helpers.py,sha256=utnJuc5sgb_z1LgxuY9y2cQbMpdEJ8xOOrcP8DhfDCM,5686
+python/core/model_processing/onnx_custom_ops/relu.py,sha256=iEOnGn9Hoipta3UepKIz5oO1veBdcctcLRRT-_xMPqE,1202
+python/core/model_processing/onnx_quantizer/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/core/model_processing/onnx_quantizer/exceptions.py,sha256=_YaXXEMbfD1P8N86L5YIz3uCilkuzlhv_2lU90T4FfA,5646
+python/core/model_processing/onnx_quantizer/onnx_op_quantizer.py,sha256=JpTZZKlMRLavm7vM8VNC1XQY4up7rY5Je7XIezjI1fc,7468
+python/core/model_processing/onnx_quantizer/layers/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/core/model_processing/onnx_quantizer/layers/base.py,sha256=wY2_65h0bPJHKErGlC4zamSKhhBKq3P7BEYIgwPKAV8,13259
+python/core/model_processing/onnx_quantizer/layers/constant.py,sha256=iWfurTtJk-KaQW6OI4oIDvA8H3clfVwTmf5Xy-QrM0U,3699
+python/core/model_processing/onnx_quantizer/layers/conv.py,sha256=ay9pkctbPfHmra9qZLhz5YCcEGuI67lnXZbJ5rNTgH8,6043
+python/core/model_processing/onnx_quantizer/layers/gemm.py,sha256=VRhN2goyhKFUmGMFX14p3vHvxNAvA1GLKyzjCRUnBoI,5554
+python/core/model_processing/onnx_quantizer/layers/maxpool.py,sha256=ie9rAwdQAh-QoymkrkEeFcRNLqgVk2MdmuJs4iRTc8k,4650
+python/core/model_processing/onnx_quantizer/layers/relu.py,sha256=h6KLK4rboTMc3ZA6GpsLTLkD74pumshaA8igLQeb_pw,2357
+python/core/model_templates/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/core/model_templates/circuit_template.py,sha256=X8bA4AdmtQeb3ltU74GaWYfrOFhqs_DOpUqRMFXLAD8,2352
+python/core/utils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/core/utils/benchmarking_helpers.py,sha256=0nT38SCrjP_BlvJODsc9twF9ZmIFg_1sAvSyeNfv4mQ,5235
+python/core/utils/constants.py,sha256=Qu5_6OUe1XIsL-IY5_4923eN7x1-SPv6ohQonztAobA,102
+python/core/utils/errors.py,sha256=vTlluhbSqmyI5e1JNLEZ1mQ-dG_Wbxe4p5l4aa59zAY,3739
+python/core/utils/general_layer_functions.py,sha256=l_aIqMbSUKxWdUTI_sVLqTdNZj_NnpzXXejSHidhoag,9706
+python/core/utils/helper_functions.py,sha256=3JwJa4wHoUBteukDw4bAetqMsQLeJ0_sJ0qIdKy7GCY,37097
+python/core/utils/model_registry.py,sha256=nhx1N2bV6YtqEtRuCnA6GB8TSZf2kdwzuGlUgYQc9F8,4789
+python/core/utils/scratch_tests.py,sha256=UYXsWIBh_27OxnyfH9CuxeNFT-OWCK0YpJ-j-8f0QHc,2332
+python/core/utils/witness_utils.py,sha256=ukvbF6EaHMPzRQVZad9wQ9gISRwBGQ1hEAHzc5TpGuw,9488
+python/frontend/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/frontend/cli.py,sha256=lkvhzQC6bv0AgWUypg_cH-JT574r89qgTIsgHDT9GRg,3106
+python/frontend/commands/__init__.py,sha256=HKfKIM8wKMvzUPlBMJCSAqRurPIp85btGFCNjr7DbyE,575
+python/frontend/commands/args.py,sha256=JmG4q-tbEy8_YcQsph_WLEAs_w7y7GiR22PhTrc14v4,2255
+python/frontend/commands/base.py,sha256=a7NWoXB9VL8It1TpuL2vmR7J2bhejHDllrNMBEm-JLE,6368
+python/frontend/commands/compile.py,sha256=-mE4LjBEXzgsnzTJCeas0ZkZgD-kdATpYLk52ljBw88,1905
+python/frontend/commands/constants.py,sha256=feCVczqP6xphHUta2ZMaAuYyVeemZgwU_sCWr6ky5X8,164
+python/frontend/commands/model_check.py,sha256=xsXvXzYpIagFGnUk_UYGZYx-onP0Opes95XismqvY64,1806
+python/frontend/commands/prove.py,sha256=QYVWxXBQjDhVLqmyzfPJKNcVFQDJvzuhNNnKJ5Ed370,1736
+python/frontend/commands/verify.py,sha256=ZpHGQ9DaFtq16xml7sfO2_NWlyu3YH3s5e85Yghlc2E,2076
+python/frontend/commands/witness.py,sha256=klWHRQjwVObwXGh2l1V02XszXvUC-ehgvMwUDrV9vR8,1960
+python/frontend/commands/bench/__init__.py,sha256=15dpRrxd6UMqI-2fSKpca7cwszg6L4G_R6bt7tSyHew,1711
+python/frontend/commands/bench/list.py,sha256=nbYnXnag7VaFgS474lPQcJ40JVGNzBA2olokbzkntIE,1252
+python/frontend/commands/bench/model.py,sha256=SaIWXAXZbWGbrNqEo5bs4NwgZfMOmmxaCUe5-s3mtEc,5176
+python/frontend/commands/bench/sweep.py,sha256=rl-QBS9eXgQkuPJBhsU4CohfE1PdJvnM8NRhNU7ztQw,5279
+python/scripts/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/scripts/benchmark_runner.py,sha256=sjbqaLrdjt94AoyQXAxT4FhsN6aRu5idTRQ5uHmZOWM,28593
+python/scripts/gen_and_bench.py,sha256=9kcIj-K_nG-G194C68Uig-Yw-p3nYKESACIpWRflmts,16276
+python/tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/tests/test_cli.py,sha256=OiAyG3aBpukk0i5FFWbiKaF42wf-7By-UWDHNjwtsqo,27042
+python/tests/circuit_e2e_tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/tests/circuit_e2e_tests/circuit_model_developer_test.py,sha256=Ic9hprCn1Rs-XAF-SUmBNEDn65yaCxUK9z5875KPg5o,39416
+python/tests/circuit_e2e_tests/helper_fns_for_tests.py,sha256=4toXD0pJMYVZFL1O9JZAJF-iqbi9k1eyuk_goUnchRo,5190
+python/tests/circuit_e2e_tests/other_e2e_test.py,sha256=o2YfYNwdWRbalB4pE3qZTyTs5nHAAWN33vVHtl_OHv0,6034
+python/tests/circuit_parent_classes/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/tests/circuit_parent_classes/test_circuit.py,sha256=t4h4Bkz3PJpm2fARGw6TJS4S9cE0uTa8FFkkAUaBGEI,30685
+python/tests/circuit_parent_classes/test_onnx_converter.py,sha256=naNDsxpcxH2ClsUgv5_TS_ZOpLo8XSGse_x7gfFLTUY,6266
+python/tests/circuit_parent_classes/test_ort_custom_layers.py,sha256=FEEY8nbuMC2xb6WrBsik7TeDde6SlMwwG9PKSqmCymo,3980
+python/tests/utils_testing/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+python/tests/utils_testing/test_helper_functions.py,sha256=xmeGQieh4LE9U-CDKBlHhSWqH0cAmmDU3qXNbDkkvms,27192
+jstprove-1.0.0.dist-info/METADATA,sha256=nM_w5Qsh8TwJJ6PDGZcBzND029Fj4uWwmilqQXVx_mw,14047
+jstprove-1.0.0.dist-info/WHEEL,sha256=jc2C2uw104ioj1TL9cE0YO67_kdAwX4W8JgYPomxr5M,105
+jstprove-1.0.0.dist-info/entry_points.txt,sha256=nGcTSO-4q08gPl1IoWdrPaiY7IbO7XvmXKkd34dYHc8,49
+jstprove-1.0.0.dist-info/top_level.txt,sha256=J-z0poNcsv31IHB413--iOY8LoHBKiTHeybHX3abokI,7
+jstprove-1.0.0.dist-info/RECORD,,

jstprove-1.0.0.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (80.9.0)
+Root-Is-Purelib: true
+Tag: py3-none-macosx_11_0_arm64
+

jstprove-1.0.0.dist-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+jst = python.frontend.cli:main

jstprove-1.0.0.dist-info/licenses/LICENSE

@@ -0,0 +1,26 @@
+Copyright (c) 2025 Inference Labs Inc.
+
+Source Access Grant
+You may access, view, study, and modify the source code of this software.
+
+Redistribution Conditions
+You may redistribute this software in source or modified form provided that:
+a) You retain this license document and all copyright notices
+b) Any modified files carry prominent notices stating you changed them
+c) You do not misrepresent the origin of the software
+
+Usage Restriction
+NO USE RIGHTS ARE GRANTED BY THIS LICENSE. Any operational use including but not limited to:
+- Execution of the software
+- Integration with other systems
+- Deployment in any environment
+- Commercial or production utilization requires express written permission from the IP Owner.
+
+Intellectual Property Reservation
+All rights not expressly granted herein are reserved by the IP Owner. For usage permissions, contact: legal@inferencelabs.com
+
+Disclaimer
+THIS SOFTWARE IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND. THE IP OWNER SHALL NOT BE LIABLE FOR ANY DAMAGES ARISING FROM ACCESS OR DISTRIBUTION.
+
+License Propagation
+Any distribution of this software or derivatives must be under this same license agreement.

jstprove-1.0.0.dist-info/top_level.txt

@@ -0,0 +1 @@
+python

python/core/__init__.py

@@ -0,0 +1,3 @@
+# Package metadata constants
+PACKAGE_NAME = "JSTprove"
+RUST_BINARY_NAME = "onnx_generic_circuit"