Lagrange introduces research for efficient zk-SNARK proofs of non-polynomial functions like sin, exp, sigmoid; up to 256x lower error, 20x better prover performance.