feat!: improve arithmetic checks and update verifier API

tari-project / triptych

BSD 3-Clause "New" or "Revised" License

0 stars 3 forks source link

feat!: improve arithmetic checks and update verifier API #63

Closed AaronFeickert closed 6 months ago

AaronFeickert commented 6 months ago

This PR checks for an arithmetic side effect lint, which can help prevent unintended behavior.

It also updates the API such that proof verification now returns Result<(), ProofError> instead of bool. This simplifies the implementation and seems like a safer design.

BREAKING CHANGE: Updates the API relating to proof verification.