Skip to content

Statement of the overall checker soundness and proved the first part (point...

Mohit Tekriwal requested to merge pointChecker_integrate into master

Statement of the overall checker soundness and proved the first part (point checker soundness). The second part of the soundness theorem is yet to be defined and proven

Also, modified the realProofsScript with the equivalence between realPolyevalPoly and polypoly

Merge request reports