Groth16

Groth16 representa uma computação por meio de um circuito e utiliza parâmetros que vinculam o sistema de prova a esse circuito. Uma prova permite verificar que existe uma testemunha que satisfaz as restrições sem reexecutar todo o cálculo.

A preparação requer uma cerimônia de confiança e a eliminação de segredos cuja conservação poderia comprometer a solidez. Alterar o circuito exige novos parâmetros específicos.

As provas contêm três elementos de grupo. Seu tamanho e verificação dependem da curva e da representação. É uma construção utilizada em sistemas ZK, mas não deve ser qualificada como a mais rápida para qualquer ambiente.