Libzkfpdll May 2026

| Backend | Proof gen (ms) | Verify (ms) | Proof size (B) | Setup trust | |---------|----------------|--------------|----------------|-------------| | Groth16 | 210 | 8 | 192 | Trusted (1 day) | | Plonk | 410 | 24 | 784 | Universal | | Bulletproofs | 1840 | 92 | 1248 | Transparent |

let proof = Prover::new(&pk) .private("preimage", preimage) .public("digest", &digest) .generate() .unwrap(); libzkfpdll

let compiler = FpdlCompiler::new(code).unwrap(); let (pk, vk) = compiler.setup(BackendType::Groth16).unwrap(); | Backend | Proof gen (ms) | Verify

@gate "ec_add" (x1, y1, x2, y2) => (x3, y3) elliptic_curve = "secp256k1" &digest) .generate() .unwrap()