Commit Graph

2 Commits

Author SHA1 Message Date
sinuio
3cfca2fa53 rename file 2022-06-14 23:17:17 -07:00
sinuio
34ceea075e rename prover to requester 2022-06-14 23:10:50 -07:00