3 ms·
Awesome work, I look forward to finding applications for this. Question: Have you considered using zk-STARKs for succinct proofs of computation? Or would that
by sshine 4y ago
Awesome work, I look forward to finding applications for this.
Question: Have you considered using zk-STARKs for succinct proofs of computation? Or would that be too far off target wrt. being good at one thing?
E.g. https://github.com/TritonVM https://github.com/TritonVM
- blintz 4y agoThings tend to get pretty slow when you try to compute SNARKs over FHE computations. Some progress is getting made, but it's still pretty academic. There is a cool company trying to instead use FHE to accelerate SNARKs: https://github.com/Sunscreen-tech/Sunscreen https://github.com/Sunscreen-tech/Sunscreen. They seem to be making some headway!