Delay Function Verification Smart Contract

This is a PoC level code. Do not use it.

VDFVerify.sol smart contract verifies Wesolowski VDF in 2048 bit RSA setting.

Hash to Prime

We used the hash to prime variant defined in section 7 of BBF19 where prover picks a nonce from small set and appends it to the transcript until they hit a prime number as hash result. Prover sends the nonce along with the proof to the verifier so that verifier performs single primality test.

Cost in Berlin EVM

References

• Efficient Verifiable Delay Functions
• A Survey of Two Verifiable Delay Functions
• Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains
• EIP-2565
• RSA bounty smart contract
• Metamagic Mul512
• rust-accumulators hash to prime function