./proof.go
./verify.go