English
Related papers

Related papers: Code Will Tell: Visual Identification of Ponzi Sch…

200 papers

Smart contracts enable users to execute payments depending on complex program logic. Ethereum is the most notable example of a blockchain that supports smart contracts leveraged for countless applications including games, auctions and…

Cryptography and Security · Computer Science 2022-10-14 Tommaso Frassetto , Patrick Jauernig , David Koisser , David Kretzler , Benjamin Schlosser , Sebastian Faust , Ahmad-Reza Sadeghi

This paper proposes a novel recursive polynomial commitment scheme (PCS) and a new polynomial interactive oracle proof (PIOP) protocol, which compile into efficient and transparent zk-SNARKs (zero-knowledge succinct non-interactive…

Cryptography and Security · Computer Science 2023-12-25 Yunjia Quan

Ethereum smart contracts are an innovation built on top of the blockchain technology, which provides a platform for automatically executing contracts in an anonymous, distributed, and trusted way. The problem is magnified by the fact that…

Cryptography and Security · Computer Science 2019-11-07 Jialiang Chang , Bo Gao , Hao Xiao , Jun Sun , Yan Cai , Zijiang Yang

Pyramid schemes are investment scams in which top-level participants in a hierarchical network recruit and profit from an expanding base of defrauded newer participants. Pyramid schemes have existed for over a century, but there have been…

Cryptography and Security · Computer Science 2021-08-26 Tyler Kell , Haaroon Yousaf , Sarah Allen , Sarah Meiklejohn , Ari Juels

Blockchains are gaining momentum due to the interest of industries and people in \emph{decentralized applications} (Dapps), particularly in those for trading assets through digital certificates secured on blockchain, called tokens. As a…

Cryptography and Security · Computer Science 2024-02-22 Giampaolo Bella , Domenico Cantone , Cristiano Longo , Marianna Nicolosi-Asmundo , Daniele Francesco Santamaria

The exploitation of smart-contract vulnerabilities can have catastrophic consequences such as the loss of millions of pounds worth of crypto assets. Formal verification can be a useful tool in identifying vulnerabilities and proving that…

Programming Languages · Computer Science 2020-02-10 Pedro Antonino , A. W. Roscoe

Ethereum smart contracts are automated decentralized applications on the blockchain that describe the terms of the agreement between buyers and sellers, reducing the need for trusted intermediaries and arbitration. However, the deployment…

Cryptography and Security · Computer Science 2021-03-24 Oliver Lutz , Huili Chen , Hossein Fereidooni , Christoph Sendner , Alexandra Dmitrienko , Ahmad Reza Sadeghi , Farinaz Koushanfar

The inherent determinism of blockchain technology poses a significant challenge to generating secure random numbers within smart contracts, leading to exploitable vulnerabilities, particularly in decentralized finance (DeFi) ecosystems and…

Cryptography and Security · Computer Science 2025-10-22 Hadis Rezaei , Ahmed Afif Monrat , Karl Andersson , Francesco Flammini

Smart contracts are Turing-complete programs running on the blockchain. They cannot be modified, even when bugs are detected. The Selfdestruct function is the only way to destroy a contract on the blockchain system and transfer all the…

Software Engineering · Computer Science 2020-10-07 Jiachi Chen

Blockchain technology and, in particular, blockchain-based transaction offers us information that has never been seen before in the financial world. In contrast to fiat currencies, transactions through virtual currencies like Bitcoin are…

Cryptography and Security · Computer Science 2021-04-21 Jinhuan Wang , Pengtao Chen , Shanqing Yu , Qi Xuan

With the booming development of blockchain technology, smart contracts have been widely used in finance, supply chain, Internet of things and other fields in recent years. However, the security problems of smart contracts become…

Cryptography and Security · Computer Science 2026-02-03 Huanhuan Zou , Zongwei Li , Xiaoqi Li

Smart contracts are increasingly being used to manage large numbers of high-value cryptocurrency accounts. There is a strong demand for automated, efficient, and comprehensive methods to detect security vulnerabilities in a given contract.…

Cryptography and Security · Computer Science 2023-04-14 Michael Rodler , David Paaßen , Wenting Li , Lukas Bernhard , Thorsten Holz , Ghassan Karame , Lucas Davi

Due to the widespread use of smart contracts, Ethereum has become the second-largest blockchain platform after Bitcoin. Many different types of Ethereum accounts (ICO, Mining, Gambling, etc.) also have quite active trading activities on…

Cryptography and Security · Computer Science 2022-11-16 Baoying Huang , Jieli Liu , Jiajing Wu , Quanzhong Li , Hao Lin

Due to the decentralized and public nature of the Blockchain ecosystem, the malicious activities on the Ethereum platform impose immeasurable losses for the users. Existing phishing scam detection methods mostly rely only on the analysis of…

Cryptography and Security · Computer Science 2022-08-30 Jinhuan Wang , Pengtao Chen , Xinyao Xu , Jiajing Wu , Meng Shen , Qi Xuan , Xiaoniu Yang

With the development of blockchain technology, more and more attention has been paid to the intersection of blockchain and education, and various educational evaluation systems and E-learning systems are developed based on blockchain…

Cryptography and Security · Computer Science 2023-03-09 Zhifeng Wang , Wanxuan Wu , Chunyan Zeng , Jialong Yao , Yang Yang , Hongmin Xu

Ethereum smart contracts, which are autonomous decentralized applications on the blockchain that manage assets often exceeding millions of dollars, have become primary targets for cyberattacks. In 2023 alone, such vulnerabilities led to…

Cryptography and Security · Computer Science 2023-12-29 Christoph Sendner , Lukas Petzi , Jasper Stang , Alexandra Dmitrienko

Using blockchain technology, it is possible to create contracts that offer a reward in exchange for a trained machine learning model for a particular data set. This would allow users to train machine learning models for a reward in a…

Cryptography and Security · Computer Science 2018-03-01 A. Besir Kurtulmus , Kenny Daniel

Bitcoin has attracted everyone's attention and interest recently. Ethereum (ETH), a second generation cryptocurrency, extends Bitcoin's design by offering a Turing-complete programming language called Solidity to develop smart contracts.…

Programming Languages · Computer Science 2018-04-05 Jiao Jiao , Shuanglong Kan , Shang-Wei Lin , David Sanan , Yang Liu , Jun Sun

Ethereum smart contracts are highly powerful, immutable, and able to retain massive amounts of tokens. However, smart contracts keep attracting attackers to benefit from smart contract flaws and Ethereum unexpected behavior. Thus,…

Cryptography and Security · Computer Science 2024-04-10 Wejdene Haouari , Abdelhakim Senhaji Hafid , Marios Fokaefs

Ethereum has emerged as a dynamic platform for exchanging cryptocurrency tokens. While token crowdsales cannot simultaneously guarantee buyers both certainty of valuation and certainty of participation, we show that if each token buyer…

Theoretical Economics · Economics 2019-08-14 Jason Teutsch , Vitalik Buterin , Christopher Brown
‹ Prev 1 3 4 5 6 7 10 Next ›