proof-carrying-data

There are 5 repositories under proof-carrying-data topic.

arkworks-rs/pcd
Implementations of proof-carrying data
Language:Rust33 15 411
arkworks-rs/accumulation
Rust library for accumulation schemes
Language:Rust23 11 711
joshbeal/derecho
A Rust library for proof-carrying disclosures
Language:Rust20 3 01
zb99zhou/pcd-from-multi-folding
Implementations of proof-carrying data from multi-folding schemes
Language:Rust4 2 81
tesser-labs/bitcoin-fold
Implementation of a Proof-Carrying-Header for bitcoin using Nova IVC
Language:Rust30