@baerae/zkap-zkp-react-native 0.1.2 → 0.1.4

package/README.md

@@ -11,8 +11,6 @@ npm install @baerae/zkap-zkp-react-native
 Requires Expo New Architecture and the following peer dependencies:
 
 - `expo`
-- `expo-crypto`
-- `expo-file-system`
 - `expo-modules-core`
 - `react-native`
 

package/android/src/main/java/uniffi/zkap_uniffi_bindings/zkap_uniffi_bindings.kt

@@ -1323,11 +1323,11 @@ public object FfiConverterTypeZkapSecret: FfiConverterRustBuffer<ZkapSecret> {
 sealed class ZkapException: kotlin.Exception() {
     
     class ApplicationException(
-        
-        val `message`: kotlin.String
+
+        val errorMessage: kotlin.String
         ) : ZkapException() {
         override val message
-            get() = "message=${ `message` }"
+            get() = "message=${ errorMessage }"
     }
     
 
@@ -1361,7 +1361,7 @@ public object FfiConverterTypeZkapError : FfiConverterRustBuffer<ZkapException>
             is ZkapException.ApplicationException -> (
                 // Add the size for the Int that specifies the variant plus the size needed for all fields
                 4UL
-                + FfiConverterString.allocationSize(value.`message`)
+                + FfiConverterString.allocationSize(value.errorMessage)
             )
         }
     }
@@ -1370,7 +1370,7 @@ public object FfiConverterTypeZkapError : FfiConverterRustBuffer<ZkapException>
         when(value) {
             is ZkapException.ApplicationException -> {
                 buf.putInt(1)
-                FfiConverterString.write(value.`message`, buf)
+                FfiConverterString.write(value.errorMessage, buf)
                 Unit
             }
         }.let { /* this makes the `when` an expression, which ensures it is exhaustive */ }

package/ios/ZkapSdkModule.podspec

@@ -13,15 +13,14 @@ Pod::Spec.new do |s|
   s.swift_version  = '5.9'
   s.source         = { git: package['repository']['url'] }
 
-  s.source_files   = 'ios/**/*.{swift,h,m}'
+  s.source_files   = ['ZkapSdkModule.swift', 'uniffi/**/*.{swift,h,m}']
 
   # Pre-built Rust static libraries (generated by CI build-react-native.yml)
-  s.vendored_frameworks = 'ios/ZkapZkp.xcframework'
+  s.vendored_frameworks = 'ZkapZkp.xcframework'
 
-  # Expose C headers for the Rust FFI symbols
-  s.preserve_paths = 'ios/include/*.h'
+  # Expose C headers for the Rust FFI symbols (UniFFI-generated module)
+  s.preserve_paths = 'uniffi/*.h'
   s.xcconfig = {
-    'HEADER_SEARCH_PATHS' => '$(PODS_TARGET_SRCROOT)/ios/include',
     'OTHER_LDFLAGS' => '-lc++'
   }
 
@@ -29,6 +28,8 @@ Pod::Spec.new do |s|
 
   s.pod_target_xcconfig = {
     'DEFINES_MODULE' => 'YES',
-    'SWIFT_COMPILATION_MODE' => 'wholemodule'
+    'SWIFT_COMPILATION_MODE' => 'wholemodule',
+    'HEADER_SEARCH_PATHS' => '$(PODS_TARGET_SRCROOT)/uniffi',
+    'OTHER_CFLAGS' => '-fmodule-map-file=$(PODS_TARGET_SRCROOT)/uniffi/zkap_uniffi_bindingsFFI.modulemap'
   }
 end

package/ios/ZkapSdkModule.swift

@@ -119,6 +119,7 @@ public class ZkapSdkModule: Module {
             let outData = try JSONSerialization.data(withJSONObject: output)
             return String(data: outData, encoding: .utf8)!
         }
+
     }
 }
 
@@ -143,3 +144,4 @@ private func parseConfig(_ d: [String: Any]) -> ZkapCircuitConfig {
         forbiddenString: d["forbidden_string"] as! String
     )
 }
+

package/ios/ZkapZkp.xcframework/Info.plist

@@ -10,34 +10,34 @@
 			<key>HeadersPath</key>
 			<string>Headers</string>
 			<key>LibraryIdentifier</key>
-			<string>ios-arm64</string>
+			<string>ios-arm64_x86_64-simulator</string>
 			<key>LibraryPath</key>
 			<string>libzkap_uniffi_bindings.a</string>
 			<key>SupportedArchitectures</key>
 			<array>
 				<string>arm64</string>
+				<string>x86_64</string>
 			</array>
 			<key>SupportedPlatform</key>
 			<string>ios</string>
+			<key>SupportedPlatformVariant</key>
+			<string>simulator</string>
 		</dict>
 		<dict>
 			<key>BinaryPath</key>
-			<string>libzkap_uniffi_bindings_sim.a</string>
+			<string>libzkap_uniffi_bindings.a</string>
 			<key>HeadersPath</key>
 			<string>Headers</string>
 			<key>LibraryIdentifier</key>
