fields
Field structures for degree-12 extension fields used by the circuits.
E12Dmodels a polynomial representation with 12 coefficients.E12Tmodels a 2-3-2 tower representation with named coefficients.
Documentation follows Scarb’s doc conventions (/// and //! comments), so it can be
rendered with scarb doc.
Fully qualified path: garaga::definitions::structs::fields
Free functions
| serialize_u384 | — |
| deserialize_u384 | — |
| serialize_u384_array | — |
| serialize_u384_array_helper | — |
| deserialize_u384_array | — |
| deserialize_u384_array_helper | — |
Structs
| u288 | — |
| RSA2048Chunks | A 2048-bit integer packed into 6 chunks of at most 384 bits each (the top chunk w5 is constrained to 128 bits). Given 22 limbs of 96 bits, groups of 4 consecutive limbs form one u384… |
| RSA2048ReductionWitness | Witness for one modular reduction a * b = q * n + r over Z, where q (quotient) and r (remainder) are 2048-bit integers in chunk representation. |
| E12D | Degree-12 extension field element (generic coefficients). Represents an element of the extension field F _ {q^12} modeled as the quotient ring F_q w /p(w), where p(w) is an irreducible polynomial of… |
| E12T | Degree-12 extension field element using a 2-3-2 tower construction. The field F _ {q^12} is built in three steps:… |