sxt-proof-of-sql icon indicating copy to clipboard operation
sxt-proof-of-sql copied to clipboard

test: implement `NaiveEvaluationProof`

Open JayWhite2357 opened this issue 2 months ago • 0 comments

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

JayWhite2357 avatar Dec 05 '24 12:12 JayWhite2357