refactor: move ProofType
into raiko_lib
#23
repo--merge-gatekeeper.yml
on: pull_request
merge-gatekeeper
19s
ProofType
into raiko_lib
#23