CPerezz
CPerezz
Had the same exact idea. Was gonna be my toy project. Now I'll need to find something new! hehehe. Nice job with this crate!
Totally agree with @snd words. Bytes type is a good example to show this. I've started using web3.rs crate, and when I've had to use some ethabi types to call...
@ZER0 could you provide here your thoughts? So then @kevaundray and me can review and discuss them?
I agree on that. I would like to sketch out a design in a new repo. Ideally the gadgets lib would be a workspace and each member a collection of...
Moved to 4th iteration since it's not a piro.
Hey @DreamWuGit thanks for the suggestion! We are already aware of the performance improvements that we can go for on both proving and verification stages. We will focus on this...
Starting by this resources that @decentralisedkev found: https://math.stackexchange.com/questions/507743/two-elements-are-in-the-same-coset-of-s-iff-their-difference-is-in-s , we will find and test generators and then, hardcode them into the repo as suggested in #131
To check if the difference is in `S`, we would need to check them order. But which is the order of the coset that we're expecting to get?
I really like the proposal! Few questions: - I assume `inputs` in verification stands for the public inputs right? If so, how do we know the possitions at which they...