| proofman-fields cargo | | not built 1.3.2-alpha did not build | Goldilocks field arithmetic, extensions, Poseidon hashes, Merkle trees, and FRI primitives for PIL2 proofman | 15K | 57m ago |
| proofman-starks-src cargo | 1.3.2-alpha | clean | Vendored pil2-stark prover sources (C/C++/CUDA), compiled by proofman-starks-lib-c | 15K | 54m ago |
| proofman-starks-lib-c cargo | | not built 1.3.2-alpha did not build | Rust FFI bindings to the pil2-stark C/CUDA proving library | 14K | 55m ago |
| proofman-verifier cargo | | not built 1.3.2-alpha did not build | STARK proof verifier with Poseidon transcripts for the PIL2 proofman framework | 14K | 54m ago |
| proofman-util cargo | 1.3.2-alpha | clean | Low-level utilities (device buffers, timers, helpers) for the PIL2 proofman framework | 8.0K | 55m ago |
| proofman-macros cargo | 1.3.2-alpha | clean | Procedural macros for the PIL2 proofman framework | 7.9K | 54m ago |
| proofman-common cargo | | not built 1.3.2-alpha did not build | Shared proof/setup contexts, traces, and STARK metadata types for the PIL2 proofman framework | 7.9K | 55m ago |
| proofman-hints cargo | | not built 1.3.2-alpha did not build | Hint definitions and evaluation for the PIL2 proofman framework | 7.8K | 53m ago |
| proofman-witness cargo | | not built 1.3.2-alpha did not build | Witness library, component, and manager traits for the PIL2 proofman framework | 7.8K | 53m ago |
| pil2-std-lib cargo | | not built 1.3.2-alpha did not build | PIL2 standard library: range checks, lookups, and sum/product arguments for proofman | 7.8K | 55m ago |
| proofman-curves cargo | | not built 1.3.2-alpha did not build | Elliptic curves over Goldilocks extensions (EcGFp5, EcMasFp5) for the PIL2 proofman framework | 7.8K | 40m ago |
| proofman cargo | | not built 1.3.2-alpha did not build | PIL2 proof manager: orchestrates witness generation, STARK proving, recursion, and SNARK wrapping | 7.7K | 54m ago |
| pil2-pilout cargo | | not built 1.3.2-alpha did not build | Generated Rust types for the PILOUT (PIL2 intermediate output) protobuf format | 7.0K | 46m ago |
| pil2-stark-recurser cargo | | not built 1.3.2-alpha did not build | STARK recursion setup tooling for the pil2-stark prover | 7.0K | 53m ago |
| proofman-exps-codegen cargo | 1.3.2-alpha | clean | Expression code generation for the PIL2 proofman framework | 7.0K | 30m ago |
| pil2-stark-setup cargo | | not built 1.3.2-alpha did not build | Setup and proving/verifying-key generation for the pil2-stark prover | 7.0K | 45m ago |
