Closed hridambasu closed 1 year ago
@marsella Fixed all your comments. Didn't notice any check related to common input in stead of secret input. If you do notice, please let me know and I'll fix them.
@hridambasu Please write documentation about the range check in the proof either in the original testing issue (to close the loop) or in the documentation for the proof in the code. Then I will approve.
@marsella I documented this in the original issue.
Closes #113