Skip to content

Latest commit

 

History

History
12 lines (8 loc) · 779 Bytes

README.md

File metadata and controls

12 lines (8 loc) · 779 Bytes

Implementation of SNARKs to prove/verify partial equality to the bytes of a Bitcoin transaction tx with a given txid.

This crate provides a thin blanket implementation of TransactionRedactionSnark that leverages any implementation of PeqSnark. For more details see crate peqpreimage-snark.

Benchmarks

The benchmarks reported in the paper have been obtained running:

cargo bench -- --nocapture

The commit-and-prove approach uses Groth16. The IVC approach uses Nova. See the paper for a comparison of both approaches.