/pkg/proof/
../
proof.go