Search results for "smart contract"

Survey of Formal Verification Methods for Smart Contracts on Blockchain

2019

Due to the immutable nature of distributed ledger technology such as blockchain, it is of utter importance that a smart contract works as intended before employment outside test network. This is since any bugs or errors will become permanent once published to the live network, and could lead to substantial economic losses; as manifested in the infamous DAO smart contract exploit hack in 2016. In order to avoid this, formal verification methods can be used to ensure that the contract behaves according to given specifications. This paper presents a survey of the state of the art of formal verification of smart contracts. Being a relatively new research area, a standard or best practice for fo…

Acerca de la redefinición de la autonomía privada en la sociedad tecnológica

2018

La sociedad tecnológica del siglo XXI exige una redefinición de la autonomía de la voluntad como principio vertebrador del Derecho privado. Este artículo introduce una reflexión sobre la actualidad de este principio a la luz de dos fenómenos: la creciente vulnerabilidad del consumidor en la contratación de productos y servicios complejos y el incierto panorama resultante de la implementación de la tecnología blockchain a las transacciones contractuales inter privatos. Technological Society in the 21st Century requires a redefinition of principle of private autonomy. This essay analyses this issue referring to the problems of vulnerable consumer and application of blockchain technology to pr…

A blockchain platform for Demand Response in Mediterranean islands: a smart contract for remuneration

2022

The Blorin project started at the end of 2019 to support the implementation of a blockchain platform to support the energy services provision from end users by means of Demand Response and Vehicle to Grid programs. The experimental part of the project is being carried out on two Mediterranean islands and inside the University campus in Palermo. Customized smart contracts have been designed to support the active participation of end users to regulation services for the two weak electrical grids of the islands in the view of a deep penetration of renewable energy in the two energy systems. In particular, the smart contract for remuneration accounts for the very special energy situation of isl…

Distributed Demand-Response Certification using Blockchain Technology

2021

Smart Auctions for Autonomic Ambient Intelligence Systems

2020

The main goal of Ambient Intelligence (AmI) is to support users in their daily activities by satisfying and anticipating their needs. To achieve such goal, AmI systems rely on physical infrastructures made of heterogenous sensing devices which interact in order to exchange information and perform monitoring tasks. In such a scenario, a full achievement of AmI vision would also require the capability of the system to autonomously check the status of the infrastructure and supervise its maintenance. To this aim, in this paper, we extend some previous works in order to allow the self-management of AmI devices enabling them to directly interact with maintenance service providers. In particular,…

SMART CONTRACTS E TECNOLOGIE BASATE SU REGISTRI DISTRIBUITI NELLA L. 12/2019

2021

The essay addresses the issue of the regulation of smart contracts and technologies based on distributed ledgers, as regulated by the national law 12/2019. It highlights some critical issues related to the formulation and understanding of these concepts, definitely relevant for scholars but, at the same time, very complex in their understanding, giving the multidisciplinary implications they are related to. Finally, the essay addresses the two different approaches in the matter, the European and the national one, and underlines the necessity of a more uniform perspective, also in consideration of the missing guidelines by the Agenzia per l’Italia digitale (AgID).

Demand Response Service Certification and Customer Baseline Evaluation Using Blockchain Technology

2020

The use of Distributed Ledger Technologies such as Blockchain for certifying Demand Response services allows for the creation of a distributed system in which customers can communicate with the system operator to provide their flexibility, in a secure, transparent and traceable way. Blockchain technology also supports incentive mechanisms for users taking part in the service through the generation of utility tokens to recognize the user's contribution. This paper presents the experimental test of a novel methodology for Demand Response programs implementation by using the Blockchain technology. The latter is employed for defining a distributed Demand Response service and a new system for it…

DLT, BLOCKCHAIN E SMART CONTRACT

2020

La tecnologia blockchain nasce nel 2008 con l’annuncio di BitCoin [1], una delle più diffuse criptovalute. Il ruolo fondamentale della blockchain nell’ambito delle criptovalute è quello di garantire l’impossibilità di spendere due volte lo stesso valore in transazioni successive, fattispecie che viene indicata nel mondo anglosassone come double spending. Il problema del double spending è di difficile soluzione quando l’informazione di un valore è espressa in formato digitale, il quale ben si presta alla riproduzione di copie identiche consentendo quindi di spendere quel valore più volte. Il problema è superabile in presenza di una entità centralizzata fidata, quale ad esempio una banca, ma …

Blockchain and Smart Contracts: New Perspectives on Copyright Protection in the Digital Single Market

2022

New technologies making use of blockchains and smart contracts have been considered an efficient and innovative way to achieve the goal of effective copyright protection in the digital market. It is impossible to deny, however, that these innovative technologies raise serious questions about their compatibility with international, European, and national legislative frameworks, at least if we compare them with the original and most widely-used blockchain model (i.e., the so-called permissionless blockchain). Indeed, permissionless blockchains create a “law-free zone” resistant to any subsequent modification and judicial intervention. In this general context, this chapter aims to analyse the …

A Peer-to-Peer Market Algorithm for a Blockchain Platform

2020

In an era of technological revolution in which everything becomes smarter and connected, the blockchain can introduce a new model for energy transactions able to grant more simplicity, security and transparency for end-users. The blockchain technology is characterized by a distributed architecture without a trusted and centralized authority, and, therefore, it appears as the perfect solutions for managing exchanges between peers. In this paper, a market algorithm that can be easily transferred to a smart contract for maximizing the match between produced and consumed energy in a micro-grid is presented. The algorithm supports energy transactions between peers (both producers and consumers) …