Which took us completely by surprise! (surely, we thought, miners with tens of thousands of GPUs had a plan B for after the merge, right? well no.. but that's another story to tell)
4/ This motivated us to develop a #GPU based solution for running ZK.
We teamed up with @zksync, currently with the best ZK GPU implementation in the market
Main reason: it's the most simple yet practical ZK computation that exist today.
See this image for a breakdown of the different computational steps 👇
12/ Even for this simple design, which is far more basic than @Scroll_ZKP, or other zkRUs...
We identified challenges in how memory is being used, communication with the host, new primitives to be implemented like Blake Hash, and in tasks management for multiple GPUs
3/
For specific types of ZK such as SNARK and STARK-based systems, additional properties include public verifiability, smaller proof sizes, and fast verification.
This makes these kinds of ZK perfect for use in blockchains for scalability and privacy purposes.