Esse é agradável! Lembro-me de ler o artigo de @recmo de 2017 sobre como otimizar a multiplicação de 512 bits EVM usando o Teorema do Resto Chinês OG há mais de 8 anos 🔥