13:47:48 <kayabanerve[m]> I believe the paper this is premised on was posted here: https://hxp.io/blog/95/
13:49:59 <narodnik> tevador: for the curve trees prototype, is there a EC inner product proof you will use?
13:50:26 <narodnik> then i can benchmark the alternative against whatever you're using
13:51:15 <narodnik> i just finished working through all the reciprocity proofs for resultants: https://github.com/narodnik/arithmetic-elliptic-curves-silverman/blob/master/resultant.pdf
13:51:38 <narodnik> i will start benchmarking against halo2 but also lmk if there's something else i should include in the tests as well
21:16:23 <tevador> narodnik: I found out that I'd have to implement a constraint system and bulletproofs in sage, which would be a big undertaking. It might be easier to fork the existing rust code.