Snark Accounts on Hypersdk #941
manojkgorle
started this conversation in
Show and Tell
Replies: 2 comments 1 reply
-
SUPER cool ❤️ |
Beta Was this translation helpful? Give feedback.
0 replies
-
How long does it take to generate a simple proof for a transfer-only circuit? |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hyper SDK supports adding any authentication type to a Hyper VM. The authentication type implements the
Auth
interface.Calling
Verify(ctx context.Context, msg []byte) error
returns nil for valid msg for tx data and an error in other cases.Proving systems involving SNARKS will have a proving key and verifying key. Proving key is similar to private key, revealing it will help create fake proofs. Verifying key is similar to the public key, using this proofs are verified.
SNACS, aka Snark Accounts address, will be derived from the verifying key. Groth16 implementation from the Gnark team is used for snark accounts.
Read more: https://x.com/ManojKGorle/status/1789745574754803930
Github: https://github.com/manojkgorle/hypersdk/tree/snac/examples/morpheusvm/README.md
Beta Was this translation helpful? Give feedback.
All reactions