I believe the paper this is premised on was posted here: hxp.io/blog/95

tevador: for the curve trees prototype, is there a EC inner product proof you will use?

then i can benchmark the alternative against whatever you're using

i just finished working through all the reciprocity proofs for resultants: github.com/narodnik/arithmetic-elli…silverman/blob/master/resultant.pdf

i will start benchmarking against halo2 but also lmk if there's something else i should include in the tests as well

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.