Kobi Gurkan
Kobi Gurkan
Hey Jeff, Yep, that all sounds about right, also discussed this briefly with @mmaller. IMO the analogy to what you can do in BLS and what you can do here...
Funny, I thought the same thing. I created this prototype about two weeks ago: https://gist.github.com/kobigurk/0e0f61faa8031c77198b37bd995d6eb3 It's nowhere near complete, but it does the job of a simple relay.
@haadcode this is appealing, but I'm not sure I can commit to that right away. I'll update you!
Hi! We have a generic implementation over Arkworks that uses "try and increment" here: https://github.com/celo-org/celo-bls-snark-rs/, that can definitely be ported. The downside is that it doesn't have a constant amount...
To share some design choices - yeah, it's the most direct choice - our message isn't secret and it won't be horrible if some validators are malicious and craft some...
That said, I realized now that you said that the authors did mention SNARKs! I'll try to find it. If you have a reference I'd appreciate it.
Nice! Interesting. It seems that G1 additions gnark < zexe < zkcrypto, while gnark is slowest in full pairing.
Good point! In my opinion, the current methods are useful and needed so I'd leave them as is. New traits/methods sound like a good idea to me. Ideally they'd be...
Following up on this. It seems to me from looking at the code that setting TWO_ADICITY to be lower than the maximum might cause a problem with `sqrt`. Is there...
Yeah, I think the FFT will be the same if we just make sure we use the right root of unity. I don’t think I’ve seen a way to encode...