Pinned

1. zkcsp-over-bitcoin zkcsp-over-bitcoin Public

   An implementation for fair auditing and contingent payments in Bitcoin

   C++ 21 5

2. sha256-circuit sha256-circuit Public

   An efficient circuit implementation of SHA256.

   11 1

3. pay-to-sudoku-attack pay-to-sudoku-attack Public

   C++ 10 1

4. imdea-software/legosnark imdea-software/legosnark Public

   C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.

   C++ 37 6