zero-knowledge-proof topic

List zero-knowledge-proof repositories

zkDL

27
Stars
1
Forks
Watchers

zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA

bitcoin-circle-stark

92
Stars
20
Forks
Watchers

Building blocks of a Circle STARK verifier in Bitcoin script