Groth16
Compressão ZK · Fundo
Groth16 e um sistema de prova zk-SNARK altamente eficiente introduzido por Jens Groth em 2016 que produz provas de tamanho constante (128 bytes: dois pontos G1 e um ponto G2 em uma curva eliptica amigavel a emparelhamento) com verificação em tempo constante independente da complexidade do circuito, tornando-o o sistema de prova preferido para verificação on-chain onde custos de calldata e computação sao restritos. O Light Protocol usa provas Groth16 sobre a curva BN254 (conhecida como alt_bn128 em ferramentas Ethereum) para verificar transições de estado de contas comprimidas na Solana, aproveitando os syscalls nativos de emparelhamento e adicao de pontos alt_bn128 adicionados ao SVM para manter a verificação dentro do limite de unidades computacionais por transação. O compromisso e que Groth16 requer uma cerimonia de setup confiavel por circuito, produzindo uma string de referência estruturada (SRS) cuja segurança depende dos participantes honestamente descartarem seus residuos toxicos.