Btw, if you are using a new kind, please define and PR it to the repo, so it is known it's reserved. 🤙
Powering Verifiable Computation for the Nostr Revolution:
https://hackmd.io/@abdelhamid/nostr-dvm-verifiable-computation
#Nostr #FreedomOfSpeech #Integrity
Discussion
Yep mate you are right.
I had this in mind. The reason i did not do it yet is because for my POC the Job request kind is very specific to a single example which is the proving of a Fibonacci sequence. The parameters don't really make sense for a generic scheme.
I need to think about how to make a standard format for a Job kind that would be `ZK_GENERATE_PROOF` or something like this.
Or maybe it's better to have different kinds depending on the type of proof and implementation, so for my case it would be more: `ZK_GENERATE_CIRCLE_STARK_PROOF`.
Anyway, i am open to feedback and advise on this question.
No stress about it, just a general hint once you feel it's ready. I guess it could make sense to have single kinds for each proof, but it's also not my expertise. Would still be nice to see an example in markdown so it's easy for other implements (like my python framework) to communicate with your DVMs in a meaningful way :)
Totally makes sense yes.
I will work on documentation and examples.