drand/tlock

Is it possible to prove that one has encrypted the content fairly and prove certain things about the content in a zero-knowledge manner?

Yijia-Chen opened this issue · 2 comments

I understand that the content is locked until the elapsed time has passed. However, the encrypter may wish to prove that they encrypted the content fairly, or that the content contains certain qualities such as following a certain structure. Is this possible under the current protocol?

This is not impossible per se, a priori, but not supported out of the box currently.
Typical options include discrete log-based zero knowledge proofs, but this is still some kind of "future research" and "future work" that we haven't really starting looking into yet.

Timofey made some early research into this, you can have a look at his repo https://github.com/timoftime/zk-timelock