Swift compatibility

The v1.0.2 tag includes ProveKit’s C FFI, which is the native integration point for an iOS host. This documentation check did not validate an iOS end-to-end run with v1.0.2 keys and proofs.

Match the native build to the artifacts

The previous Swift example used a Verity 0.3.2 binary without showing that its ProveKit backend matches v1.0.2. Do not pair that unverified binary with v1.0.2 .pkp, .pkv, or proof artifacts. Build the FFI and host package from a known compatible release, then verify a proof on an iOS device or simulator before shipping.

The FFI requires pk_init() before prove or verify, memory configuration before initialization, and pk_free_buf() for every returned buffer. See the v1.0.2 FFI source and header for exact calls and ownership rules.

Related pages

• Generate artifacts
• Artifact lifecycle
• Rust end-to-end