GitHub repository: pan-y-tomate/prover
Primary language: Shell
Description: zkSNARK proving system for Proof Of Solvency.