Implement HyperSDK ZK example using gnark (fast, golang-based ZK framework)

[patrick-ogrady]

• Docs: https://docs.gnark.consensys.net/
• Blog: https://consensys.net/blog/research-development/gnark-your-guide-to-write-zksnarks-in-go/
• Rollup: https://github.com/Consensys/gnark/tree/master/examples/rollup

The prover should be implemented as a standalone binary such that anyone can send proofs to the mempool for inclusion.

[patrick-ogrady]

May want to consider using Lasso/Jolt instead: https://a16zcrypto.com/posts/article/introducing-lasso-and-jolt/

[github-actions[bot]]

This issue has become stale because it has been open 60 days with no activity. Adding the lifecycle/frozen label will exempt this issue from future lifecycle events.

[patrick-ogrady]

Good example: https://github.com/informalsystems/cosmos-sdk/blob/gnark50/simapp/gnarkcli/README.md

[patrick-ogrady]

Related: https://github.com/ava-labs/hypersdk/discussions/941