kroma-network / tachyon

Modular ZK(Zero Knowledge) backend accelerated by GPU
MIT License
7.78k stars 226 forks source link

feat(math): implement field extension for stark fields #443

Closed chokobole closed 1 month ago

chokobole commented 1 month ago

Description

This PR implements some parts of the BinomialExtensionField, which are missing in Tachyon, specifically, QuarticExtension.

You might need https://eprint.iacr.org/2006/471.pdf to review the multiplication and square calculations. Use https://blkcipher.pl/assets/pdfs/Handbook_of_Elliptic_and_Hyperelliptic_Curve_Cryptography.pdf to review the inversion calculations.