├── .gitignore ├── LICENSE ├── README.md ├── algebra ├── Proof and Implementation of Binary Euclidean Inversion.rs ├── Proof and Implementation of Euclidean Inversion.rs ├── Proof for Formula of Lagrange Basis Polynomials for Cyclic Multiplicative Subgroups.pdf ├── Proof of Euclidean Inversion for the Montgomery representation.pdf └── README.md └── protocols ├── A Brief Overview of the Modern Lookup Protocols Compatible With the KZG Polynomial Commitments (Draft).pdf └── README.md /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/taikoxyz/research/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/taikoxyz/research/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/taikoxyz/research/HEAD/README.md -------------------------------------------------------------------------------- /algebra/Proof and Implementation of Binary Euclidean Inversion.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/taikoxyz/research/HEAD/algebra/Proof and Implementation of Binary Euclidean Inversion.rs -------------------------------------------------------------------------------- /algebra/Proof and Implementation of Euclidean Inversion.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/taikoxyz/research/HEAD/algebra/Proof and Implementation of Euclidean Inversion.rs -------------------------------------------------------------------------------- /algebra/Proof for Formula of Lagrange Basis Polynomials for Cyclic Multiplicative Subgroups.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/taikoxyz/research/HEAD/algebra/Proof for Formula of Lagrange Basis Polynomials for Cyclic Multiplicative Subgroups.pdf -------------------------------------------------------------------------------- /algebra/Proof of Euclidean Inversion for the Montgomery representation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/taikoxyz/research/HEAD/algebra/Proof of Euclidean Inversion for the Montgomery representation.pdf -------------------------------------------------------------------------------- /algebra/README.md: -------------------------------------------------------------------------------- 1 | # Algebra research -------------------------------------------------------------------------------- /protocols/A Brief Overview of the Modern Lookup Protocols Compatible With the KZG Polynomial Commitments (Draft).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/taikoxyz/research/HEAD/protocols/A Brief Overview of the Modern Lookup Protocols Compatible With the KZG Polynomial Commitments (Draft).pdf -------------------------------------------------------------------------------- /protocols/README.md: -------------------------------------------------------------------------------- 1 | # Protocol research --------------------------------------------------------------------------------