Cover Image

Implementation Study of Cost-Effective Verification for Pietrzak's Verifiable Delay Function in Ethereum Smart Contracts

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lee, Suhyeon, Gee, Euisin, Lee, Junghee
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Commit-Reveal$^2$: Securing Randomness Beacons with Randomized Reveal Order in Smart Contracts
by: Lee, Suhyeon, et al.
Published: (2025)

An Effective and Cost-Efficient Agentic Framework for Ethereum Smart Contract Auditing
by: Hu, Xiaohui, et al.
Published: (2026)

ARTeX: Anonymity Real-world-assets Token eXchange
by: Lee, Jaeseong, et al.
Published: (2025)

Security Analysis of Ponzi Schemes in Ethereum Smart Contracts
by: Zhang, Chunyi, et al.
Published: (2025)

An Automated Analyzer for Financial Security of Ethereum Smart Contracts
by: Wang, Wansen, et al.
Published: (2022)

Understanding and Characterizing Obfuscated Funds Transfers in Ethereum Smart Contracts
by: Sheng, Zhang, et al.
Published: (2025)

FlexiContracts: A Novel and Efficient Scheme for Upgrading Smart Contracts in Ethereum Blockchain
by: Hossain, Tahrim, et al.
Published: (2025)

EthCluster: An Unsupervised Static Analysis Method for Ethereum Smart Contract
by: Huang, Hong-Sheng, et al.
Published: (2025)

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
by: Zhang, Jiashuo, et al.
Published: (2024)

On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
by: Jin, Monica, et al.
Published: (2025)

PhishingHook: Catching Phishing Ethereum Smart Contracts leveraging EVM Opcodes
by: De Rosa, Pasquale, et al.
Published: (2025)

TaintSentinel: Path-Level Randomness Vulnerability Detection for Ethereum Smart Contracts
by: Rezaei, Hadis, et al.
Published: (2025)

Dual-view Aware Smart Contract Vulnerability Detection for Ethereum
by: Yao, Jiacheng, et al.
Published: (2024)

A Comment on "e-PoS: Making PoS Decentralized and Fair"
by: Lee, Suhyeon, et al.
Published: (2025)

Inside Qubic's Selfish Mining Campaign on Monero: Evidence, Tactics, and Limits
by: Lee, Suhyeon, et al.
Published: (2025)

Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis
by: Wu, Jixuan, et al.
Published: (2025)

Characterizing Ethereum Upgradable Smart Contracts and Their Security Implications
by: Li, Xiaofan, et al.
Published: (2024)

A Risk-Stratified Benchmark Dataset for Bad Randomness (SWC-120) Vulnerabilities in Ethereum Smart Contracts
by: Rezaei, Hadis, et al.
Published: (2026)

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts
by: Chahoki, Atefeh Zareh, et al.
Published: (2025)

180 Days After EIP-4844: Will Blob Sharing Solve Dilemma for Small Rollups?
by: Lee, Suhyeon
Published: (2024)

Hollow Victory: How Malicious Proposers Exploit Validator Incentives in Optimistic Rollup Dispute Games
by: Lee, Suhyeon
Published: (2025)

Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis
by: Ressi, Dalila, et al.
Published: (2024)

TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
by: Wang, Shuzheng, et al.
Published: (2025)

A Tip for IOTA Privacy: IOTA Light Node Deanonymization via Tip Selection
by: Yang, Hojung, et al.
Published: (2024)

DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts
by: Medeiros, Ismael, et al.
Published: (2024)

Proxion: Uncovering Hidden Proxy Smart Contracts for Finding Collision Vulnerabilities in Ethereum
by: Chen, Cheng-Kang, et al.
Published: (2024)

Soley: Identification and Automated Detection of Logic Vulnerabilities in Ethereum Smart Contracts Using Large Language Models
by: Soud, Majd, et al.
Published: (2024)

Gradual Verification for Smart Contracts
by: Sun, Haojia, et al.
Published: (2023)

A Smart Contract-based Non-Transferable Signature Verification System using Nominative Signatures
by: Nishino, Hinata, et al.
Published: (2025)

Security Analysis of Smart Contract Migration from Ethereum to Arbitrum
by: Tang, Xueyan, et al.
Published: (2023)

Decentralized Firmware Integrity Verification for Cyber-Physical Systems Using Ethereum Blockchain
by: Hossain, S M Mostaq, et al.
Published: (2026)

BACKRUNNER: Mitigating Smart Contract Attacks in the Real World
by: Shou, Chaofan, et al.
Published: (2024)

Time-Delayed Publicly Verifiable Quantum Computation for Classical Verifiers
by: Mohammed, Ameer, et al.
Published: (2026)

BugSweeper: Function-Level Detection of Smart Contract Vulnerabilities Using Graph Neural Networks
by: Lee, Uisang, et al.
Published: (2025)

SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems -- A Case Study on Ethereum Clients
by: Kamba, Masato, et al.
Published: (2026)

Decoupling Reentrancy Protection from Smart Contract Implementation Logic
by: Joshi, Shashank, et al.
Published: (2026)

Enhanced Smart Contract Reputability Analysis using Multimodal Data Fusion on Ethereum
by: Malik, Cyrus, et al.
Published: (2025)

Examining the Effectiveness of Transformer-Based Smart Contract Vulnerability Scan
by: Balci, Emre, et al.
Published: (2026)

LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
by: Wei, Zhiyuan, et al.
Published: (2024)

Smart Contract Security Beyond Detection
by: Abdelaziz, Tamer
Published: (2026)