Credentials CG Telecon
Minutes for 2018-04-17
- Issues List
- ZK Lang
- Joe Andrieu, Kim Hamilton Duffy, Christopher Allen
- David Chadwick
- David Chadwick, Arnaud Le Hors, Drummond Reed, Manu Sporny, Kim Hamilton Duffy, Lionel Wolberger, Christopher Allen, Nathan George, Dave Longley, Mike Lodder, Shadan Kam, Heather Vescent, Ted Thibodeau, David I. Lehn, Balázs Némethi, Benjamin Young, Yancy Ribbens, Chris Webber, Jarlath O'Carroll, Greg Linklater
- Audio Log
David Chadwick is scribing.
Virtual hackathon and credentials outreach planned for this summer
If you want to be involved tell ChristopherA when you are NOT available
Decentralised conference is meeting first week of Aug, so outreach may be planned to mesh with this
Midata conference is last week of August in Helsinki
Topic: Issues List
Topic: ZK Lang
JanCamenisch gives a talk about the slides
ZKLang is a language for mapping VCs to cryptographic algorithms
Uses zero knowledge proof of knowledge statements
So instead of prooving age is GT 21, because it is a hidden message in an anonymous credential then instead would ask if hidden message m1 contained an interger between 22 and 100
Or if hidden message contains date of birth, you would ask if the difference between this and today's date is greater than 21
All fields in a VC have to mapped down to integers in ZKlang
Purpose is that the implementor does not need to have any knowledge of the crypto
By writing the validation in ZKLang, the result will return true or false to the questions being asked
@Manu At a previous RWOT we tried to map linked signatures to ??
Note in Slide 15, the prover is what we call the holder
Ans: no, our current approach is facilitating it
@Cwebber2 would like more examples to see how this will work in our test suite
@JanCamenisch said he will do this after they have finished the coding and proved that it all works!
@JanCamenisch thinks that the level of ZKLang is about right for this group because it abstracts away all the cryptographic complexities
@JamCamenisch all the publick paramters are shared between the holder and verifier, but things like private keys remain with the holder
@JanCamenisch we should have the spec finished by Q3 this year
Thanks a lot!
Many thanks to @JanCamenisch for his presentation