This library is Swift wrapper for the Rapidsnark. It enables the generation of proofs for specified circuits within an iOS environment.
iOS: Compatible with any iOS device with 64 bit architecture.
Version for emulator built without assembly optimizations, resulting in slower performance.
macOS: Not supported yet.
- iOS 12.0+
rapidsnark is available through CocoaPods and SPM. To install it, simply add the following line to your Podfile:
pod 'rapidsnark'
or add it to your project SPM dependencies in XCode.
Generates a proof and public signals using a .zkey file path and witness data buffer.
Reads .zkey file directly from filesystem.
import rapidsnark
let zkeyPath = "path/to/zkey"
let witness = Data(/* witness data */)
let (proof, inputs) = try groth16Prove(zkeyPath: zkeyPath, witness: witness)
Verifies proof and public signals against verification key.
let isValid = try groth16Verify(proof: proof, inputs: publicSignals, verificationKey: verificationKey)
Calculates public buffer size for specified zkey.
import rapidsnark
// ...
let bufferSize = try groth16PublicBufferSize(zkeyPath: zkeyPath)
groth16Prove
has an optional proofBufferSize
, publicBufferSize
and errorBufferSize
parameters.
If publicBufferSize
is too small it will be calculated automatically by library.
These parameters are used to set the size of the buffers used to store the proof, public signals and error.
If you have embedded circuit in the app, it is recommended to calculate the size of the public buffer once and reuse it.
To calculate the size of public buffer call groth16PublicBufferSize
.
To run the example project, clone the repo, and run pod install
from the Example directory first.
Then open the rapidsnark.xcworkspace
file in XCode and run it on iOS device or simulator.
The project is licensed under either of
at your option.
- Rapidsnark is licensed under the LGPL-3