Closed hunjixin closed 6 months ago
in halo book, final poly consist of f1 and f2, f1 and f2 include q(x) and r(x). but in the implementation. i didnt find r_poly in prove. i see r_poly in verify and this work exact like book. i have question here why no r_poly in prove.
in halo book, final poly consist of f1 and f2, f1 and f2 include q(x) and r(x). but in the implementation. i didnt find r_poly in prove. i see r_poly in verify and this work exact like book. i have question here why no r_poly in prove.