search

SeiyaKobayashi / zkml-optimization

Optimization for on-chain private machine learning.
MIT License
13 stars 1 forks source link

[TASK]: Implement `verify()` function #8

Closed SeiyaKobayashi closed 1 year ago

SeiyaKobayashi commented 1 year ago

📝 Overview

Implement verify() function of Verifier contract.

🖋 Details

📚 References

SeiyaKobayashi commented 1 year ago

We first need to check if the targeted commitment is already revealed or not (i.e. better to an add additional field (e.g. isRevealed to commitment struct)).

SeiyaKobayashi commented 1 year ago

Same as #30.