1/ SIMD-0334, de Stanislav Ladyzhenskiy, corrige a verificação de syscall alt_bn128_pairing de Solana. Ele adiciona uma verificação de comprimento adequada nos bytes de entrada para pares de curvas elípticas, evitando qualquer uso indevido com entradas de tamanho incorreto. Vamos detalhar o que isso significa 🧵

2/ alt_bn128_pairing é uma syscall para emparelhamento na curva elíptica BN128 usada em provas de conhecimento zero. Ele usa uma lista de pontos de curva como entrada. Cada par de pontos tem 192 bytes, portanto, as entradas válidas devem ser um múltiplo de 192 bytes de comprimento.

3/ O problema: a verificação de comprimento usou o checked_rem de Rust incorretamente. checked_rem só retorna Nenhum na divisão por zero, então a verificação nunca falhou com 192. Como resultado, a syscall de emparelhamento seria executada mesmo se a entrada não fosse um múltiplo de 192.

4/ A correção: verifique se o comprimento de entrada é um múltiplo de 192 e erro se não. Isso captura todos os bytes restantes imediatamente, em vez de ignorá-los silenciosamente. As alterações de código estão em solana-sdk e vem com o Agave v3.1.0.