Closed dcposch closed 10 months ago
My mistake and huge props to @nalinbhardwaj for rewriting the entire verifier in Sage to find this bug... in the test suite.
leaving sage recreation here for posterity (hopefully never need to use it again lol): https://gist.github.com/nalinbhardwaj/852b5ed036a14b875de2bd8aa32609b4
My mistake and huge props to @nalinbhardwaj for rewriting the entire verifier in Sage to find this bug... in the test suite.