scispace - formally typeset
Search or ask a question

Verifiable Delay Functions in Ethereum Virtual Machine? 


Best insight from top research papers

Verifiable Delay Functions (VDFs) have been proposed as a way to ensure the security and efficiency of computations in the Ethereum Virtual Machine (EVM) . VDFs are functions that require a specified number of sequential steps to be evaluated but can be efficiently verified . They have found applications in blockchain technology, including the construction of space-time efficient provers and simulators for non-interactive zero-knowledge systems . Additionally, there is a proposal for collaborative VDFs (coVDFs), which allow multiple parties to jointly compute a publicly verifiable delay while encapsulating personal inputs from each party . These personal inputs can contain information such as a hash of a bid in an auction or a public identifier of the solving party. Therefore, VDFs and coVDFs offer potential solutions for enhancing the security and functionality of the Ethereum Virtual Machine.

Answers from top 5 papers

More filters
Papers (5)Insight
Book ChapterDOI
Liam Medley, Elizabeth A. Quaglia 
12 Aug 2021
4 Citations
The paper does not mention Verifiable Delay Functions in the Ethereum Virtual Machine. The paper is about collaborative verifiable delay functions (coVDFs) and their applications.
The paper does not mention Verifiable Delay Functions in the Ethereum Virtual Machine. The paper discusses the application of VDFs for constructing more efficient provers and simulators for zero-knowledge systems.
Open accessPosted ContentDOI
15 Nov 2022
The paper does not mention anything about Verifiable Delay Functions in the Ethereum Virtual Machine.
The paper does not mention anything about Verifiable Delay Functions in the Ethereum Virtual Machine. The paper is about introducing a new complexity class for Verifiable Delay Functions.
The paper does not mention anything about Verifiable Delay Functions in the Ethereum Virtual Machine.

Related Questions

What is expressive language delay?4 answersExpressive language delay refers to a condition where a child experiences difficulties in verbally articulating thoughts and ideas according to their age, despite having normal hearing abilities. This delay can impact socialization, academic performance, and overall communication skills. It involves challenges in transitioning from gestures to vocalizing sounds and forming words, affecting the child's ability to communicate effectively. Research indicates that delayed expressive language development can lead to learning disabilities, poor scholastic performance, and socialization issues, persisting into adulthood. Early identification and intervention, such as speech therapy and parental interaction strategies, are crucial in addressing expressive language delay to support the child's cognitive, social, and academic development.
How time delays effect a digital control system?5 answersTime delays significantly impact digital control systems by influencing closed-loop performance, stability, and frequency response. Delays, whether from sampling, processing, or communication channels, can lead to instability and affect the system's ability to achieve desired performance levels. In systems like induction motors with LC filters or grid-tied voltage source inverters, delays can cause impedance mismatches, leading to high-frequency oscillations and instability. Various control strategies, such as the Smith Predictor Compensator and PID controllers, have been developed to address time-delay systems, ensuring acceptable performance and stability. Understanding and mitigating the impact of delays are crucial in designing robust digital control systems for diverse applications.
How can the stability and well-posedness of the delay-differential equation be analyzed?5 answersThe stability and well-posedness of delay-differential equations can be analyzed by considering various approaches. One approach is to include a low-pass filter in the control loop, which regularizes the equations and preserves stability. Another approach is to use semigroup arguments and define a suitable Lyapunov functional to prove well-posedness and stability of linear evolution systems with history memory and time delay. For viscoelastic von Karman equations with memory and time-varying delay, the existence and uniqueness of strong solutions can be established using the Galerkin method, and the quasi-stability theory can be used to show the existence of a finite dimensional global attractor. In the case of linear systems with interval time-varying delay, augmented Lyapunov-Krasovskii functionals and integral inequalities can be used to analyze stability. Finally, for the Kawahara equation with delayed damping, well-posedness and stability can be investigated by considering the properties of the spatial distribution of the delay term.
How can time delay be used to improve the accuracy of mathematical models?5 answersTime delay can be used to improve the accuracy of mathematical models by estimating the time delay between variables and incorporating it into the modeling process. Traditional research has focused on time delay estimation for two variables, but little attention has been given to multivariate systems. One approach is to use dynamic latent variables extracted from the process using improved dynamic inner PCA algorithm (DiPCA) to represent the autocorrelation and cross-correlation between variables. Another method involves combining stochastic gradient descent with discrete search to estimate the unknown model parameters and time delay, enhancing data utilization. By properly adjusting the innovation length, the estimation accuracy of the proposed multi-innovation algorithm can significantly exceed that of the single-innovation algorithm. These techniques can help account for the influence of multivariate variables and improve the accuracy of mathematical models in various applications.
How can fractional differential equations with delay be used to model real-world phenomena?4 answersFractional differential equations with delay can be used to model real-world phenomena by capturing long-term memory effects observed in various systems. These equations incorporate time delay and nonlocal operators, such as fractional order difference, to represent memory. The stability analysis of fractional order systems with delay is crucial but lacks detailed studies. Linear fractional difference equations with delay have been analyzed for stability conditions, with specific cases of delay term $\tau=1$ and $\tau=2$ studied in detail. Additionally, the effects of distributed delay times on dynamical systems have been examined using a kernel series framework, revealing the influence on bifurcation phase diagrams and the sensitivity of non-local properties to distributed delays. Numerical methods, such as the method of steps and shifted Legendre collocation method, have been proposed for solving fractional differential equations with delay, providing efficient numerical schemes and convergence analysis. The pantograph delay differential equation, a specific type of delay differential equation, has been analyzed using the Adomian decomposition method, leading to power series and exponential function solutions.
How does agile software development and delay resherce?5 answersAgile software development is a flexible approach that allows for incremental development and testing of software products, reducing project risk, cost, and time until delivery. However, the reusability of components is a bottleneck in agile software development, as it compromises quality and does not provide generalized solutions. Project delay in software development is influenced by the variability of adaptive rework and the strength of dependency, but high levels of adaptive rework variability do not have a significant impact on overall project delay. Empirical research on agile approaches is scarce, but a system dynamics simulation model has been developed to evaluate the effectiveness and appropriateness of agile practices. The model shows that refactoring increases costs and decreases productivity, while pair programming helps complete more tasks at a lower cost.