-			<string>ios-arm64_x86_64-simulator</string>
+			<string>ios-arm64</string>
 			<key>LibraryPath</key>
-			<string>libzkap_uniffi_bindings_sim.a</string>
+			<string>libzkap_uniffi_bindings.a</string>
 			<key>SupportedArchitectures</key>
 			<array>
 				<string>arm64</string>
-				<string>x86_64</string>
 			</array>
 			<key>SupportedPlatform</key>
 			<string>ios</string>
-			<key>SupportedPlatformVariant</key>
-			<string>simulator</string>
 		</dict>
 	</array>
 	<key>CFBundlePackageType</key>

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@baerae/zkap-zkp-react-native",
-  "version": "0.1.2",
+  "version": "0.1.4",
   "description": "React Native SDK for zkap-zkp — on-device ZK proving with Groth16 (BN254) and Poseidon hash. Requires Expo New Architecture.",
   "main": "./src/index.ts",
   "types": "./src/index.ts",
@@ -40,11 +40,10 @@
   },
   "homepage": "https://github.com/baerae-zkap/zkap-zkp",
   "bugs": "https://github.com/baerae-zkap/zkap-zkp/issues",
+  "author": "baerae-zkap",
   "license": "MIT OR Apache-2.0",
   "peerDependencies": {
     "expo": ">=50.0.0",
-    "expo-crypto": ">=13.0.0",
-    "expo-file-system": ">=17.0.0",
     "expo-modules-core": ">=1.12.0",
     "react-native": ">=0.73.0"
   },

package/src/index.ts

