Lib.rs

› Cryptography › Magic Beans
#zk-vm #zero-knowledge #succinct-sp1 #succinct

sp1-recursion-gnark-ffi

FFI bindings to Gnark for SP1

by jtguibas, succinctlabs, tamirhemo, nhtyy, mattstam, bergkvist

54 releases (stable)

6.2.3 Jun 1, 2026
6.1.0 Apr 11, 2026
6.0.2 Feb 26, 2026
5.2.4 Dec 15, 2025
0.0.2-test Jul 12, 2024

#27 in #succinct-sp1

Download history 3550/week @ 2026-03-03 15602/week @ 2026-03-10 14076/week @ 2026-03-17 15314/week @ 2026-03-24 13487/week @ 2026-03-31 14736/week @ 2026-04-07 15729/week @ 2026-04-14 14464/week @ 2026-04-21 14736/week @ 2026-04-28 24841/week @ 2026-05-05 42369/week @ 2026-05-12 47034/week @ 2026-05-19 40158/week @ 2026-05-26 30391/week @ 2026-06-02

164,193 downloads per month
Used in 31 crates (6 directly)

MIT/Apache

435KB
10K SLoC

Rust 7.5K SLoC // 0.0% comments Go 3K SLoC // 0.1% comments

sp1-recursion-gnark-ffi

FFI bindings to Gnark for SP1.

Provides Rust bindings to the Gnark library for generating Groth16 and PLONK proofs from SP1's recursion output.

Part of SP1, a performant zkVM.

Dependencies

~31–66MB
~1M SLoC