Wesolowski and Pietrzak VDF Proof for RSW timelocks #17
Labels
cryptography
Cryptography-related issue
feature
New feature or request
moonshot
Ideas that would be really cool but might take some work to implement
Is your feature request related to a problem? Please describe.
Currently we have timelock puzzles in the
crypto
package, but we can very easily create a VDF interface, and implement the Wesolowski/Pietrzak proofs forrsw
, and then we'll have a VDF implementation.Describe the solution you'd like
An implementation of https://eprint.iacr.org/2018/623, https://eprint.iacr.org/2018/627 for what we've built in
rsw
and an abstract VDF interface in thecrypto
package.The hope is to get this as fast as possible verification wise, so using the
Rjected/gmp
fork ofncw/gmp
would be a good idea.Describe alternatives you've considered
There are also VDF proofs for iterated hashing, but those involve snarks and iterated-hashing as timelock puzzles aren't really that useful, since there's no trapdoor. It's better to add to what we've already written.
The text was updated successfully, but these errors were encountered: