proof-carrying-data topic
List
proof-carrying-data repositories
pcd
29
Stars
10
Forks
Watchers
Implementations of proof-carrying data
accumulation
20
Stars
5
Forks
Watchers
Rust library for accumulation schemes
derecho
15
Stars
1
Forks
Watchers
A Rust library for proof-carrying disclosures