David Wong
David Wong
sorry I have no time on my hands atm :o
Hey thanks! The README is definitely supposed to say TCP not UDP :D my bad. I'm not sure how to support UDP but if you have any ideas we should...
If anyone is interested in providing support for UDP I think it would be nice to start brainstorming some ideas. Things that look important: * tokens for proof of source...
I think the way we do the permutation right now is too naive to allow us to implement this optimization right away. We need to be able to keep track...
I think the const keyword is acting like a generic right now, which is nicer than having an extra syntax like `fn House.room[idx](self)` IMO
maybe start with just a few to show us your way of doing it :o and what it looks like from a user perspective. Also, if the error can give...
I think it'd be cool if any such builtin function would implement a trait, that would split the type checking from the circuit building phase (this would allow type checking...
as for how custom gates could still allow accelerations, we could easily have [intrinsic/builtin functions](https://en.wikipedia.org/wiki/Intrinsic_function) to prevent any optimizations from happening
introducing an IR would be a bit complicated at this stage, but worth doing at some point. We should at least start thinking about how it would look like: -...
related to https://github.com/zksecurity/noname/issues/42 and https://github.com/zksecurity/noname/issues/46