ZKP Syscall (alt_bn128)

Compressão ZK · Fundo

Os syscalls alt_bn128 sao chamadas de sistema nativas da VM BPF adicionadas ao runtime da Solana (via SIMD-0041 e propostas relacionadas) que expoem operações de curva eliptica na curva BN254 (também conhecida como alt_bn128) — especificamente adicao de pontos, multiplicacao escalar e verificações de emparelhamento — permitindo programas on-chain verificar provas Groth16 zk-SNARK dentro de orcamentos praticos de unidades computacionais. Sem esses syscalls, implementar a verificação baseada em emparelhamento de uma prova Groth16 puramente em bytecode BPF exigiria centenas de milhoes de unidades computacionais, excedendo em muito o limite de 1,4M por transação; com os syscalls, uma verificação Groth16 completa custa na ordem de 200.000-400.000 unidades computacionais. O verificador on-chain do Light Protocol e as Confidential Transfers do Token-2022 ambos dependem dos syscalls alt_bn128, tornando-os uma peca critica da infraestrutura ZK da Solana.

Termos relacionados