Results 1 comments of 81'abin

I think the challenge is expressing these non-linear computations in R1CS?