search

drand / tlock

Timelock Encryption made practical. The Go `tlock` library and the `tle` cmd line tool home to encrypt towards the future.
Apache License 2.0
510 stars 24 forks source link

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

Open Yijia-Chen opened 1 year ago

Yijia-Chen commented 1 year ago

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?

AnomalRoil commented 1 year ago

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.

nikkolasg commented 1 year ago

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