@@ -114,7 +114,7 @@ export async function generateLeafHash(
 
 /**
  * Generate Groth16 proofs (on-device proving).
- * Requires PK to be downloaded and cached via initProveArtifacts().
+ * Requires a proving key file on disk.
  */
 export async function prove(
   config: CircuitConfig,
@@ -152,4 +152,3 @@ export function verify(): never {
   );
 }
 
-export { initProveArtifacts } from './artifact-manager';

package/src/artifact-manager.ts

@@ -1,231 +0,0 @@
-/**
- * artifact-manager — MVP implementation
- *
- * Included:  download, cache path management, SHA256 verification,
- *            atomic rename, max 3 retries, progress callback
- * Excluded:  HTTP Range resume, background download, advanced cache cleanup
- */
-
-import * as FileSystem from 'expo-file-system';
-import * as Crypto from 'expo-crypto';
-
-// ──────────────────────────────────────────────────────────────────
-// Types
-// ──────────────────────────────────────────────────────────────────
-
-export interface ArtifactManifest {
-  version: string;
-  circuit: string;
-  artifacts: {
-    proving_key: {
-      url: string;
-      sha256: string;
-      size_bytes: number;
-      compressed_size_bytes?: number;
-    };
-  };
-  min_sdk_version: string;
-  max_sdk_version: string;
-}
-
-export interface InitProveArtifactsOptions {
-  /** URL of the manifest.json that describes the proving key location */
-  manifestUrl: string;
-  /**
-   * Local directory for caching the proving key.
-   * Defaults to `<FileSystem.cacheDirectory>/zkap/`
-   */
-  cacheDir?: string;
-  /**
-   * Called periodically during download.
-   * `downloaded` and `total` are in bytes.
-   */
-  onProgress?: (downloaded: number, total: number) => void;
-}
-
-// ──────────────────────────────────────────────────────────────────
-// Constants
-// ──────────────────────────────────────────────────────────────────
-
-const MAX_RETRIES = 3;
-const RETRY_BASE_DELAY_MS = 1000;
-
-// ──────────────────────────────────────────────────────────────────
-// Public API
-// ──────────────────────────────────────────────────────────────────
-
-/**
- * Download (if not cached) and verify the Groth16 proving key.
- *
- * Returns the local file path to the cached proving key,
- * which should be passed to `prove()` as `request.pk_path`.
- *
- * @throws if download fails after 3 retries, or SHA256 verification fails
- */
-export async function initProveArtifacts(
-  options: InitProveArtifactsOptions
-): Promise<string> {
-  const cacheDir =
-    (options.cacheDir ?? `${FileSystem.cacheDirectory}zkap/`)
-      .replace(/^file:\/\//, '');
-
-  // Ensure cache directory exists
-  await ensureDir(cacheDir);
-
-  // 1. Download manifest
-  const manifest = await fetchManifest(options.manifestUrl);
-
-  // 2. Determine cache file path (version-namespaced to avoid stale cache)
-  const pkInfo = manifest.artifacts.proving_key;
-  const fileName = `zkap-${manifest.version}-pk.bin`;
-  const pkCachePath = `${cacheDir}${fileName}`;
-  const pkTmpPath = `${pkCachePath}.tmp`;
-
-  // 3. Check if already cached and valid
-  const fileInfo = await FileSystem.getInfoAsync(pkCachePath);
-  if (fileInfo.exists) {
-    const valid = await verifySha256(pkCachePath, pkInfo.sha256);
-    if (valid) {
-      return pkCachePath;
-    }
-    // Cache is corrupted — delete and re-download
-    await FileSystem.deleteAsync(pkCachePath, { idempotent: true });
-  }
-
-  // 4. Download with retries
-  await downloadWithRetry({
-    url: pkInfo.url,
-    tmpPath: pkTmpPath,
-    totalBytes: pkInfo.size_bytes,
-    onProgress: options.onProgress,
-    maxRetries: MAX_RETRIES,
-  });
-
-  // 5. Verify SHA256
-  const valid = await verifySha256(pkTmpPath, pkInfo.sha256);
-  if (!valid) {
-    await FileSystem.deleteAsync(pkTmpPath, { idempotent: true });
-    throw new Error(
-      '[zkap/artifact-manager] SHA256 verification failed. ' +
-      'The downloaded file may be corrupted. Please try again.'
-    );
-  }
-
-  // 6. Atomic rename: tmp → final cache path
-  await FileSystem.moveAsync({ from: pkTmpPath, to: pkCachePath });
-
-  return pkCachePath;
-}
-
-// ──────────────────────────────────────────────────────────────────
-// Internal helpers
-// ──────────────────────────────────────────────────────────────────
-
-async function ensureDir(dir: string): Promise<void> {
-  const info = await FileSystem.getInfoAsync(dir);
-  if (!info.exists) {
-    await FileSystem.makeDirectoryAsync(dir, { intermediates: true });
-  }
-}
-
-async function fetchManifest(url: string): Promise<ArtifactManifest> {
-  const response = await fetch(url);
-  if (!response.ok) {
-    throw new Error(
-      `[zkap/artifact-manager] Failed to fetch manifest: HTTP ${response.status}`
-    );
-  }
-  return response.json() as Promise<ArtifactManifest>;
-}
-
-interface DownloadOptions {
-  url: string;
-  tmpPath: string;
-  totalBytes: number;
-  onProgress?: (downloaded: number, total: number) => void;
-  maxRetries: number;
-}
-
-async function downloadWithRetry(opts: DownloadOptions): Promise<void> {
-  let lastError: Error | null = null;
-
-  for (let attempt = 1; attempt <= opts.maxRetries; attempt++) {
-    try {
-      // Clean up any partial download from a previous attempt
-      await FileSystem.deleteAsync(opts.tmpPath, { idempotent: true });
-
-      const downloadResumable = FileSystem.createDownloadResumable(
-        opts.url,
-        opts.tmpPath,
-        {},
-        (progress) => {
-          if (opts.onProgress) {
-            opts.onProgress(
-              progress.totalBytesWritten,
-              progress.totalBytesExpectedToWrite > 0
-                ? progress.totalBytesExpectedToWrite
-                : opts.totalBytes
-            );
-          }
-        }
-      );
-
-      const result = await downloadResumable.downloadAsync();
-      if (!result || result.status !== 200) {
-        throw new Error(
-          `[zkap/artifact-manager] Download failed with status ${result?.status ?? 'unknown'}`
-        );
-      }
-
-      return; // Success
-    } catch (err) {
-      lastError = err instanceof Error ? err : new Error(String(err));
-      if (attempt < opts.maxRetries) {
-        const delay = RETRY_BASE_DELAY_MS * Math.pow(2, attempt - 1);
-        await sleep(delay);
-      }
-    }
-  }
-
-  throw new Error(
-    `[zkap/artifact-manager] Download failed after ${opts.maxRetries} attempts. ` +
-    `Last error: ${lastError?.message ?? 'unknown'}`
-  );
-}
-
-async function verifySha256(filePath: string, expectedHex: string): Promise<boolean> {
-  try {
-    // Read file as base64, convert to raw binary Uint8Array, then SHA256 the binary.
-    // NOTE: digestStringAsync hashes the string's UTF-8 bytes, not the file's binary
-    // content. We must use Crypto.digest(algorithm, Uint8Array) for correct results.
-    const base64 = await FileSystem.readAsStringAsync(filePath, {
-      encoding: FileSystem.EncodingType.Base64,
-    });
-
-    // base64 → raw binary bytes
-    const binaryStr = atob(base64);
-    const bytes = new Uint8Array(binaryStr.length);
-    for (let i = 0; i < binaryStr.length; i++) {
-      bytes[i] = binaryStr.charCodeAt(i);
-    }
-
-    // Hash the raw binary
-    const digestBuffer = await Crypto.digest(
-      Crypto.CryptoDigestAlgorithm.SHA256,
-      bytes
-    );
-
-    // ArrayBuffer → hex string
-    const digestHex = Array.from(new Uint8Array(digestBuffer))
-      .map((b) => b.toString(16).padStart(2, '0'))
-      .join('');
-
-    return digestHex.toLowerCase() === expectedHex.toLowerCase();
-  } catch {
-    return false;
-  }
-}
-
-function sleep(ms: number): Promise<void> {
-  return new Promise((resolve) => setTimeout(resolve, ms));
-}