aztec-2.0
aztec-2.0 copied to clipboard
Generalise computation of vanishing polynomial at challenge and lagrange basis and use batch_invert for computing denominators in K