search

zkp-ld / zkp-ld-playground

Playground for ZKP-LD: Zero-Knowledge Proof for Linked Data (experimental)
https://playground.zkp-ld.org
MIT License
20 stars 2 forks source link

This is awesome! #1

Open OR13 opened 2 years ago

OR13 commented 2 years ago

I've been wondering about a similar approach that might yield predicate proofs for some subset of RDF types... have you though about how this might work for range or membership proofs?

yamdan commented 2 years ago

Thanks a lot, Orie! Indeed, our initial target was adding range proof to jsonld-signatures-bbs, which has been replaced by the other goals including this playground. I am still interested in trying bulletproof library in Hyperledger ursa 😃

OR13 commented 2 years ago

Do you have any updates regarding range, membership or predicate proofs?

I've been working on a drop in solution for the more generic BBS+ suite, that uses standard JWS and Merkle Proofs

https://github.com/w3c-ccg/Merkle-Disclosure-2021

We explored a view alternative canonicalization schemes, such as JSON Pointer.

https://w3c-ccg.github.io/Merkle-Disclosure-2021/

and a JOSE / JWS encoding that might be more familiar to folks coming from a JWT background:

https://w3c-ccg.github.io/Merkle-Disclosure-2021/jwp/