Time Transitive Functions for Zero Knowledge Proofs
This work addresses a domain-specific problem for blockchain and cryptographic systems, but it appears incremental as it builds on existing VDF concepts.
The paper tackles the problem of improving space-time efficiency in iterative non-interactive zero-knowledge systems by proposing the application of verifiable delay functions (VDFs), specifically continuous VDFs, to construct more efficient provers and simulators.
Verifiable delay functions have found a lot of applications in blockchain technology in recent times. Continuous verifiable delay functions are an improvement over the basic notion of VDFs with recursive capabilities. We are proposing the application of VDF for constructing more space time-efficient provers and simulators required for the iterative non-interactive zero-knowledge systems.