Return ZK

[tyshkor]

No description provided.

[huitseeker]

@tyshkor thanks for the PR that goes in an interesting direction. Unfrotunately, I don't manage to get it to compile. Here's a slightly modified branch I used to get past the trivial errors, such as unused imports:
https://github.com/huitseeker/arecibo/tree/return-zk
.. and that seems to not compile.

[tyshkor]

@tyshkor thanks for the PR that goes in an interesting direction. Unfrotunately, I don't manage to get it to compile. Here's a slightly modified branch I used to get past the trivial errors, such as unused imports: https://github.com/huitseeker/arecibo/tree/return-zk .. and that seems to not compile.

What OS are you using for it?

[huitseeker]

@tyshkor What OS would you like me to test on? I've done OSX & a linux box, but I don't expect Rust trait implementation failures to be platform-dependent.

Here's a compilation log on Linux:
https://gist.github.com/huitseeker/5208516283766d22ba3df65f7cc3e5ef

A rebase and fixing linting issues would let you get detailed and rapid feedback from our CI.

[Divide-By-0]

hey! we noticed the last PR on this code was June 18, but it would be very useful for us to see the code upstreamed and maintained, so that we can have zk-based proving in systems like supernova/hypernova. do you have any timeline or sense of the priority of this so that can plan around that? would it be useful for us to help at all (i.e. fixing the tests and linting)?