#groth16 #srs #popcount #assignment


CUDA Groth16 proof generator for Filecoin

1 unstable release

0.1.0 Aug 30, 2023
Download history 10/week @ 2023-08-24 65/week @ 2023-08-31 27/week @ 2023-09-07 37/week @ 2023-09-14 54/week @ 2023-09-21 70/week @ 2023-09-28 49/week @ 2023-10-05 79/week @ 2023-10-12 69/week @ 2023-10-19 85/week @ 2023-10-26 97/week @ 2023-11-02 48/week @ 2023-11-09 77/week @ 2023-11-16 89/week @ 2023-11-23 104/week @ 2023-11-30

344 downloads per month
Used in 5 crates (via bellperson)


229 lines

Commit 2

The final step of the sealing process is to generate a zkSNARK for the proof of replication (porep). Using the inclusion proofs from C1, the inputs are put through the porep circuit and a proof generated using Groth16.

Intended Usage

The SupraSeal C2 operations are different than the rest of the library in that there are dependencies on primitives in external libraries. Specifically with bellperson through the use of a modified version of synthesize_circuits_batch() to generate the witness. From there the vectors are put through various MSM and NTT kernels on GPU and CPU. Note this requires the usage of a Rust based interface as opposed to the C/C++ seen throughout SupraSeal.

The use of bellperson currently complicates matters since the library needs to be modified slightly in order to run with the SupraSeal Groth16 primitives. This will be rectified in bellperson v0.26 introducing cuda-supraseal feature flag, but for the moment of this writing the demos/c2-test/run.me PoC script performs the necessary steps and executes a 32GiB test/benchmark. It's assumed that you've previously fetched the corresponding parameters. The expected execution time for the test is approximately 2-3 minutes depending on GPU.


~132K SLoC