Damus
mleku · 3w
it is simple enough to prove positively using zkp that a particular signature attests to a binary fact, the problem with it, as the article explains, is about how narrow the certifying signers on thes...
mleku profile picture
also you can see a possible cryptosystem that could be used that i designed a few months ago based on SWIFFT lattice signatures and a ternary math based signature calculation scheme https://git.smesh.lol/gnarl-hamadryad - it also includes homomorphic encryption, which would allow the data to be encrypted but possible to compute on it.

i haven't gone far into zero knowledge systems to this point, i started learning about them from the resident cryptographer while i was working for dusk.network in late 2021. i understand the general principles, i just haven't applied them or considered the full stack of a crypto system for such a project as third party attestations shielded by zero knowledge to prevent leaking identities to the signer and destroying the whole value of the thing.
1
mleku · 3w
i decided to put together a full PQ signature and ZKP proof protocol to add to gnarl-hamadryad. they are pretty decent and competitive based on the specs deepsnek put together for me over an extensive planning session. now probably one of the things that is why i never dug deep into zkp stuff befor...