search

privacy-scaling-explorations / maci

Minimal Anti-Collusion Infrastructure (MACI)
https://maci.pse.dev/
Other
493 stars 126 forks source link

Curve trees could help improve efficiency vs current merkle tree usage #771

Open ctrlc03 opened 8 months ago

ctrlc03 commented 8 months ago

It was brought up that Curve Trees might be a viable option to replace the current Merkle Trees implementations.

Material:

alexeuler commented 7 months ago

Hi @ctrlc03! Can you pls add some details about the goal of this issue? Is it to verify that Curve Trees are indeed better than Merkle for MACI, or some POC implementation needed or smth else?

ctrlc03 commented 7 months ago

Hi @ctrlc03! Can you pls add some details about the goal of this issue? Is it to verify that Curve Trees are indeed better than Merkle for MACI, or some POC implementation needed or smth else?

Hi @alexeuler - thanks for your interest in this. I'll admit I did not give this too much thought, I opened this issue to track this idea but did not do any preliminary work. I would say this issue is quite open ended, so any output would be helpful at this stage (a small PoC, a little blogpost showing them in action and debunking how they work; how they could be used in a smart contract, or in Circom (?), and/or in Typescript, etc.; could they work with MACI?; a comparison of speed/efficiency vs incremental merkle trees) - any of these would be very cool to see at this point.

Would you be interested in helping with this at all? 🙂

alexeuler commented 7 months ago

Hi @ctrlc03! Can you pls add some details about the goal of this issue? Is it to verify that Curve Trees are indeed better than Merkle for MACI, or some POC implementation needed or smth else?

Hi @alexeuler - thanks for your interest in this. I'll admit I did not give this too much thought, I opened this issue to track this idea but did not do any preliminary work. I would say this issue is quite open ended, so any output would be helpful at this stage (a small PoC, a little blogpost showing them in action and debunking how they work; how they could be used in a smart contract, or in Circom (?), and/or in Typescript, etc.; could they work with MACI?; a comparison of speed/efficiency vs incremental merkle trees) - any of these would be very cool to see at this point.

Would you be interested in helping with this at all? 🙂

Yeah, I'd love to explore this

ctrlc03 commented 7 months ago

Hi @ctrlc03! Can you pls add some details about the goal of this issue? Is it to verify that Curve Trees are indeed better than Merkle for MACI, or some POC implementation needed or smth else?

Hi @alexeuler - thanks for your interest in this. I'll admit I did not give this too much thought, I opened this issue to track this idea but did not do any preliminary work. I would say this issue is quite open ended, so any output would be helpful at this stage (a small PoC, a little blogpost showing them in action and debunking how they work; how they could be used in a smart contract, or in Circom (?), and/or in Typescript, etc.; could they work with MACI?; a comparison of speed/efficiency vs incremental merkle trees) - any of these would be very cool to see at this point. Would you be interested in helping with this at all? 🙂

Yeah, I'd love to explore this

Feel free to drop in our discord (link at the bottom of our doc website maci.pse.dev) and say hi (we have a MACI public channel), we can share ideas with other people 🙂