Bom trabalho! Lembro-me de ter lido o artigo do @recmo de 2017 sobre como otimizar a multiplicação de 512 bits do EVM usando o Teorema do Resto Chinês OG há mais de 8 anos 🔥