aszepieniec / stark-anatomy

Tutorial for STARKs with supporting code in python
Apache License 2.0
198 stars 53 forks source link

Fix error in calculation of boundary quotient degrees #4

Closed Sword-Smith closed 2 years ago

Sword-Smith commented 2 years ago

The boundary quotient is found by dividing the trace interpolant minus the boundary interpolant with the boundary zerofier, so to find the resulting degree, one should subtract the degree of the boundary zerofier from the degree of the trace interpolant.