Documentation for the Remainder GKR + Hyrax proof system.
We are happy to look at small PRs regarding typos or adding additional sections or examples, although we won't always be able to get back to you in a timely manner. Please email us at <tfhard at toolsforhumanity.com> if you have any issues you'd like to raise.