Há uma maneira elegantemente simples de incorporar produtos internos de campo de base em um campo de extensão de grau d sem sobrecarga de memória e apenas sobrecarga de computação O(d). Eu finalmente fiz um write-up adequado. Muito ansioso para tentar isso para M31 em WHIR. Link em resposta.