Kotlin compatibility

The v1.0.2 tag includes ProveKit’s C FFI, which can be wrapped by JNI for Android. This documentation check did not validate an Android end-to-end run with v1.0.2 keys and proofs.

Match the native build to the artifacts

The previous Kotlin example used a Verity 0.3.2 AAR without showing that its ProveKit backend matches v1.0.2. Do not pair that unverified AAR with v1.0.2 .pkp, .pkv, or proof artifacts. Build the FFI and Android package from a known compatible release, then verify a proof on each target ABI 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