sxt-proof-of-sql
sxt-proof-of-sql copied to clipboard
test: implement `NaiveEvaluationProof`
Rationale for this change
A naive evaluation proof can be useful for debugging and acting as a mock type for testing.
What changes are included in this PR?
See individual commits.
- implement TestEvaluationProof
- rename TestEvaluationProof to NaiveEvaluationProof
- rename test_evaluation_proof module to naive_evaluation_proof
Are these changes tested?
Yes