spaceandtimelabs / sxt-proof-of-sql

Space and Time | Proof of SQL
Other
2.65k stars 93 forks source link

refactor!: change the output to `ProofPlan::verifier_evaluate` to `Result<IndexMap<ColumnRef, S>, ProofError>` #376

Closed iajoiner closed 1 week ago

iajoiner commented 1 week ago

Please be sure to look over the pull request guidelines here: https://github.com/spaceandtimelabs/sxt-proof-of-sql/blob/main/CONTRIBUTING.md#submit-pr.

Please go through the following checklist

Rationale for this change

In order to make ProofPlans composable it is better if we can feed the result of ProofPlan::verifier_evaluate back into another call of the same method.

What changes are included in this PR?

Change the output to ProofPlan::verifier_evaluate to Result<IndexMap<ColumnRef, S>, ProofError>

Are these changes tested?

Existing tests do pass.